(┐p∨q∨r)∧(┐p∨q∨┐r)∧(┐p∨┐q∨r)∧(p∨┐q∨r)∧(p∨q∨┐r)∧(p∨┐q∨┐r)是如何变

┐(P∨Q→┐R)=(┐P∨Q)∧R如何证明 数理逻辑((p∧┐q)∨(q∧r))∨r∨p如何计算? （P→（Q∨┐R））∧┐P∧Q 证明 P∧Q→R,┐R∨S,┐S => ┐P∨┐Q . (P→Q)∧(R→Q)＜＝＞(P∨R)→Q （（p∧非q）∨（q∧r））∨（r∨p） 用“p→q=~p∨q”证明：（p→q）∧（q→r）=> p→r 1.用等值演算法证明：((p∨q)→r)→p (p∨q∨p)∧( ┐r∨p) 2.证明:a上的关系R1与R2都具有对称性 ((p∧┐q)∨q)∧((p∧┐q)∨┐p)是怎么变成(p∨q)∧(┐q∨┐p)的? 离散数学证明题：证明((Q∧R)-->S) ∧(R-->(P∨S))(R∧(P-->Q))-->S 《离散数学》证明题：证明从前提P→Q,┐(Q∨R)可演绎出┐P. 离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急