02主析取范式，就是若干个极小项的析取（并集）。

03而所谓的极大项，就是包含全部数目的命题变元的析取表达式

04所谓的极小项，就是包含全部数目的命题变元的合取表达式

05下面言归正传，我们看如何按步骤求解命题公式的主合取范式与主析取范式。常用的方法有两种，等值演算法和真值表法等值演算法，就是按照步骤推导公式，最终得到主合取范式或者主析取范式

06下面，我们来举个例子，求出命题公式的主合取范式与主析取范式得到主合取范式

07检查主合取范式中遗漏的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)得到主析取范式

08最后，我们看如何使用真值表方法，求命题公式的主合取范式与主析取范式。

09我们来看这样一个具体例子。根据真值表，我们取值为0的指派，得到最大项从而写出最大项的合取，得到主合取范式

析取是最常用的逻辑联结词之一，表示“或”的意思。析取是逻辑和数学概念中的一个二元逻辑算符。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个变量同时为假，其结果为“假”。析取在数据挖掘和数据库等很多领域都有广泛应用。定义命题变项及其否定统称作文字，仅由有限个文字构成的析取式称为简单析取式；仅由有限个文字构成的合取式称为简单合取式。