定理2.2 (1)一个析取式是矛盾式当且仅当它的每个简单 合取式都是矛盾式。 (2)一个合取式是重言式当且仅当它的每个简单 析取式都是重言式。 研究范式的目的在于，将给定公式化成与之等 值的析取式或合取式，进而将公式化成与之等值的 主析取范式或主合取范式（后面定义） 16
16 定理2.2 （1）一个析取式是矛盾式当且仅当它的每个简单 合取式都是矛盾式。 （2）一个合取式是重言式当且仅当它的每个简单 析取式都是重言式。 研究范式的目的在于，将给定公式化成与之等 值的析取式或合取式，进而将公式化成与之等值的 主析取范式或主合取范式（后面定义）
命题公式的范式 定理2.3（范式存在定理)任何命题公式都存在着 与之等值的析取范式与合取范式 求公式A的范式的步骤： (1)消去A中的→，←（若存在) (2)否定联结词一的内移或消去 (3)使用分配律 ∧对V分配（析取范式） V对A分配（合取范式） 公式的范式存在，但不惟一，这是它的局限性 17
17 命题公式的范式 定理2.3（范式存在定理） 任何命题公式都存在着 与之等值的析取范式与合取范式. 求公式A的范式的步骤： (1) 消去A中的, （若存在） (2) 否定联结词的内移或消去 (3) 使用分配律 对分配（析取范式） 对分配（合取范式） 公式的范式存在，但不惟一，这是它的局限性