Question

在线等，求助，离散数学问题

Answer 1

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的析取式就是主析取范式。反之亦然。