一、范式

  为叙述方便, 先定义几个术语。
  简单命题P及其否定式P统称文字。
  一些文字的合取称合取式。
  一些文字的析取称析取式(也称子句)。
  P与P称为互补对。即简单命题与其否定式称为互补对。合取称为积, 析取称为和。由一些简单命题或其否定的合取组成的公式称为基本积。由一些简单命题或其否定的析取组成的公式称基本和。
  如P,P, P∧Q, P∧Q∧P都是合取式, 而P,P, P∨Q, P∨Q∨Q都是析取式。

  1. 范式存在定理 任一命题公式都存在有与之等值的合取范式和析取范式。
  可通过求范式的具体步骤, 来认识范式存在定理的正确性。
  2. 求范式的步骤
  对一个已给的公式, 可按下述步骤求得该公式的合取范式和析取范式。
  (1) 消去已给公式中的联结词→和
  (2) 重复使用摩根律和双重否定律, 把否定词内移到直接作用于命题变项上。
  (3) 重复使用分配律。
  3. 求范式举例
  例1: 求(P∨Q)(P∧Q)的析取范式。
  例2: 求(P∨Q)(P∧Q)的合取范式
  4. 范式可用来判断重言式和矛盾式
  若一公式的合取范式中,所有的析取式都至少含有一个互补对,则该范式及相应的公式必为重言式。
  若一公式的析取范式中,所有的合取式都至少含有一个互补对,则该范式及相应的公式必为矛盾式。