主合取范式和合取范式的区别

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

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

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

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