用等值演算法证明下面等值式┐（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^.
用等值演算法求这个式子主析取范式的详细步骤
等值演算法？ 建议画图观看，用集合的思维考虑，形象一点
离散数学 等值演算法 设p：派赵出国，q：派钱出国，r：派孙出国，s：派李出国，t：派周出国。则各条件分别符号化为：(1)p→q，(2)(sVt)，(3)(qA？7r)V(-q^r)，(4)(r？As)V(→rA-s)，(5)1-+(p^q)要求。
