用等值演算法验证命题等值式P→(q→r)？ (p∧q)→r.
用等值演算法求这个式子主析取范式的详细步骤 原式=(p∨q)∧(q∧r)=(p∧q∧r)∨(q∧q∧r)=(p∧q∧r)∨(q∧r)=(p∧q∧r)∨(q∧r∧(p∨p))=(p∧q∧r)∨(q∧r∧p)∨(q∧r∧p)=(p∧q∧r)∨(┐p∧q∧r)
离散数学题，用等值演算法证明下列等值式，如图，求解 如图所示
等值演算法？ 建议画图观看，用集合的思维考虑，形象一点
用等值演算法 (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 合取析取 吸收率是可满足式
用等值演算法求这个式子主析取范式的详细步骤
请问离散数学中的“用等值演算法证明下面等值式”这类题型要怎么做，一般的演算步骤是什么？求详细步骤，
用等值演算法证明下列等值式 若P是假的，则P→(Q→R)是真命题；若P是真的，则当Q是假的，则P→(Q→R)是真命题；则Q→(P→R)也是真命题；若P是真的，Q是真的，R是真的，则P→(Q→R)是真命题；则Q→(P→R)也是真命题；若P是真的，Q是真的，R是假的，则P→(Q→R)是假命题；则Q→(P→R)是假命题.综合上面所得，在每一种情况下，两个命题的真值是一致的，所以这两个命题等价
