知成假赋值求范式

已经知道了成假赋值如何求范式呢？

直接看题，已经A公式有三个命题变量 p,q,r，它的成假赋值为 010,011,110,111。

看到成假赋值就想到这是主合取范式，因为主合取范式是由许多个析取小项组成，让主合取范式成真的方式有很多种，但是要让主合取范式成假的方式只有一种，那就是让所有的析取小项都为 假，也就是让所有析取小项都为0；

看  010

由于这是主合取范式，所以这个是析取式，所以让每个析取项都为 0 。

也就是（pV 非q V r)，这就是成假赋值了。

成假赋值为 010,011,110,111，那成真赋值就是 000,001,100,111

拿001来说

成真赋值我们想到主析取范式，因为主析取范式是由各个合取小项组成，想要主析取范式为假的情况有很多，但是让其为真的情况只有一种，那就是每个合取小项都是真的时候才为真，所以。

那 001

（非p ^ q^ 非r） ^是合取的意思，这就是成真赋值了