离散2-45.pptVIP

§2.4 其它常用联结词及功能完备集 一． 其它常用联结词介绍 除了已经介绍的5个联结词: ?, ∧, ∨, →, ? 之外,还有几个重要的联结词. 相斥或: ∨ (p ∧﹁q) ∨ (﹁p ∧ q) p q ∨ (p ∨ q) ∧ ﹁(p ∧ q) 的真值为 1 当且仅当p与q的真值不相同. p q ∨ 与非: p和q的“与非”记作 p ? q p?q 的真值为 0 当且仅当p, q都为1. ﹁ (p ∧ q) p ? q ﹁(p ? q) 等值联结词的否定 与非: p和q的“与非”记作 p ? q p?q 的真值为 0 当且仅当p, q都为1. ﹁ (p ∧ q) p ? q 或非: p和q的“或非”记作 p ? q p ? q 的真值为1 当且仅当p, q都为0. ﹁ (p ∨ q) p ? q 条件否定: p和q的“条件否定”记作 的真值为1 当且仅当p为1, q为0. ﹁ (p → q) p → q c p → q c p → q c 定义：设∑是联结词的集合.如果对于任意一个真值函数，均存在一个与之等价的真值函数，而且后者仅含有∑中的联结词，则称∑是联结词的功能完备集. 二．联结词的功能完备集 有了上述联结词,我们认知世界中的所有逻辑功能都可通过真值函数表达出来. 但这些联结词相互之间是有联系的,有些联结词可由其它联结词表示. 由此引出如下概念: 功能完备集的例子: {?, ∧, ∨, →, ?} ; {?, ∧, ∨} ; {?,∧} ; {?, →} ; {↑}; {↓} 等等 {?, ∨} ; 极小功能完备集: 自学 §2.5 对偶与范式 一、对偶 仅含联结词?、?、?的命题公式称为受限命题公式. 定义１： 在受限命题公式A中， 将联结词?换成?， ?换成?， 0和1也相互取代， 所得公式记为A*, 称为A的对偶式。 由下列等价式: 可知, {?, ∧, ∨} 就可以表示所有命题. 本节就只考虑由这几个联结词构成的命题公式. 例如: (p ∧ q) ∨r 的对偶式为 (p ∨ q) ∧ r ?(p ∨ q) ∧( p ∨ ?(q ∧ ?r)) 的对偶式为 ?(p ∧ q) ∨( p ∧ ?(q ∨ ?r)) 注: A与A*互为对偶. 即 (A*)*=A 关于对偶有以下两个重要定理: 定理1: 设p1,p2, …,pn为出现在A中的全部命题变元, 则 广义 德·摩根律 例: 设 则 由定理1 即: 定理2(对偶原理): 设A,B是两个命题公式, 若 则 (证明略) 对偶原理的应用 例: 分配律 德·摩根律 排中律与矛盾律 二、范式 我们已经看到，同一个命题公式可以有多种相互等价的表达形式，为了使命题公式能够规范化，我们下面讨论命题公式的范式问题。 定义２： 由有限个命题变元或其否定构成的合取式称为原子合取式． 由有限个命题变元或其否定构成的析取式称为原子析取式． 例： ?p ∨ q ∨ ?r， p ∨ ? q q ∧ ?r， 是原子析取式． 只有一项的公式：?p p ∨ ?（q∨ｒ） p ∧ ? q ∧ ?ｒ 是原子合取式 而 不是原子析取式 ?(p ∨ q ∨ｒ）， ?(p ∨ q ∨ｒ） 也不是原子合取式． 即是原子合取式，又是原子析取式． 定义３： 由有限个原子合取式构成的析取式称为析取范式． 由有限个原子析取式构成的合取式称为合取范式． 例： （?p ∨ q ∨ ?r） （p ∨ ? q） 是合取范式． 公式：?p ∨ｑ∨ ?ｒ 而 ?(p ∨ q ∨ｒ） 即可看作是合取范式，又可看作析取范式． ∧ ∧ ?p （p ∨ ? q） ∧ 不是合取范式． ?(p ∧ q ∧ｒ） （p ∨ ? q） ∧ 也不是合取范式． 定理３： 任一命题公式均存在与之等价的析取范式， 也存在与之等价的合取范式． 将一个命题公式化为范式的基本步骤： 第一步： 将命题 公式转化为受限命题公式； 第二步： 否定联结词的内移或消去； 利用等价式： 利用德·摩根律及双重否定律 第三步： 利用分配律展开即得范式． 例: (习题2.5. ３(4)) 求下列公式的范式: 三、主范式 范式也不是惟一的,从这个意义范式还需进一步规范.下面讨论主范式问题. 定义4： 包含这n个命题变元或其否定一次且仅一次的原子合取式称为极小项. 包含这n个命题变元或其否定一次且仅一次的原子析取式称为极大项. 例：设A(p,q,r) ?p ∧ q ∧ ?r， p ∧ ? q ∧r 是极小项. p ∧ ? r 而 不是极小项. p ∧ q ， p ∨ q ∨ｒ,