离散数学（三）：主析取范式与主合取范式

什么是范式？范式和命题公式有什么区别？顾名思义，范式就是符合一定规范的公式。即，范式中只有否定、合取、析取三个连接词和文字，并且范式只能是合取范式或者析取范式。

任何一个命题公式都存在与之等值的合取范式和析取范式。

任何一个命题公式都存在与之等值的主析取范式和主合取范式，并且是唯一的。

将任一命题公式->合取范式/析取范式->主析取范式/主合取范式，可用来求命题公式的成真赋值（成假赋值）、判断公式类型、判断两个公式是否等值。

求解主范式，需要先依据命题公式转换为范式，再充分利用矛盾律，将没有涉及的变元补充完整。

1、析取范式与合取范式

 

 

 2、极小项与极大项

定义 在含有n个命题变项的简单合取式(简单析取式)中，若每个命题变项均以文字的形式在其中出现且仅出现一次，而且第i（0in）个文字出现在左起第i位上，称这样的简单合取式（简单析取式）为极小项（极大项）。

 

3、主析取范式与主合取范式