主析取范式是什么意思啊？

Question

如题所述

Answer 1

求主合取范式的求解通过以下步骤进行：

1、真值表法：在表中列出变元值的全部可能。查表判断命题的结果是真还是假。如果命题结果为真，那么变元值对应的就是主析取范式。如果命题结果为假，那么变元值对应的就是主合取范式。

2、等值演算法：对命题进行化简，这包括使用蕴涵等值式和矛盾律。蕴涵等值式可以把形如A→B的命题转换为¬A∨B的形式，而矛盾律可以用来补齐变元。使用分配律对化简后的命题进行处理，得到主合取范式。

主合取范式由有限个极大项组成的合取式 。

主析取范式与主合取范式的下标是互补的。知道主析取，直接写主合取，或者知道主合取，直接求主析取很方便。主析取范式是大学数学里一门名叫离散数学的课程中的内容，析取范式DNF是逻辑公式的标准化或规范化，它是合取子句的析取。

在离散数学中，主合取范式具有非常重要的意义，其主要目的在于讨论公式的主合取范式。不仅可以判断两个公式是否相等，而且还可以判断一个公式是否为恒真式或恒假式。主合取范式的方法，分为直接方法和间接方法两类。

主范式用途：求出公式的主析取范式，若主析取范式中含有2个极小项，那这个公式就是重言式，求出公式的主合取范式，若主合取范式中含有2个极大项，那这个公式就是矛盾式，可满足式主析取范式中至少含有一个极小项，主合取范式中至少含有一个极大项。

主合取范式为1的含义

1的主合取范式：真理表中只有1的合取范式在逻辑学中，主合取范式是指一个命题公式的合取范式中，只有主合取项为真时，整个命题公式才为真。而1的主合取范式则是指真理表中只有1的合取范式。