P→（（Q→P）∧（┐P∧Q））主析取范式和主合取范式PV(Q∧R)→(P∧Q∧R)主析取范式

证明┐（P→Q）《《==》》P∧┐Q证明P→（Q→P）《《==》》┐P→(P→┐Q) 关于离散数学的几个问题证明P→Q＝>┐P∨Q证明┐P∨（P∧Q）＝>P→（P∧Q）R→┐R是什么? 普通逻辑问题 与“p→q”等值的命题是（ ）.①p∨┐q ②┐p∨q ③┐p∧┐q ④┐p←q 用“p→q=~p∨q”证明：（p→q）∧（q→r）=> p→r 用“p→q=~p∨q”证明：（p→q）∧（q→r）=> p→r 6q（p+q）-4p（p+q） 如何证明（（P→Q）∧（Q→R))→(P→R) 求公式（Q→P）∧（┓P∧Q）的主合取范式 化简命题公式：（P∨7P）→(7P∧Q∧R). ┐（P----Q）(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式 离散数学证明等值式：(p∧┐q)∨(┐p∧q)（p∨q）∧┐(p∧q) P→（（Q→P）∧（┐P∧Q））主析取范式和主合取范式PV(Q∧R)→(P∧Q∧R)主析取范式 ┐（┐R→P）∧P∧Q如何求主合取范式与主析取范式, 看不懂一道离散数学题,请高手指教前提：(P∨Q)∧(P→R)∧(Q→S)结论：S∨R证明：（1）P∨Q P (2)╕P→Q T(1)E (3)Q→S P (4)╕P→S T(2)(3)I (5)╕S→P T(4)E (6)P→R 证明：(P∧Q)∨(P∧┐ Q)P. 关于普通逻辑学的推理式在下列各推理式中,无效推理式为（ ）(双选)A.（p→「q）∧q→「p B.（p∨q）∧「p→「qC.（p∨q）∧p→「q D.（p←「q）∧「p→「qE.（「p←q）∧q→「p请说明为什么 把（p-q）³-p（p-q）²-q（q-p）²因式分解 p-[q+2p-（ ）]=3p-2q