主析取范式怎么求?

Question

如题所述

Answer 1

常用的方法有两种，等值演算法和真值表法，等值演算法，就是按照步骤推导公式，最终得到主合取范式或者主析取范式。

检查主合取范式中遗漏的4个主项p∨q∨¬r，p∨¬q∨¬r，¬p∨q∨¬r，¬p∨¬q∨r可以反推出它的主析取范式⇔(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧r)∨(p∧q∧¬r)得到主析取范式。

主析取范式

是大学数学里一门名叫离散数学（Discrete mathematics）的课程中的内容，在离散数学的数理逻辑一节中，利用真值表和等值演算法可以化简或推证一些命题，但是当命题的变元的数目较多时，上述方法都显得不方便，所以需要给出把命题公式规范的方法，即把命题公式化成主合取范式和主析取范式的方法。