离散数学——成真赋值与成假赋值

        今天复习离散数学的时候饱受一个问题的困扰——为什么主析取范式和主合取范式的小项和大项采用不一样的赋值方式，查阅一些资料后得出答案，在这里分享给大家。

        首先给大家明确一下赋值、成真赋值、成假赋值的概念：

        对于一个命题公式P中的所有命题变项指定一组真值，则称为P的一个赋值。 如果在某种赋值下，命题公式P的值为1，这种赋值称为成真赋值； 如果在某种赋值下，命题公式P的值为0，这种赋值称为成假赋值。

        现在为大家说明为什么对于两种范式采用不一样的赋值方法：

        主析取范式是由一个个小项（简单合取）组成的，对于简单合取来说，要使式子为假有多种赋值，但是使其为真只有一种情况（即都为真的情况），所以，我们使用成真赋值。

        主合取范式恰好相反，它是由一个个大项进行合取组成的，大项是简单析取，对于大项而言，要使它为真有多种赋值，但是使其为假只有一种赋值，所以我们对于主合取范式采用成假赋值。