而 ┐p→q 则等同于 ┐(┐p)∨q ，即 p∨q
(┐p→q)→(┐q∨p)
⇔ ┐(┐p→q)∨(┐q∨p)
⇔ ┐(p∨q)∨(┐q∨p)
⇔┐p∧┐q∨┐q∨p
⇔（┐p∧┐q∨┐q）∨p
⇔┐q∨p本回答被提问者采纳
求(┐p→q)→(┐q∨p)的主析取范式,并求成真赋值,要解题过程,求大神帮 ...
逻辑上的“蕴含→”，是指 A→B 等同于 ┐A∨B 而 ┐p→q 则等同于 ┐(┐p)∨q ，即 p∨q (┐p→q)→(┐q∨p)⇔ ┐(┐p→q)∨(┐q∨p)⇔ ┐(p∨q)∨(┐q∨p)⇔┐p∧┐q∨┐q∨p ⇔（┐p∧┐q∨┐q）∨p ⇔┐q∨p ...
求( p→q)→( q∨p)的主析取范式步骤解释
你的答案是错误的，主析取范式是m1∨m2∨m3，主合取范式是M1。方法一是用真值表求主析取范式，找到成真赋值01，10，11，转化为十进制是1,2,3，所以主析取范式是m1∨m2∨m3。主合取范式是M0。方法二就是一般做法，进行等值演算 ( p→q)→( q∨p)<=> ┐(┐p∨q)∨(p∨q)<=> (p∧┐q...
离散数学:求p→(q∧┐r)的主合取范式、主析取范式、成真赋值成假赋值以...
命题公式是蕴涵式，成假赋值只有一种情况，是p真q∧┐r 假时，q∧┐r 假有三种情况，q,r都真或都假，或q假r真，所以命题公式的成假赋值是111,101,100，对应的十进制数是7,5,4，所以主合取范式是M4∧M5∧M7。成真赋值是000,001,010,011,110，主析取范式是m0∨m1∨m2∨m3∨m6。命题公式...
主析取范式和主合取范式,成真成假赋值
成真赋值对应主析取范式，主析取范式：(┐p∧┐q)∨(p∧┐q)∨(p∧q)成假赋值对应主合取范式，主合取范式：p∨┐q
┐(p→q)∧q∧r 转化为主析取范式
p→q等价于（p合取q）析取（非p合取q）析取（p合取q）这是主析取范式 ⊙﹏⊙b汗 这貌似是答案不是证明 证明我也不会了...有效性你可以用真值表检验一下
离散数学范式问题,急,求详解
M01，M10，M11所以与 ┐(q→┐p) ∧┐p 等价的主合取范式为M00∧M01∧M10∧M11=∏(0,1,2,3)；公式(┐p→q )→(┐q∨p)从真值表中看出其真值为1的小项有m00，m10，m11三项，所以与 (┐p→q )→(┐q∨p)等价的主析取范式为m00∨m10∨m11=∑(0,2,3)
离散数学中的主析取范式怎么求?
因而要求(1)~(5)的合取式为真.设:A≈(p→q) A(sV1)八((q八→r)V(→qλr))A((rAs)V(r八-s))∩(t→(p^q))为了求出各派遣方案,应求出A的析取范式，最好是主析取范式，主析取范式中含的极小项个数为派遣方案数，由各极小项的成真赋值给出如何派法. 所以要求出A的主析取范式...
如何用真值表求主析取范式和主合取范式
例如由命题变项p,q,r组成的某公式的成真赋值为：(001),(101),(110)那么该公式的主析取范式为m1∨m5∨m6,则其主合取范式为M0∧M2∧M3∧M4∧M7.对应的极小项为m1=(~p∧~q∧r) m5=(p∧~q∧r) m6=(p∧q∧~r)对应的极大项为M0=(~p∨~q∨~r) M2=(~p∨q∨~r) M3=(~p∨q...
求下列函数的析取范式。
解此类问题的步骤应为：① 将简单命题符号化 ② 写出各复合命题 ③ 写出由各复合命题组成的合取式 ④ 将写出的公式化成析取范式，给出其成真赋值，即可得到答案。具体解法如下：① 令 p：派赵去 q：派钱去 r：派孙去 s：派李去 u：派周去 ② (1) p→q (2) s∨u (3) ((q∧┐r)∨...
图中两道大学离散数学题目,求详细过程。谢谢!
<==> 1∧(┐Q∨P)<==> (P∨┐Q)<==> M1 成真赋值为00，10，11。2）┐S 附加前提引入 Q→S 前提引入 ┐Q∨S 等价替换 ┐Q …… （理由留给你）P∨Q P P→R R S∨R
