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

第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’┝┥A （2）A’为一析取子句或若干析取子句的合取 求析取范式和合取范式 由析取范式判断永假式 在一命题公式的析取范式中，如果每一合取子句均为永假式，则这一命题公式也为永假式 而要看一个合取子句是否为永假式，只需看其中是否含有互补文字对 因此，只要求出公式的析取范式，就可以判断该公式是否为永假式 由合取范式判断永真式 在一个命题公式的合取范式中，如果每一析取字句均为永真式，则这个命题公式也为永真式 而每一析取字句是否是永真式，只需看其中是否含有互补文字对 因此，只要求出公式的析取范式，就可以判断该公式是否为永真式 不足 到目前为止，要判定一个命题公式是永真式、永假式还是可满足式的问题，可以说是解决了。将该命题公式的析取范式或合取范式求出来一看便可以知道了 但是，如何来判定两个命题公式是否等价的问题仍未解决。因为从前面的例子可以看到，对于同一个命题公式，它的范式并不是惟一的, 且可能合一。所以不能通过两个命题公式的范式来判定两个命题公式是否等价。为此，引入主范式的概念 主析取范式 设A为恰含有n个命题变元p1,…,pn的公式。公式A‘称为A的主析取范式，如果A’是A的析取范式，并且其每个合取子句中p1,…,pn均恰出现一次。 主合取范式 设A为恰含有n个命题变元p1,…,pn的公式。公式A‘称为A的主合取范式，如果A’是A的合取范式，并且其每个合取子句中p1,…,pn均恰出现一次。 思考 每一合取子句中，让负文字中的命题变元取真值0，正文字中的命题变元取真值1，那么这一组指派使合取子句取真值1 只要有一个合取子句是真的，整个命题公式就取真的真值 主析取范式中的每个合取子句对应着一个弄真命题公式指派 可通过公式的真值表求其主析取范式 一个命题公式的真值表是唯一的，其主析取范式也是唯一的。 思考 每一析取子句中，让负文字中的命题变元取真值1，正文字中的命题变元取真值0，那么这一指派使析取子句取真值0 只要有一个析取子句是假的，整个命题公式就取假的真值 主合取范式中的每个析取子句对应着一个弄假命题公式的指派 可通过公式的真值表求它的主合取范式 一个命题公式的真值表是唯一的，其主合取范式也是唯一的 由主析取范式获得弄真指派 由主合取范式获得弄假指派 由真值表得到主析取、主合取范式 由真值表得到主合取、主析取范式 永假式和永真式 由于永假式没有成真指派，所以永假式没有主析取范式。为方便起见，将其记为f。 等价命题公式类 由n个命题变元可以组成无限个命题公式 每一命题公式均与一个主析取范式（或主合取范式）等价，与同一个主析取范式（或主合取范式）等价的所有公式就组成一个等价类。 共有22n个等价类 联结词的扩充 n个变元的真值表共有22n张，因此可以定义22n个n元联结词 16个二元联结词 联结词的规约 定义：称n元联结词h是用m个联结词g1, g2, …, gm可表示的，如果能找到一个仅含联结词g1, g2, …, gm的命题公式A，使得： h(p1，p2，…，pn)┝┥ A 联结词的规约 一元联结词都是┐，∧，∨可表示的。 完备联结词组 定义：当联结词组g1，g2，…，gm可表示所有一元、二元联结词时，称为完备联结词组，或联结词的全功能集（complete group of connectives）