形式逻辑：p->q,等值于~等值的话,请给出证明过程

用等值演算法证明下面等值式┐（pq）((pvq)^┐(p^q)) 构造推理的证明.前提:q蕴含于p,q等值于s,s等值于t,t合取r.结论:p合取q合取s合取r 用等值演算法证明：p->(q->p)非p->(p->非q) 离散数学证明等值式：(p∧┐q)∨(┐p∧q)（p∨q）∧┐(p∧q) 用等值演算法验证命题等值式P→(q→r)⇔ (p∧q)→r. 用等值演算或真值表证明公式（p→q)∧(p→r)＜＝＞p→(q∧r) 等值演算 p→q→r(p→ q)→(p→r) 逻辑学一公式如何推导如果p,那么q 等值于 非p或者q,为什么?怎么推导出来或者理解的? 1.用等值演算法证明：((p∨q)→r)→p (p∨q∨p)∧( ┐r∨p) 2.证明:a上的关系R1与R2都具有对称性 离散数学如何用等值演算法求(p∧q)∨r的主析联范式? 范式!用等值演算法算出 ￢q∨p 的主合取范式! 离散数学等价等值式公式的证明.