定义：合取范式是仅仅由有限个简单析取式组合而构成的合取式。

(3)极大项

定义：在含有个，，。。。 ， 命题变项的简单析取式中，如果不同时出现命题变项与该命题变项的否定，而且二者之一必出现且仅出现一次，还要求了第个命题变项或者它的否定出现在左起的第位上，称该情况下的简单析取式叫做极大项。 

(4)主合取范式

 定义：设包含个，，。。。 ，命题变项组成的命题公式，如果  的合取范式中的简单析取式都是极大项，就称这样的合取范式为主合取范式。同样的方法，定义命题公式的极小项求主析取范式个命题变项的主合取范式一共就能产生个极小项，因而就能得到++。。。+=个不同的主合取范式。

2．求法简述来,自.优;尔:论[文|网www.youerw.com +QQ752018766-

2。1求合取范式的一般步骤

任意一个命题公式都能够找到与它等值的合取范式，求解出给定公式范式的步骤如下：

1。消去连结词。

2。用双重否定律消除双重否定符号，用德摩根律内移否定符号。

3。使用分配律：利用的分配律来求解合取范式。