等值演算法？
用等值演算法证明下面等值式┐（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^.
离散数学，使用等价式证明下列等价式 左边((┐R→R)→P)→((┐P→P)→R)┐(┒(┒R∨R)∨P)∨(┒(┒P∨P)∨R)┐(┒(R∨R)∨P)∨(┒(P∨P)∨R)((R∨R)∧P)∨((┒P∧P)∨R)(1∧P)∨(0∨R)┒P∨R右边
逻辑题.
等值演算法？ 建议画图观看，用集合的思维考虑，形象一点
