离散数学题，用等值演算法证明下列等值式，如图，求解 如图所示
离散数学，用等值演算法证明，如图，急急急~~~ 7）(┐P∧(┐Q∧R))∨(Q∧R)∨(P∧R)((┐P∧Q)∨Q∨P)∧R(┐(P∨Q)∨(Q∨P))∧RR；8）由于Q∧(P→Q)Q∧(┐P∨Q)Q∧(P∧Q)0，所以该式为矛盾式。
用等值演算法证明下面等值式┐（pq）((pvq)^┐(p^q)) 我们已知：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^.
离散数学，用等值演算法证明下列等值式 2）((p→q)∧(p→r))((┐p∨q)∧(┐p∨r))(┐p∨(q∧r))(p→(q∧r))
离散数学等价等值式公式的证明. 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.
