请问离散数学中的“用等值演算法证明下面等值式”这类题型要怎么做，一般的演算步骤是什么？求详细步骤， 用书上的24个基本等价式进行等价代换比如：p→q┐p∨q一般先把蕴含和等值化成或与非
用等值演算法证明下面等值式┐（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^.
等值演算法？ 建议画图观看，用集合的思维考虑，形象一点
