1.首先,我们需要了解一下数学概念。主合取范式,就是若干个极大项的合取(交集)。
2.主析取范式,就是若干个极小项的析取(并集)。
3.而所谓的极大项,就是包含全部数目的命题变元的析取表达式,例如:p∨¬q∨r
4.所谓的极小项,就是包含全部数目的命题变元的合取表达式,例如:¬p∧¬q∧r
5.用真值表方法,求命题公式的主合取范式与主析取范式。
6.根据真值表,我们取值为0的指派,得到最大项,从而写出最大项的合取,得到主合取范式