文字

• 命题变元或命题变元的否定称为 文字，例如 。
• 文字既可以看成短语又可以看成子句。

合取范式

• 有限个文字的析取称为 子句（ 简单析取式），例如 。
• 有限个 子句 的 合取式 称为 合取范式 ，例如 。

析取范式

• 有限个文字的合取称为 短语（ 简单合取式），例如 。
• 有限个 短语 的 析取式 称为 析取范式，例如 。
• 互补对： 与。

(★) 例题#1 - 判断下列公式的类型

范式存在定理

 对于任意一个命题公式，都存在与其等价的析取范式与合取范式。

(★) 例题#2 - 求下面公式的析取范式