离散数学用等值演算法判断下列公式的类型.求大神指导这题怎么做
用等值演算法求这个式子主析取范式的详细步骤
用等值演算法 (q∧(p？q))→？(p∨？q)？(q∧(p？q))∨？(p∨？q)变成 合取析取？(q∧((p→q)∧(q→p)))∨？(p∨？q)变成 合取析取？(q∧(？p∨q)∧？q∨p)))∨？(p∨？q)变成 合取析取？p∧q)∨？q∨？(？p∨q)∧？q∨p)))德摩根定律？p∧q)∨？q∨？p∨q)∨？q∨p)))德摩根定律？p∧q)∨？q∨((p∧？q)∨(q∧？p)))德摩根定律？p∧q)∨？q∨((p∧？q)∨？p∧q))结合律？p∧q)∨？q∨(p∧？q)∨？p∧q)结合律？q∨(p∧？q)∨？p∧q)等幂律？q∨？p∧q)合取析取 吸收率？q∨？p 合取析取 吸收率是可满足式
大学离散数学 用等值演算法证明下列等值式求各过程谢谢
等值演算法 把蕴含式写成~pvq的形式然后按真值表或等值演算推导
等值演算法？
