什么是成真指派？命题公式是蕴涵式，成假赋值只有一种情况，是p真q∧┐r 假时，q∧┐r 假有三种情况，q，r都真或都假，或q假r真，所以命题公式的成假赋值是111，101，100，对应的十进制数是7，5，4，所以主合取范式是M4∧M5∧M7
什么是成真指派？
命题公式是蕴涵式，成假赋值只有一种情况，是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。命题公式是可满足式。
对同一命题公式而言，主合取范式和主析取范式有什么关系？
主析取范式是由极小项之和构成的，命题公式化简出来的主析取范式中包含的极小项，其下标对应的指派得到的命题公式的真值应该为1。主【幸运飞艇pinyin：zhǔ】合取范式由极大项之积构成，命题公式等价的主合取范式中包含的极大项，其对应下标应该是使对应的指派得到命题公式的真值为0.
所以，假设有三个命题変元，极小项和极大项的下标分别是0--7，如果一个命题変元的主析取范式表示为m1或m3或m5，它的主合取范式应该是m0且m2且m4且m6且m7.
也就是说下标是极小项下标集合的直播吧补集[pinyin：jí]。
本文链接：http://21taiyang.com/Open-SourceComputers/299407.html
成真指派合成假指[pinyin：zhǐ]派转载请注明出处来源
