↙️ backlink

• 文字
  • 命题变元或命题变元的否定称为文字
• 简单析取式（或子句）
  • 有限个文字的析取称为简单析取式
• 简单合取式（或短语）
  • 有限个文字的合取称为简单合取式
• 析取范式
  • 有限个简单合取式的析取式称为析取范式
  • 如 $(P\land Q)\lor(P\land Q)$，又如 $P\land\neg Q,P,\neg P$
• 合取范式
  • 有限个简单析取式的合取式称为合取范式
  • 如 $(P\lor Q)\land(\neg P\lor Q)$，又如 $P\lor\neg Q,P,\neg P$
• 范式注意
  • 关注的是当前书写形式，即使是多一个括号也可能造成解释上的不同
  • 单个文字既是子句、短语、析取范式又是合取范式
  • 析取范式、合取范式仅包含联结词集 $\{\neg,\land,\lor \}$，且否定联结词仅出现在命题变元之前
• 范式存在定理
  • 对于任意命题公式，都存在与其等价的析取范式和合取范式