离散数学求主析取范式主合取范式问题: 当一个式子很容易化成主析取范式的时候，怎么把他化成主合取范式

Question

离散数学求主析取范式主合取范式问题:
当一个式子很容易化成主析取范式的时候，怎么把他化成主合取范式。比如这个题

Answer 1

由主析取范式求主合取范式：含有n个命题变项的命题公式主析取范式中每一个极小项的成真赋值就是命题公式所有的成真赋值，从所有的2^n个赋值中去掉这些成真赋值，剩下的就是成假赋值，每一个成假赋值对应一个极大项，所有的极大项组成的合取范式就是主合取范式。
本题，成真赋值是11，10，01，所以成假赋值就是00，对应的极大项是p∨q，这个就是主合取范式。

追问

00对应的不应该是非p 非q么？为什么是p∨q?

追答

主合取范式中，0对应p，1对应非p（主析取范式中，0对应非p，1对应p）

追问

奥