（（p→q）∧﹃p）→﹃q ……(中间省略推理，得到结果)p V ﹃q=M01 --(这个M01怎么得到的？)m00 V m10 V m11 =Σ(0,2,3) --(这一步是怎么出来的？)我是自学离散的，这些东西是从一个例题上摘抄的。果

证明┐（P→Q）《《==》》P∧┐Q证明P→（Q→P）《《==》》┐P→(P→┐Q) （（p→q）∧﹃p）→﹃q ……(中间省略推理，得到结果)p V ﹃q=M01 --(这个M01怎么得到的？)m00 V m10 V m11 =Σ(0,2,3) --(这一步是怎么出来的？)我是自学离散的，这些东西是从一个例题上摘抄的。果 用“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）的主合取范式 离散数学-用等值演算法求下列命题公式的主析取范式,并由此指出该公式的类型（1）﹃（p→q）∧ q （2）（（p→q）∧ p）→q （3）（p→q）∧ q 以上是计算题,如果有数学专家或者老师麻烦解 普通逻辑问题 与“p→q”等值的命题是（ ）.①p∨┐q ②┐p∨q ③┐p∧┐q ④┐p←q 关于离散数学的几个问题证明P→Q＝>┐P∨Q证明┐P∨（P∧Q）＝>P→（P∧Q）R→┐R是什么? 化简命题公式：（P∨7P）→(7P∧Q∧R). 把（p-q）³-p（p-q）²-q（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)∧(q→p)＜＝＞(p∨q)→(q∧p),其中p,q都是命题公式. (p→q)∧(q→p)等值(p∨q)→(q∧p),其中p,q多少命题公式. 求证 p∨(q→p) ≡q→p 看不懂一道离散数学题,请高手指教前提：(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→q 1若：p是真,q是真,则 p→q是真； 2若：p是真,q是假,则 p→q是假； 3若：p是假,q是真,则 p→q是真； 4若：p是假,q是假,则 p→q是真.