p q ┐p ┐q ┐p→q ┐q∨p (┐p→q)→(┐q∨p)
0 0 1 1 0 1 1
0 1 1 0 1 0 0
1 0 0 1 1 1 1
1 1 0 0 1 1 1
成真赋值对应主析取范式，主析取范式：(┐p∧┐q)∨(p∧┐q)∨(p∧q)
成假赋值对应主合取范式，主合取范式：p∨┐q本回答被提问者和网友采纳
主析取范式和主合取范式,成真成假赋值
成真赋值对应主析取范式，主析取范式：(┐p∧┐q)∨(p∧┐q)∨(p∧q)成假赋值对应主合取范式，主合取范式：p∨┐q
...的主合取范式、主析取范式、成真赋值成假赋值以及判断命题公式类型...
命题公式是蕴涵式，成假赋值只有一种情况，是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)∧q∧r的主析取主合取范式,以及 成真成假赋值
∴ 其主析取范式为：0 主合取范式为：M0∧M1∧M2∧M3∧M4∧M5∧M6∧M7 ↔ ∏（0,1,2,3,4,5,6,7） （主合取范式表示成上下两种形式都对） 成假赋值为： 000,001,010,011,100,101,110,111 无成真赋值，即本式命题类型为矛盾式。以上，如有问题请追问我。
(p→q)∧q∧r的主析取范式主合取范式成真赋值成假赋值
得到主析取范式 检查遗漏的极小项，变元取反，得到主合取范式：(¬p∨¬q∨r)∧(¬p∨q∨¬r)∧(¬p∨q∨r)∧(p∨¬q∨r)∧(p∨q∨¬r)∧(p∨q∨r)成真赋值，看主析取范式即可：0 1 1 1 1 1 成假赋值，看主合取范式即可：0 0 1 0 1 ...
为什么主析取范式的极小项即是原公式的成真赋值?同样的,主合取范式的极...
主析取范式是由一个个简单合取式构成的，对于简单合取式来说，想要成假有很多很多种情况，想要成真却只有一种情况（包含的命题变项都为真），所以我们只考虑它成真的情况，也就有了主析取范式的极小项即是原公式的成真赋值这一说法。主合取范式正好相反，它是由一个个简单析取式构成的，对于简单析取...
主析取范式是成真赋值还是
成真赋值和假赋值。主析取范式是大学数学里一门名叫离散数学（Discretemathematics）的课程中的内容，在离散数学的数理逻辑一节中，利用真值表和等值演算法可以化简或推证一些命题，但是当命题的变元的数目较多时，上述方法都显得不方便，所以需要给出把命题公式规范的方法，即把命题公式化成主合取范式和主...
如何用真值表求主析取范式和主合取范式
例如由命题变项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...
如何判断一个逻辑公式的主析取范式和主合取范式呢?
原式结果为【假】。对于二元逻辑式，只有4种赋值，排除这唯一的成假赋值，剩下的3种就是成真赋值。主析取范式，就是成真赋值的析取；主合取范式，就是成假赋值——取反——的合取，即【p真或q假】；（因为只有一组成假赋值，也就是主合取范式中只包含一项析取式，也就不用再作合取运算了。）
求命题的主析取范式和主合取范式 (1)p∧q∧┐q (2)(┐p→q)→(┐q...
可以用真值表求。根据蕴含式A→B的真值的情形，只有A真B假时才为假，所以(P∨Q)→(R∨Q) 成假只有当P∨Q真，R∨Q假时，此时P真Q假R假，即成假赋值只有100，对应的极大项是M4，所以主合取范式是M4，那么主析取范式就是m0∨m1∨m2∨m3∨m5∨m6∨m7 ...
离散数学求主析取范式主合取范式问题: 当一个式子很容易化成主析取范式...
由主析取范式求主合取范式：含有n个命题变项的命题公式主析取范式中每一个极小项的成真赋值就是命题公式所有的成真赋值，从所有的2^n个赋值中去掉这些成真赋值，剩下的就是成假赋值，每一个成假赋值对应一个极大项，所有的极大项组成的合取范式就是主合取范式。本题，成真赋值是11，10，01，所以成...
