离散数学等价等值式公式的证明. AB∴A和B具有相同的真值，即A双条件B永为真，即(A→B)∧(B→A)少年，这是定义。你让我如何证明.A等价于B就能直接得出A双条件B.就好比A→B非A∨B一样，可以用真值表证明A B A→B B→A A双条件B0 0 1 1 10 1 1 0 01 0.
用等值演算法证明下列等值式 若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→(q→r)？ (p∧q)→r.
请问离散数学中的“用等值演算法证明下面等值式”这类题型要怎么做，一般的演算步骤是什么？求详细步骤， 用书上的24个基本等价式进行等价代换比如：p→q┐p∨q一般先把蕴含和等值化成或与非
