与公式(P∧Q)→R等价的是（） A.（﹁P∧Q）∨（P∧﹁R） B.(Q→P)∧R C.P→（Q→ R） D.R∧（P

用“p→q=~p∨q”证明：（p→q）∧（q→r）=> p→r (P→Q)∧(R→Q)＜＝＞(P∨R)→Q 证明：P∨Q→R 蕴含（两横的箭头）P∧Q→R （P→（Q∨┐R））∧┐P∧Q 证明 （P∨Q）∧(P→R) ∧(Q→S) 1-S∨R 离散数学 (p∧q)→ r （（p∧非q）∨（q∧r））∨（r∨p） ┐(P∨Q→┐R)=(┐P∨Q)∧R如何证明 求命题公式(p∨(q∧r))→(p∧q∧r)的主析取范式 急 求命题公式(p∨(q∧r))→(p∧q∧r)的主合取范式 ┐（┐R→P）∧P∧Q如何求主合取范式与主析取范式, 试证明(P→(Q→R)∧(﹁S∨P)∧Q推出S→R