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

来源：学生作业帮助网编辑：作业帮时间：2024/05/05 12:32:37

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

（（p→q）∧﹃p）→﹃q ……(中间省略推理，得到结果)p V ﹃q=M01 --(这个M01怎么得到的？)m00 V m10 V m11 =Σ(0,2,3) --(这一步是怎么出来的？)我是自学离散的，这些东西是从一个例题上摘抄的。果
1、M01是两个命题变项p、q组成的极大项中的一个,p V ﹃q的成假赋值是01,那么这个极大项就可以表示为M01或M1（就是把01转换成十进制了）.
m00、m10、m11都是极小项,其下标00、10、11代表它所对应的合取式的成真赋值,也可以转换为十进制,表示为m0、m2、m3.
极大项与极小项在主析取范式与主合取范式那个地方,任何书上都有,重要内容.
2、如果一个命题公式的等值的主合取范式已知了,那么很容易的就可以求出主析取范式.假设命题公式中有n个命题变项,那么主析取范式中的极小项的下标就是从所有的n位二进制数中去掉主合取范式中的所有极大项的下标后所剩余的.对于本例,两位二进制数是00、01、10、11,去掉了主合取范式中的01,剩余的00、10、11对应的极小项m00、m10、m11的析取式就是主析取范式.
反之亦然.

证明┐（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是真.