等值演算法化简：(p并q)->(p交r)

用等值演算法验证命题等值式P→(q→r)⇔ (p∧q)→r. 离散数学如何用等值演算法求(p∧q)∨r的主析联范式? 用等值演算法证明：p->(q->p)非p->(p->非q) 用等值演算法证明下面等值式┐（pq）((pvq)^┐(p^q)) 1.用等值演算法证明：((p∨q)→r)→p (p∨q∨p)∧( ┐r∨p) 2.证明:a上的关系R1与R2都具有对称性 范式!用等值演算法算出 ￢q∨p 的主合取范式! 等值演算 p→q→r(p→ q)→(p→r) 用等值演算或真值表证明公式（p→q)∧(p→r)＜＝＞p→(q∧r) 构造推理的证明.前提:q蕴含于p,q等值于s,s等值于t,t合取r.结论:p合取q合取s合取r 全集为R P={x|x=a^2+4a+1,a属于R} Q={y|y=-b^2+2b+3,b属于R} 求P交Q和P并Q.奔 已知集合P,Q与全集U,下列:P交Q=P,P并Q=Q,P并（CuQ)=空集,P并Q=U,其中与命题P含于Q等价的命题有 已知集合P={X|X=a2+4a+1,a属于R},Q={y|y=-b2+2b+3,b属于R},求P交Q=_;P并Q的补集