离散数学第2版作者王元元离散第11讲范式课件.pptVIP

第11讲 范式 范式 要解决的问题 给定命题变元个数n，有无穷多个含有n个命题变元的命题公式，但只有有限多张这样的真值表 很多命题公式是互相逻辑等价的,是否它们有公共的标准形式 希望有一种便捷的方法解决下面两个问题： 判定任意一个命题公式是否为永真式或永假式 判断任意两个命题公式是否等价 有关术语 文字（letter）：是指命题常元、变元及它们的否定，如p，┐p。前者又称正文字，后者又称负文字。 析取子句（disjunctive clause）：指文字或文字的析取。例：p，┐p，p∨q等。 合取子句（conjunctive clause）：指文字或文字的合取。例：p，┐p，p∧┐p，p∧q∧r等。 互补文字对（complemental pair of letter）：指形如p、┐p的一对文字。 关于子句的真值 析取子句A1∨A2 ∨…∨Am为永真式，当且仅当子句中含有互补文字对Ai和┐ Ai 。 合取子句A1∧A2 ∧…∧Am为永假式，当且仅当子句中含有互补文字对Ai和┐ Ai 。 析取范式 (disjunctive normal form) 定义1：命题公式A’称为公式A的析取范式，如果 （1）A’┝┥A （2）A’为一合取子句或若干合取子句的析取 合取范式 (conjunctive normal form) 定义2：命题公式A’称为公式A的合取范式，如果 （1）A’