离散数学题，用等值演算法证明下列等值式，如图，求解 如图所示
离散数学如何用等值演算法求(p∧q)∨r的主析联范式？ 非“主析联范式”而是“主析取范式”.这种例子教科书上有的，翻翻书，用上常用的命题等价式，依样画葫芦即可.(p∧q)∨r(p∨r)∧(q∨r)((p∨q∨r)∧(p∨q∨r))∧((p∨q∨r)∧(﹁p∨q∨r.
用等值演算法求公式┐(p→q)的主析取范式和主合取范式。 ？(P∨Q)→R？？(？(PVQ))∨R？(PVQ)VR？PVQVR使该式为真，则P，Q，R中至少有一项为真即可，因此所有成真赋值范式如下：P Q R；0 0 1；0 1 0；0 1 1；1 0 0；1 0 1；1 1 0；1 1 1另外，已知：p->；q┐pvq，那么┐（pq），┐((p->；q)^(q->；p))，┐((┐pvq)^(┐qvp))(┐pvq)v┐(┐qvp)(p^┐q)v(q^┐p)。则(p v q)^(┐p v┐q)(p^(┐p v┐q))v(q^(┐p v┐q))，(p^┐q)v(q^┐p)左边扩展资料：等值演算如果两个公式A与B含有相同的命题变元，如果在所有指派下，A与B的真值都相同，则说明这两个公式是等值的。等值演算法是利用已知的等值式通过代换得到新的等值式。判断两个公式是否等值，最直接的方法就是用真值表法，判断A与B是否在所有指派下同真值，或者判断A等价B是否是重言式。但是当命题变元较多的是时候，真值表法判断公式等值的工作量是很大的。这时，等值演算法的强大功能就凸显出来了。
用等值演算法求这个式子主析取范式的详细步骤 原式=(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)
用等值演算法证明下列等值式 若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)是假命题.综合上面所得，在每一种情况下，两个命题的真值是一致的，所以这两个命题等价
离散数学 （p Vq）-＞(p ∧r )用等值演算法判断该公式的类型。求步骤。 用等值演算法求该公式的主析取范式，然后判断公式类型。
