第5讲联结词完备集
析取范式
例 求公式(p→q)↔r的析取范式与合取范式。 解: (1)合取范式： (p→q)↔r (┐p∨q)↔ r ((┐p∨q)→ r)∧(r→(┐p∨q)) (┐(┐p∨q)∨r)∧(┐r∨(┐p∨q)) ((p∧┐q)∨r)∧(┐p∨q∨┐r) (p∨r)∧(┐q∨r)∧(┐p∨q∨┐r)
一、析取范式与合取范式
定义1： 命题变项及其否定统称作文字。 仅由有限个文字构成的析取式称为简单析取式。 仅由有限个文字构成的合取式称为简单合取式。
例如，文字：p, ┐q, r, q. 简单析取式: p, q, p∨q, p∨┐p∨r, ┐p∨q∨┐r. 简单合取式: p, ┐r, ┐p∧r, ┐p∧q∧r, p∧q∧┐q.
例 求公式 (p→q)↔r的主析(合)取范式。 解: (1)主析取范式 由例 2.7 知，(p→q)↔r ⇔(p∧┐q∧┐r)∨(┐p∧r)∨(q∧r) ∵ (┐p∧r)⇔┐p∧(┐q∨q)∧r ⇔(┐p∧┐q∧r)∨(┐p∧q∧r) ⇔ m1∨m3 (q∧r) ⇔ (┐p∨p)∧q∧r ⇔(┐p∧q∧r)∨(p∧q∧r) ⇔ m3∨m7 （p∧┐q∧ ┐ r) ⇔ m4 ∴ (p→q)↔r ⇔m1∨m3∨m4∨m7
3. 主析取范式的用途（其主合取范式可类似论）： (1) 求公式的成真赋值与成假赋值 由上例已知. (2) 判断公式的类型,设公式A含n个命题变项，可知 （i）A为重言式当且仅当A的主析取范式含全部2n个 极小项。 （ii）A为矛盾式当且仅当A的主析取范式不含任何 极小项。此时，记A的主析取范式为0。 （iii）A为可满足式当且仅当A的主析取范式至少含 一个极小项。
例如，析取范式：（┐p∧q）∨r, ┐p∧q∧r, p∨┐q∨r. 合取范式:(p∨q∨r)∧(┐q∨r), ┐p∧q∧r, p∨┐q∨r. 定理： （1）一个析取范式是矛盾式当且仅当它的 每个简单合取式都是矛盾式。 （2）一个合取范式是重言式当且仅当它的每个简单 析取式都是重言式。
连接词完备集的概念和意义
连接词完备集的概念和意义
连接词完备集是指在逻辑学和语法学中，由一组词汇组成的集合，用来在句子中连接不同的成分或陈述，并表示它们之间的关系。
这些词汇通常被称为连接词、连词或连续词。
连接词完备集的意义主要体现在以下几个方面：
1. 语法和句法构成：连接词完备集为语法学提供了一个标准的词汇列表，用来连接主语、谓语、宾语、定语等成分，从而构成完整的句子结构。
没有连接词，句子可能会缺少合适的连接，变得模糊或不完整。
2. 语义和逻辑关系：连接词完备集可以表示两个句子、短语或单词之间的不同语义和逻辑关系，如并列、对比、因果、转折等。
通过使用连接词，可以更准确地传达信息，使语言表达更明确和连贯。
3. 句子的组织和表达：连接词完备集可以帮助人们组织思想，控制句子的结构和表达方式。
它们提供了一系列工具，使得句子可以以不同的方式被串联和组织，从而更好地传达作者的意图和思维过程。
总的说来，连接词完备集的概念和意义在于提供一组标准的词汇工具，帮助人们在语法、逻辑和语义上进行正确的句子连接和表达，从而构建连贯、明确和有效
的语言表达。
联结词的完备集
联结词的完备集通常是指一组能够表达所有可能的逻辑关系的联结词。
在命题逻辑中，最常见的联结词完备集包括以下四个基本联结词：
1. 否定（Not）：
- 通常用“￢”或“~”表示，对一个命题进行否定。
2. 合取（And）：
- 通常用“∧”或“&”表示，将两个命题组合在一起，并要求它们同时为真。
3. 析取（Or）：
- 通常用“∨”或“|”表示，将两个命题组合在一起，并允许其中一个或两个同时为真。
4. 蕴含（Implication）：
- 通常用“→”或“⇒”表示，如果前件为真，则后件必须为真。
这四个基本联结词可以表达所有可能的命题逻辑关系。
然而，在某些情况下，我们也可以使用其他的一些联结词来替代这些基本联结词，例如：
1. 等价（Equivalence）：
- 通常用“↔”或“⇔”表示，当两个命题同时为真或同时为假时，它们之间存在等价关系。
2. 异或（Xor）：
- 通常用“⊕”表示，当两个命题的状态不同时，结果为真。
请注意，虽然这些联结词可以用于表达所有的逻辑关系，但在实际应用中，你可能会根据具体的需求和语境选择不同的联结词。
联结词的完备集
联结词的完备集
1.命题公式与真值函数的关系
含n个变元的命题公式可以视为一个n-元真值函数F:{0,1}n→{0,1}。
反之任何n-元真值函数都可以表示为一个含n个变元的命题公式。
问：用什么方法得到这样的命题公式？
答：根据真值表构造主析取范式。
例1.1 为下列真值函数F构造命题公式表示。
2.联接词的完备集
动机：一个有趣的问题是，用尽可能少的几种联结词所构造出的命题公式能否表示所有的真值函数？
定义2.1设S是一个联结词集合。
若由S中联结词所构造的命题公式可以表示所有真值函数，则称S是联结词的完备集。
定理2.2{,,}
⌝∧∨是联结词完备集。
证明
证毕
推论2.3 以下集合都是联结词完备集：
1）{,}
⌝∧
2）{,}
⌝∨
3）{,}
⌝→
证明
证毕定义2.4（1）与非联结词↑（2）或非联结词↓
定理2.5 {↑}与{↓}都是联结词完备集。
证明
证毕。
数理逻辑2.3
2.3 联结词的完备集一. n 元真值函数的个数*n 个命题变项p 1, p 2, …, p n , 每个p i 可取p i 或┐p i 形式, 共有2n 个极小项(极大项), 在主析取范式中, 每个极小项可以存在或不存在, 共有n22种组合方式, 每一种组合方式代表一种不同的主析取范式, 故共有n22种不同的主析取范式(主合取范式也类似).定义2.5: 称F: {0, 1}n →{0, 1}为n 元真值函数.*F 的自变量为n 个命题变项, 定义域{0, 1}n ={(0,0,…,0), (0,0,…,1), …, (1,1,…,1)}. n 个命题变项共可构成n 22个不同的真值函数. 例如: 1元真值函数有122= 4个, 如下表, 2元真值函数共有222= 16个(见下表), 3元真值函数共有322= 256个. 表1: 1元真值函数 p )1(0F )1(1F )1(2F )1(3F0 0 0 1 11 0 1 0 1表2: 2元真值函数p q )2(0F )2(1F )2(2F )2(3F )2(4F )2(5F )2(6F )2(7F 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1p q )2(8F )2(9F )2(10F )2(11F )2(12F )2(13F )2(14F )2(15F 0 0 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1*每个真值函数与唯一的一个主析取范式等值.例如: ⇔)2(0F 0 (矛盾式), )2(1F ⇔ (p ∧q) ⇔ m 3)2(3F ⇔(p ∧┐q)∨(p ∧q)⇔m 2∨m 3 ,)2(13F ⇔(┐p ∧┐q)∨(┐p ∧q)∨(p ∧q)⇔m 0∨m 1∨m 3*每个主析取范式对应无穷多个等值的命题公式, 每一个命题公式又都对应唯一的等值的主析取范式. 所以, 每一个真值函数对应无穷多个等值的命题公式, 每一个命题公式又都对应唯一的等值的真值函数.定义2.6: 设S 是一个联结词的集合, 如果任何n (n ≥ 1)元真值函数都可以由仅含S 中的联结词构成的公式表示, 则称S 是联结词完备集.定理2.4: S = {┐,∧,∨}是联结词完备集.证明: 因为任何n(n ≥ 1)元真值函数都与唯一的主析取范式等值, 而在主析取范式中, 仅含联结词┐,∧,∨, 所以S = {┐,∧,∨}是联结词完备集.推论: 以下联结词集都是联结词完备集:(1) S1 = {┐,∧,∨,→}(2) S2 = {┐,∧,∨,→,↔}(3) S3 = {┐,∧}(4) S4 = {┐,∨}(5) S5 = {┐,→}证明: (1)和(2)是显然的.(3) 由于S = {┐,∧,∨}是联结词完备集, 因而只需证∨可用┐和∧表示. 事实上, p∨q⇔┐┐(p∨q)⇔┐(┐p∧┐q), 所以S3是联结词完备集.(4) 留作练习.(5) 已知S4 = {┐,∨}是联结词完备集, 只需证∨可用┐和→表示即可. 因为有p∨q⇔┐┐p∨q⇔┐p→q, 故S5 = {┐,→}是联结词完备集.*举例说明.*可以证明: 恒取0值的真值函数不能用仅含∧,∨,→,↔的公式表示, 因而{∧,∨,→,↔}不是联结词完备集, 进而它的任何子集都不是联结词完备集.*在计算机硬件设计中, 用与非门或用或非门设计逻辑线路. 这是两种新的联结词, 并且它们各自能构成联结词完备集.定义2.7: 设p,q是两个命题, 复合命题“p与q的否定式”称作p,q的与非式, 记作p↑q. 即p↑q⇔┐(p∧q). 符号↑称作与非联结词.复合命题“p或q的否定式”称作p,q的或非式, 记作p↓q . 即p↓q⇔┐(p∨q). 符号↓称作或非联结词.*p↑q为真当且仅当p与q不同时为真, p↓q为真当且仅当p 与q同时为真.定理2.5: {↑}, {↓}都是联结词完备集.证明: 已知{┐,∧,∨}为联结词完备集, 因而只需证明其中的每个联结词都可以由↑表示即可. 事实上┐p⇔┐(p∧p)⇔p↑pp∧q⇔┐┐(p∧q)⇔┐(p↑q)⇔(p↑q)↑(p↑q)p∨q⇔┐┐(p∨q)⇔┐(┐p∧┐q)⇔(┐p)↑(┐q)⇔(p↑p)↑(q↑q)从而{↑}是联结词完备集. 类似可证{↓}是联结词完备集.2.4 可满足性问题与消解法*命题公式的可满足性问题是算法理论的核心问题之一. 我们已知这个问题可以用真值表﹑主析取范式或主合取范式解决. 但这两个方法的计算量都很大. 本节介绍一个新的方法—消解法.由于任一公式都能化成等值的合取范式, 因而一般的命题公式的可满足性问题可以归结为合取范式的可满足性问题. *举例说明合取范式的可满足性问题.*合取范式中, 简单析取式中不同时出现某个命题变项和它的否定, 否则它为永真式, 可以把它从合取范式中消去. *称不含任何文字的简单析取式为空简单析取式, 记作λ. 规定空简单析取式是不可满足的.(因为对任何赋值, 空简单析取式中都没有文字为真). 因而, 含有空简单析取式的合取范式是不可满足的.设l 是一个文字, 记⎩⎨⎧⌝==⌝=p l p p l p l C若若,, 称作文字l 的补.下面用S 表示合取范式, 用C 表示简单析取式, 用l 表示文字. 设α是关于S 中命题变项的赋值, 用α(l),α(C)和 α(S)分别表示在α下l, C 和S 的值. 又设S 和S ’是两个合取范式, 用S ≈S ’表示S 是可满足的当且仅当S ’是可满足的. 定义2.8: 设C 1, C 2是两个简单析取式, C 1含文字l, C 2含文字l C , 从C 1中删去l, 从C 2中删去l C , 然后再将所得的结果析取成一个简单析取式, 称这样得到的简单析取式为C 1, C 2的(以l 和l C 为消解文字的)消解式或消解结果, 记作Res(C 1, C 2). 即设C 1=C 1’∨l, C 2 = C 2’∨l C , Res(C 1, C 2) = C 1’∨C 2’. 根据上述定义, 由C 1, C 2得到Res(C 1, C 2)的规则称作消解规则.*可以证明, 如果C 1, C 2可对多对(不同)文字消解, 其消解结果都是等值的. 例如: C 1 = ┐p ∨q ∨r, C 2 = p ∨┐r ∨┐s ∨t, 可消解为q ∨r ∨┐r ∨┐s ∨t (以p 和┐p 为消解文字), 或消解为┐p ∨q ∨p ∨┐s ∨t (以r 和┐r 为消解文字), 都是永真式.定理2.6: C 1∧C 2≈Res(C 1, C 2).证明: 记C = Res(C 1, C 2). 设消解文字为l, l C . 不妨设C 1 = C 1’∨l, C 2 = C 2’∨l C , 于是C = C 1’∨C 2’.假设C 1∧C 2是可满足的, α是满足它的赋值, 不妨设α(l) = 1, 由于α满足C 2, C 2必含有文字l ’ ≠ l 且α(l ’) = 1. 而C 中含l ’, 故α满足C.反之, 假设C 是可满足的, α是满足它的赋值. C 必含有文字l ’使得α(l ’) =1. 不妨设C 1’含有文字l ’. 把α扩张到l(l C )上, 取赋值α’如下:⎪⎩⎪⎨⎧===其它若若),(,1,0)('p l p l p p C αα 则C 1含有l ’且α’(l ’) =α(l ’) = 1, α’满足C 1, 又C 2含有l C 且α’(l C ) = 1, α’满足C 2, 从而C 1∧C 2是可满足的. *注意: C 1∧C 2与Res(C 1, C 2)具有相同的可满足性, 但它们不一定等值.例如: p ∨q ∨r 和p ∨┐r 可消解为p ∨q. α= (0,1,1)满足p ∨q, 但不满足(p ∨q ∨r)∧(p ∨┐r). α’ = (0,1,0)满足后者的赋值.*给定一个合取范式S, 从S 的简单析取式开始, 重复使用消解规则可以得到一个简单析取式序列. 根据定理2.6, 如果S是可满足的, 得到的所有简单析取式都是可满足的. 如果最后得到空简单析取式λ, 则S 不是可满足的.定义2.9: 设S 是合取范式, C 1, C 2, …, C n 是一个简单析取式序列. 如果对每个i (1≤i ≤n ), C i 是S 中的一个简单析取式,或者C i 是它之前的某两个简单析取式C j , C k (1≤j<k<i)的消解结果, 则称此序列是由S 导出C n 的消解序列. 当C n = λ时, 称此序列是S 的一个否证.推论: 如果合式范式S 有否证, 则S 不是可满足的.引理2.7: 设S 含有简单析取式l, 从S 中删去所有包含l 的简单析取式,再从剩下的简单析取式中删去l C , 把这样得到的合取范式记作S ’, 则S ≈S ’.证明: 假设S 是可满足的, α是满足S 的赋值. 由于S 含有简单析取式l, 必有α(l) = 1, 从而α(l C ) = 0. 对S ’中的任一简单析取式C ’, S 中有一个简单析取式C 使得C = C ’或C = C ’∨l C . 因为α使C 为真, 且α(l C ) = 0, C ’必含有l ’使得α(l ’) = 1, 从而α满足C ’, 得证S ’是可满足的.反之, 假设S ’是可满足的, α’是满足S ’的赋值. 由于S ’不含l 和l C , 可把α’扩张到l 上, 得到对S 的命题变项的赋值:⎪⎩⎪⎨⎧===C l p l p S p p p 若若中出现在若,0,1'),(')(αα 于是, 对S 中的任意简单析取式C, 若C 含l, 则α满足C; 若C 不含l, 则S ’中有C ’使得C = C ’或C = C ’∨l C . 而α’满足C ’,α和α’在S’上相同, 故α满足C.得证S是可满足的.定理2.8(消解完全性): 如果合取范式S是不可满足的, 则S 有否证.证明: 设S中含有k个命题变项, 用数学归纳法证明.当k=1时, S中只有一个命题变项, 设为p. 由于S是不可满足的, S中必同时含有简单析取式p和┐p,从而S有否证. 假设当k<n (n≥2)时, 定理成立, 要证k = n时定理也成立. 任意取定S中的一个命题变项p, 令S1表示S中所有含p 的简单析取式,S2表示S中所有含┐p的简单析取式,S3表示S 中所有既不含p又不含┐p的简单析取式. S’是如下得到的合取范式: 先删除S中所有含p的简单析取式, 然后再从剩下的简单析取式中删去文字┐p. S’是两个子合取范式S2’和S3的合取, 其中S2’是删去S2的所有简单析取式中的┐p后得到的合取范式. 令S”是如下得到的子句集: 先删除S中所有含┐p的简单析取式,然后再从剩下的简单析取式中删去文字p. S”也是两个子合取范式S1’和S3的合取, 其中S1’是删去S1的所有简单析取式中的p后得到的合取范式. 由引理2.7,S∧p≈S’, S∧┐p≈S”. 由于S是不可满足的, S∧p和S∧┐p 都是不可满足的, 故S’和S”也是不可满足的. 而S’和S”中命题变项的个数都小于n, 根据归纳假设, 存在从S’和S”导出λ的消解序列C1, C2, …, C i,和D1, D2, …, D j , 其中C i = D j = λ. 如果C t(1≤t≤i)是仅由S3中简单析取式消解得到的,则称C t 是与S 2’无关的; 否则称C t 是与S 2’有关的. 可类似地定义D t (1≤t ≤j )是与S 1’无关的和是与S 1’有关的. 分两种情况讨论如下:(1) C i 是与S 2’无关的, 或者D j 是与S 1’无关的, 此时可由S 3中的简单析取式消解得到λ, 这个消解序列也是S 的一个否证.(2) C i 是与S 2’有关的且D j 是与S 1’有关的, 对每个1≤t ≤i , 令 ⎩⎨⎧⌝∨=无关与若有关与若'22',',S C C S C p C C t t t tt 对每一个1≤t ≤j, 令⎩⎨⎧∨=无关与若有关与若'1'1',,S D D S D p D D t tt t t 不难看出C 1’, C 2’, …, C i ’和D 1’, D 2’, …, D j ’都是S 的消解序列, 分别得到C i ’ = ┐p 和D j ’ = p, 而Res(C i ’, D j ’) = λ. 因此, C 1’, C 2’, …, C i ’, D 1’, D 2’, …, D j ’,λ是S 的一个否证. k=n 时定理成立得证.推论: 合取范式S 是不可满足的当且仅当它有否证. 消解算法:输入: 合式公式A输出: 当A 是可满足时, 回答“yes ”; 否则回答“no ”.1. 求A 的合取范式S2. 令S 0和S 2为不含任何元素的集合, S 1为S 的所有简单析取式组成的集合3. 对S0中的每个简单析取式C1与S1中的每一个简单析取式C2:4. 如果C1, C2可以消解, 则5. 计算C = Res(C1, C2);6. 如果C = λ, 则7. 输出“no”, 计算结束.8. 如果S0和S1都不包含C, 则9. 把C加入S2;10. 对S1中的每一对子句C1, C211. 如果C1,C2可以消解, 则12.计算C = Res(C1, C2)13. 如果C = λ, 则14. 输出“no”, 计算结束.15. 如果S0与S1都不包含C, 则16. 把C加入S217. 如果S2中没有任何元素, 则18. 输出“yes”, 计算结束.19. 否则,把S1加入S0, 令S1等于S2, 清空S2, 返回步骤3. 例2.13: 用消解法判断下述公式是否可满足:(1) (┐p∨q)∧(p∨q)∧(┐q)(2) p∧(p∨q)∧(p∨┐q)∧(q∨┐r)∧(q∨r)解: (1) 这已经是合取范式, S=(┐p∨q)∧(p∨q)∧(┐q)第一次循环, S0 =φ,S1 = {┐p∨q, p∨q, ┐q}, S2 =φ┐p∨q, p∨q 消解得到q┐p∨q, ┐q 消解得到┐pp∨q, ┐q 消解得到pS2 = {p,┐p, q}第二次循环, S0 = {┐p∨q, p∨q, ┐q}, S1={p,┐p, q}, S2=φ┐p∨q, p 消解得到qp∨q, ┐p 消解得到q┐q, q 消解得到λ输出“no”, 计算结束.(2) S= p∧(p∨q)∧(p∨┐q)∧(q∨┐r)∧(q∨r)第一次循环, S0 =φ,S1={ p, p∨q, p∨┐q, q∨┐r, q∨r}, S2=φ.p∨q, p∨┐q 消解得到pp∨┐q, q∨┐r消解得到p∨┐rp∨┐q, q∨r 消解得到p∨rq∨┐r, q∨r 消解得到qS2= { p∨r, p∨┐r, q}第二次循环, S0 = { p, p∨q, p∨┐q, q∨┐r, q∨r},S1 = { p∨r, p∨┐r, q}, S2 =φp∨┐q, q 消解得到pq∨┐r, p∨r 消解得到p∨qq∨r, p∨┐r 消解得到p∨qp∨r, p∨┐r 消解得到pS2 = φ,输出“yes”, 计算结束.作业:1.用主析取范式判断下列公式是否等值:(p→q)→r与q→(p→r)2.用主合取范式判断下列公式是否等值:p→(q→r)与┐(p∧q)∨r3. 将下列公式化成与之等值且仅含{┐,∧}中联结词的公式:(1) (p→(q∧r))∨p(2) p∨┐q∨┐r4. 将下列公式化成与之等值且仅含{┐,∨}中联结词的公式: (p→(q∧┐p))∧q∧r5. 将下列公式化成与之等值且仅含{┐,→}中联结词的公式: (p∧q)∨r6. 用消解法判断下述公式是否可满足的(1) p∧(┐p∨┐q)∧q(2) (p∨q)∧(p∨┐q)∧(┐p∨r)。
第一章-命题逻辑05-联结词的完全集_
F 的真值表的最后一列有三个 1 , 即有三个真值赋值满足 Fpq ,它们是 (p/0,q/0) (p/0,q/1) (p/1,q/0)
因此, FpqE(\ p[\ q)Z(\ p[q)Z(p[\ q) □ □
基本完全集
5.t;,?,) 都可由{\ ,[,Z} 定义.
□
5.2定义(完全集) 完全与极小完全:
设 S 是联结词集合. 如果每个 n61 元的联结词都可由 S 定义, 则称 S 为完全集. 假设 S 是完全的, 且从该集合中删除任何一个联结词之后都不是完全 的, 则称 S 为极小完全集.
□
5.2例子 对于每个 n61 元的真值函数 F ,我们可以找到一个由 {\ ,[,Z} 生成 的公式定义它. 二元真值函数 F 的真值表如下
□ □
极小完全集: {\ ,[}
5.3例子
{\ ,[} 是极小完全集。 □
证明 \ ,[,Z 都可由{\ ,[} 定义, 所以{\ ,[} 也是完全集. {\ ,[} 有两个真子集 {[} 和 {\ } :
{[} 不是完全集. {\ } 不是完全集. 所以 {\ ,[} 是极小完全集,
□ □
□
证明 对任意的 n (n61 ) 元联结词 F , 假定 p1,l,pn 是不同的命题变元. 以下定义由 {\ ,[,Z} 生成的公式 A :
若 Fp1lpn 是永假式,取 A 为 p1[\ p1 . 若 Fp1lpn 是可满足式,满足 Fp1lpn 的真值赋值为
(p1/a11,l,pn/a1n),l,(p1/am 1 ,l,pn/am n )
极小完全集: {\ ,Z}
5.4例子 {\ ,Z} 是极小完全集。
1.5联结词全功能集(离散数学)PPT
定理 {, ∧,∨}、{, ∧}、{, ∨}、{, →}都是 联结词全功能集. 证明 每一个真值函数都可以用一个主析取范式表示, 故{, ∧,∨}是联结词全功能集.
p∨q(p∧q)，故{, ∧}是全功能集. p∧q(p∨q)，故{, ∨}是全功能集. p→qp∨q, 故{, →}也是全功能集.
2
例(续)
解 编号
极小项
角码 标记
1 x1∧x2∧x3∧x4
1110 *
2 x1∧x2∧x3∧x4
1011 *
43 x1x∧1∧x22∧x33∧x4x4 01101110 *
5 x1∧x2∧x3∧x4 0101 *
67 xx11∧∧xx22∧∧xx3∧3∧xx4 4 00001011 **
20
例(续)
最简展开式为
F(x1∧x3∧x4)∨(x1∧x2∧x3)∨(x1∧x4) 或
F(x1∧x3∧x4)∨(22 x2∧x3∧x4)∨(x1∧x4)
小结
组合电路 逻辑门 奎因-莫可拉斯基方法
23
练习：
P34： 1.16 1.17:(1)
24
21
(3,5,6,7)
第二批
项
x1∧x4
表示串
0 1
例(续)
项
覆盖 运算符数
x1∧x3∧x4 (1,4)
3
x1∧x2∧x3 (2,4)
3
x2∧x3∧x4 (2,6)
3
x1∧x4 (3,5,6,7)
2
选择(1,4), (2,4)和(3,5,6,7), 或者(1,4), (2,6)和(3,5,6,7).
定义1.19（与非、或非） 设p、q为两个命题，复合命题“p与q的否定”称
命题逻辑
假命题 真命题 不是命题 不是命题 不是命题 不是命题 命题，但真值现在不知道 不是命题，悖论
6
命题符号： 用来表示命题符号。
通常用小写英文字母 p, q, r, …, pi, qi, ri (i1)表示命题。 例如，令 p：2 是有理数，则 p 的真值为0， q：2 + 5 = 7，则 q 的真值为1 命题符号分类：
0 v(A ) 1
若v(B ) 1且v(C ) 0
else
7、若A为等价式(B C) ，则
1 v(A ) 0
若v(B ) v(C )
else
成真赋值：当v(A)=1时，称v满足A，记为v 成假赋值：当v(A)=0时，称v不满足A，记为v 例、A=pq v(p)=1,v(q)=0, v(A)=1 v(p)=0,v(q)=0, v(A)=0
36
判断下列各组公式是否等值: (1) p(qr) 与 (pq) r p q r 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 qr 1 1 0 1 1 1 0 1 p(qr) 1 1 1 1 1 1 0 1 pq (pq)r 1 1 1 1 1 1 0 1
这些联结词有明确的含义，注意与自然语言对应词的联系与区别 !
否定词符号
设p是一个命题， p称为p的否定式。 p是真的当且仅当p是假的。 p 1 p 0
0
例、 p： 上海是一个大城市。 p：上海不是一个大城市。
1
合取词符号
设p，q是两个命题，命题 “p并且q”称为p，q的合取， 记以pq，读作p且q。 pq是真的当且仅当p和q都是真的。 例、 p：22=5， q：雪是黑的 pq：22=5并且雪是黑的
2.3-联结词的完备集
13
例3 有一种电子锁，锁上共有三个键A、B和C。当三键同时 按下，或A、B两键同时按下，或只有A、B其中之一按下 时，锁被打开。设计该电子锁的控制电路的公式并画出电 路图。 解：用“0”表示键未按下，“1”表示键按下。G表示锁的状 态，“1”表示打开，“0”表示未打开。 则G（A∧B∧C）∨（A∧B∧┐C）∨ （A∧┐B∧┐C）∨（┐A∧B∧┐C） （A∧B）∨（A∧┐B∧┐C）∨（┐A∧B∧┐C） （A∧（B∨（┐B∧┐C））∨（┐A∧B∧┐C） （A∧（B∨┐C））∨（┐A∧B∧┐C） （A∧B）∨（A∧┐C）∨（┐A∧B∧┐C） （A∧B）∨（（A∨B）∧┐C） （A∧B）∨（A∧┐C）∨（B∧┐C）
7
推论：{┐、∧}、{┐、∨}、{┐、→}是联结词 完备集，并且是最小联结词完备集。 因为p∨q ┐（┐p∧┐q） p∧q ┐（┐p∨┐q） p∨q ┐p → q p∧q ┐（p → ┐q）
{, }是联结词完备集，并且是最小联 推论： 结词完备集。
c
定理：{}、{}是联结词完备集，并且是最小 联结词完备集。
8
10
为了方便电路逻辑设计的需要，现将命题逻辑联结 电路，使得分别装在楼 梯上下两层的两只开关都能控制照明。写出控制电 路的逻辑表达式并设计电路图。 解：两只开关的状态分别表示为s1，s2，“0”表示 开关断开，“1”表示开关接通。用S表示楼梯的照明 状态，“1”表示灯亮，“0”表示灯灭。 S（┐s1∧s2）∨（s1∧┐s2）s1s2 电路图如下：
6
定义：一个联结词集合，若对于任何一个公式均可以用该集 合中的联结词来表示或等值表示，就称为联结词完备集。 如果该集合任意去掉一个联结词，就不再具备这种特性，就 称为最小完备集。
定理：{┐,∧,∨}是联结词完备集。 推论：{┐,∧,∨,→}，{┐,∧,∨,→,}， {┐,∧,∨,→,,}，{┐,∧,∨,→,,,} 等都是联结词完备集。
离散数学配套课件PPT(第5版)第一部分 数理逻辑联结词全功能集
复合联结词
与非式: pq(pq) 或非式: pq(pq)
和与, ∧,∨有下述关系: p(p∧p)pp p∧q( p∧q)(pq)(pq)(pq) p∨q(p∧q)(p)(q)(pp)(qq)
4
复合联结词(续)
ppp p∧q(pp)(qq) p∨q(pq)(pq)
13
例ቤተ መጻሕፍቲ ባይዱ续)
解 编号
极小项
角码 标记
1 x1∧x2∧x3∧x4 2 x1∧x2∧x3∧x4 3 x1∧x2∧x3∧x4
1110 * 1011 * 0111 *
4 x1∧x2∧x3∧x4 1010 * 5 x1∧x2∧x3∧x4 0101 * 6 x1∧x2∧x3∧x4 0011 *
1.5 联结词全功能集
联结词全功能集 与非联结词,或非联结词
1
联结词的全功能集
定义 设S是一个联结词集合，如果任何n(n1) 元 真值函数都可以由仅含S中的联结词构成的公式表 示，则称S是联结词全功能集.
说明：若S是联结词全功能集，则任何命题公式都 可用S中的联结词表示.
设S1, S2是两个联结词集合，且S1 S2. 若S1是全
x y
x∧y x y
x∨y x
x
与门
或门
非门
8
组合电路的例子
(x∨y)∧x的组合电路
x y
x y
第一种画法
x 第二种画法
9
例
例 楼梯的灯由上下2个开关控制, 要求按动任何一个 开关都能打开或关闭灯. 试设计一个这样的线路. 解 x,y:开关的状态, F:灯的状态, 打开为1, 关闭为0. 不妨设当2个开关都为0时灯是打开的.
(5,7) x1∧x3∧x4 001 *
离散数学知识点(可编辑修改word版)
1.内容及范围主要来自 ppt，标签对应书本2.可能有错，仅供参考离散数学知识点说明：定义：红色表示。
定理性质：橙色表示。
公式：蓝色表示。
算法: 绿色表示页码：灰色表示数理逻辑：1.命题公式：命题，联结词(⌝，∧，∨，→，↔)，合式公式，子公式2.公式的真值：赋值，求值函数，真值表，等值式，重言式，矛盾式3.范式：析取范式，极小项，主析取范式，合取范式，极大项，主合取范式4.联结词的完备集：真值函数，异或，条件否定，与非，或非，联结词完备集5.推理理论：重言蕴含式，有效结论，P 规则，T 规则， CP 规则，推理6.谓词与量词:谓词，个体词，论域，全称量词，存在量词7.项与公式:项，原子公式，合式公式，自由变元，约束变元，辖域，换名，代入8.公式语义:解释，赋值，有效的，可满足的，不可满足的9.前束范式:前束范式10.推理理论:逻辑蕴含式，有效结论，∀-规则（US），∀+规则（UG），∃-规则(ES)，∃+规则(EG), 推理集合论：1.集合: 集合, 外延性原理, ∈, ⊆, ⊂, 空集, 全集, 幂集, 文氏图, 交, 并, 差, 补, 对称差2.关系: 序偶, 笛卡尔积, 关系, domR, ranR, 关系图, 空关系, 全域关系, 恒等关系3.关系性质与闭包:自反的, 反自反的, 对称的, 反对称的, 传递的,自反闭包 r(R),对称闭包 s(R), 传递闭包 t(R)4.等价关系: 等价关系, 等价类, 商集, 划分5.偏序关系:偏序, 哈斯图, 全序(线序), 极大元/极小元, 最大元/最小元, 上界/下界6.函数: 函数, 常函数, 恒等函数, 满射,入射,双射，反函数, 复合函数7.集合基数:基数, 等势, 有限集/无限集, 可数集, 不可数集代数结构：1.运算及其性质：运算，封闭的,可交换的,可结合的,可分配的,吸收律, 幂等的，幺元,零元,逆元2.代数系统：代数系统，子代数，积代数，同态，同构。
离散数学知识点
说明：定义：红色表示。
定理性质：橙色表示。
公式：蓝色表示。
算法:绿色表示页码：灰色表示数理逻辑：1.命题公式：命题，联结词(，，，，)，合式公式，子公式2.公式的真值：赋值，求值函数，真值表，等值式，重言式，矛盾式3.范式：析取范式，极小项，主析取范式，合取范式，极大项，主合取范式4.联结词的完备集：真值函数，异或，条件否定，与非，或非，联结词完备集5.推理理论：重言蕴含式，有效结论，P规则，T规则，CP规则，推理6.谓词与量词:谓词，个体词，论域，全称量词，存在量词7.项与公式:项，原子公式，合式公式，自由变元，约束变元，辖域，换名，代入8.公式语义:解释，赋值，有效的，可满足的，不可满足的9.前束范式:前束范式10.推理理论:逻辑蕴含式，有效结论，-规则（US），+规则（UG），-规则(ES)，+规则(EG), 推理集合论：1.集合: 集合, 外延性原理, , , , 空集, 全集, 幂集, 文氏图, 交, 并, 差, 补,对称差2.关系: 序偶, 笛卡尔积, 关系, domR, ranR, 关系图, 空关系, 全域关系, 恒等关系3.关系性质与闭包:自反的, 反自反的, 对称的, 反对称的, 传递的,自反闭包r(R),对称闭包s(R), 传递闭包t(R)4.等价关系: 等价关系, 等价类, 商集, 划分5.偏序关系:偏序, 哈斯图, 全序(线序), 极大元/极小元, 最大元/最小元, 上界/下界6.函数: 函数, 常函数, 恒等函数, 满射,入射,双射，反函数, 复合函数7.集合基数:基数, 等势, 有限集/无限集, 可数集, 不可数集代数结构：1.运算及其性质：运算，封闭的,可交换的,可结合的,可分配的,吸收律, 幂等的，幺元,零元,逆元2.代数系统：代数系统，子代数，积代数，同态，同构。
3.群与子群：半群,子半群,元素的幂，独异点，群，群的阶数，子群,平凡子群，陪集，拉格朗日（Lagrange）定理4.阿贝尔群和循环群：阿贝尔群(交换群)，循环群,生成元5.环与域：环，交换环，含幺环，整环，域6.格与布尔代数：格，对偶原理，子格，分配格，有界格，有补格，布尔代数，有限布尔代数的表示定理图论：1.图的基本概念：无向图、有向图、关联与相邻、简单图、完全图、正则图、子图、补图，握手定理，图的同构2.图的连通性:通路，回路，简单通路，简单回路（迹）初级通路（路径），初级回路（圈），点连通，连通图，点割集，割点，边割集，割边，点连通度，边连通度，弱连通图，单向连通图，强连通图，二部图（二分图） 3. 图的矩阵表示：关联矩阵，邻接矩阵，可达矩阵4. 欧拉图与哈密顿图：欧拉通路、欧拉回路、欧拉图、半欧拉图，哈密顿通路、哈密顿回路、哈密顿图、半哈密顿图5. 无向树与根树：无向树，生成树，最小生成树，Kruskal ，根树，m 叉树，最优二叉树，Huffman 算法6. 平面图:平面图，面，欧拉公式，Kuratoski 定理数理逻辑：命题：具有确定真值的陈述句。
高中数学北师大版选修1-1《简单的逻辑联结词》ppt导学课件
命题的否定 写出下列命题的否定: (1)正方形的四条边都相等; (2)已知a,b∈N,若ab能被5整除,则a,b中至少有一个不能被5整 除; (3)若x2-x-2≠0,则x=-1且x=2.
【解析】(1)正方形的四条边都不相等. (2)已知a,b∈N,若ab不能被5整除,则a,b中至少有一个不能被5整除. (3)若x2-x-2≠0,则x≠-1且x≠2.
线,则命题“p或q”为 方向相同或相反的两个向量共线
.
【解析】方向相同的两个向量共线或方向相反的两个向量共线,
即“方向相同或相反的两个向量共线”.
4 分别写出由下列各组命题构成的“p 且 q”“p 或 q”“���p” 形式的命题: (1)p:π 是无理数,q:e 是有理数; (2)p:三角形的外角等于与它不相邻的两个内角的和,q:三角 形的外角大于与它不相邻的任一个内角.
已知命题p、q,试写出p或q、p且q、��� p形式的命题并判断真 假. (1)p:平行四边形的一组对边平行,q:平行四边形的一组对边相 等; (2)p:2∈{1,3,5,7},q:2∈{2,4,6,8}; (3)p:1∈{1,2}, q:{1}⫋{1,2}.
【解析】(1)p或q:平行四边形的一组对边平行或相等(真命题). p且q:平行四边形的一组对边平行且相等(真命题). ������ p:平行四边形的一组对边不平行(假命题). (2)p或q:2∈{1,3,5,7}或2∈{2,4,6,8},即2∈{1,2,3,4,5,6,7,8}(真 命题). p且q:2∈{1,3,5,7}且2∈{2,4,6,8}(假命题). ������ p:2∉{1,3,5,7}(真命题). (3)p或q:1∈{1,2}或{1}⫋{1,2}(真命题). p且q:1∈{1,2}且{1}⫋{1,2}(真命题). ������ p:1∉{1,2}(假命题).
离散数学(高教)概念整理
p 等价 q 当且仅当，同时为真或假。（复合命题“p 当且仅当 q”称作 p 与 q 的等价式）
真值表
命题公式及其赋值 命题常项
原子命题（简单命题）的另一称呼，由于其真值确定
命题变项
真值可以变化的陈述句
合式公式（命题公式）A，B……
命题变项用联结词和圆括号用一定逻辑关系连接起来的符号串，简称公式
简单合取式中的命题变项及它的否定式恰好出现一次，并按照下标拍好，这样的简单合取式 叫做极小项。同理为极大项。 n 个命题变项可以产生 2 的 n 次方个极小项，每个极小项都有且仅有一个成真赋值，这一组 成真赋值（01 组成）转化为对应的十进制数 i，将这个极小项表示为 类似的，极大项为
主析取范式
主合取范式
公式中不含自由出现的个体变项.
解释 I
解释就是对抽象一阶语言的在 I 的具体含义，包括四个部分： ①非空个体域 D1②每一个个体常项在 D1 中的对应③每一个 n 元函数在 D1 上的对应④每一 个谓词符号在 D1 上的对应
永真式（逻辑有效式），永假式，可满足式
同上文。在任何解释下均为真的公式为永真式。这里不存在重言式的说法。
可满足式
命题公式 A 至少存在一个成真赋值
哑元
对公式 A 和 B 进行比较讨论，可知 A 和 B 共含有 n 个命题变项，其中 A 不含有的命题变项 称为 A 的哑元，其取值不影响 A 的值
命题逻辑等值演算 等值式⇔
如果命题 A 和 B 有相同的真值表，则有命题 A↔B 为重言式，这种情况下称 A 与 B 是等值的， 记作 A⇔B
所有简单合取式都是极小项的析取式，这是唯一的主析取范式。同理。
联结词的完备集
n 元真值函数 F
若干命题联结词集合的完备性和不完备性证明
因为当其 中的命 题 变 元 取 值为 真 时 ， 由联 结 词 “ ， ＾” “ ” “ ” Ｖ” “ ，一 和 一 的特 征 可知 ， 命 题 形 式 无 该
这 也 即 是 说 ， 联 结 词 “ ” “ 和 “ 构 成 的 集 合 由 ～ ， ＾” Ｖ”
｛ ， ＾｝ ～ Ｖ， 是一 个联 结词 的 完备集 。而 既然对 于任 意命 题 形 式 和 毋，ｄＶ甥） 辑 等 值 于 （ ～ ） （ 逻 （ ＾
基始 步 骤 ： 一１ 。既 然 真值 表 有 四行 ， 以 ， 所 为 （ 一ｑ 。 （ —ｑ 的真 值 显然 是两 真两假 。 户 ） ｐ ）
取 ） ‘ ”蕴 涵 ） ‘ ” 等值 ） ， 有 些 联 结 词 的 ， （ 和 （ 中 也 集合 并 不是 完 备 的 ， ｛ ， ） ｛ 如 ～ 一 ， Ｖ， ） ｛ ， ） ＾ ，一 一 等 。下 面 ， 们就 来 讨 论 若 干 联 结词 集 合 的 完 备 性 我 和不 完备 性证 明 。
第２ 卷 第１ ２ 期
２１ ０ ０年 ３月
武 汉 工 程 职 业技 术学 院 学 报
Ｊ ｕｒ ｌ ｏ ｎａ ｏｆＷ ｕ ａｎ Ｅ ｉ ｅ ｉ ｇ Ｉ ｓ ｉｕｔ ｈ ｎｇ ｎｅ ｒ ｎ ｎ ｔｔ ｅ
ＶＯ Ｎ Ｏ ｌ ｌ ２２
Ｍ ａｃ ｒ ｈ ２０】 ０
若 干 命 题 联 结 词 集 合 的完 备性 和 不 完 备 性 证 明
我 们 首 先 来 证 明联 结 词 集合 ｛ ＾， ， ） Ｖ， 一 一 不
收 稿 日期 ： ０ ０ ０ — ０ ２ １—１２ 作者简介 ： 宋 伟 （ ９ ３ ） 男 ， 师 ． － ｉ：ｏ ｎ ｗｅ＠ １ ６ ｃ ｒ １７ ～ ， 讲 Ｅ ｍａ ｓ ｏ ｇ ｉ ２ ． ｏ ｌ ｎ
公式联结词的完备集
2.3 命题公式与真值表关系
问题提出： 由命题公式写真值表是容易的，那么如 何由真值表写命题公式呢？
2.3.1 从T来列写
记忆方法：各项间用∨，每项内用∧ 每项内书写方法：例
真值表中P=T且Q=F等价于P∧Q=T 简化方法：有时A的表达通过A来描述
2.3.2 从F来列写
记忆方法：各项间用∧ ，每项内用∨ 每项内书写方法：例
结词fi 或说真值函项fi(P), i = 1, 2, 3, 4
一元联结词
由真值表写出真值函项的命题公式： f0(P) = F (永假式) f1(P) = P (P自身) f2(P) = P(否定词)√ f3(P) = T (永真式)
新的公式只有f2(P), 与之对应的联结词是否定词
二元联结词的个数
真值表中P=T且Q=F等价于P∨Q=F 简化方法：有时A的表达通过A来描述
举例
❖ 从A的真值T
直接: A = (¬P ∧¬Q) ∨ (¬P ∧Q) ∨ (P ∧Q) 间接: A = ¬¬A = ¬(P ∧¬Q) = ¬P ∨ Q
❖ 从B的真值F
B = (¬P ∨ Q) ∧ (¬P ∨ ¬Q)
补充
❖ 等价否定等值式 PQ = PQ
❖ 归谬论 (PQ)(PQ) = P
2.2.3 置换规则
❖ 置换定义 对公式A的子公式, 用与之等值的公式来代换便称置换
❖ 置换规则
公式A的子公式置换后A化为公式B, 必有A = B 当A是重言式时, 置换后的公式B必也是重言式
❖ 置换与代入是有区别的。置换只要求A的某一子公式作 代换, 不必对所有同一的子公式都作代换
2.2.2 常用的等值公式
❖ 由于人们对、∨、∧更为熟悉，常将含有 和的公式化成仅含有、∨、∧的公式。这 也是证明和理解含有，的公式的一般方 法
联接词完备集合
联接词完备集
n元真值函数： 联接词完备集：设S是一个联接词集合，如果任何n元真值 函数都可以由仅含S中联接词构成的公式表示。 例1.证明 ,, , , , 都是联接词完备集合
与非联结词：设 p，q为两个命题，复合命题 “ p与q “的否定式 称作p, q的与非式，记作 p q.
真值表： 或非联结词：设 p，q为两个命题，复合命题 “ p或q “的否定式 称作p, q的与非式，记作 p q.
真值表：
为联接词完备集合。q ) r ) p, 并且仅用 表示。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
2n
真值函数与联结词
每个（二元）联结词确定了一个（二元） 真值函数。 每个（二元）真值函数也确定了一个 （二元）联结词。 二元联结词总共可以有24＝16个
19
真值函数确定联结词
20
所有可能的联结词
二元联结词总共可以有24＝16个
p q 0 0 1 1 0 1 0 1
永 p 假 ∧
?
0 0 1 0
12
通过真值表构造公式
A=p∧¬q ∧ r
1 0 1
B= ⇔ （┐p ∨ ┐q ∨ r） ∧ （┐p ∨ ┐q ∨ ┐ r）
1 1 0 1 1 1
13
举例(等值式S23)
A, B, C, D 4人做百米竞赛,观众甲、乙、 丙预测比赛名次为： 甲：C第一，B第二； 乙：C第二，D第三； 丙：A第二，D第四； 结果甲，乙，丙各对一半，试问实际名 次(无并列)
10
通过真值表构造合取范式
α=(p∧q) → (¬(q∨r)) ⇔ （┐p ∨ ┐q ∨ r） ∧ （┐p ∨ ┐q ∨ ┐ r）
1 1 0 1 1 1
11
真值表确定公式
p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 A 0 0 0 0 0 1 0 0 B 1 1 1 1 0 1 1 0
p
?
0 1 0 0
q
q
p p ∇ ∨ q q
?
1 0 0 0
p ¬ ↔ q q
q ¬ p → p → p q
?
1 1 1 0
永 真
0 0 0 0
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 0
0 1 1 1
1 0 0 1
1 0 1 0
1 0 1 1
1 1 0 0
1 1 0 1
1 1 1 1
21
6
范式应用：
1) 判断两公式是否等值； 2) 判断公式类型(永真、永假，可满足) 例：(1)┐(p→q)∧q 永假 (2)((p→q)∧p) →q ∑(0,1,2,3)永真 (3)(p→q)∧q ∑(1,3) 3) 求真值表
7
真值表和范式的相互构造
范式→真值表
极小项对应成真赋值 极大项对应成假赋值源自14甲、乙、丙预测比赛
(C1∧┐B2)∨(┐C1∧B2)不可兼或
设Ai, Bi, Ci, Di 分别表示A，B，C，D第i 名 i=1,2,3,4; 则有 ① (C1∧┐B2)∨(┐C1∧B2) ⇔1 ② (C2∧┐D3)∨(┐C2∧D3) ⇔1 ③ (A2∧┐D4)∨(┐A2∧D4) ⇔1 三式同时成立
思考：{┐，∇},{┐，→}是否是完备集 ？
32
c
联结词完备集举例续3
{↑}是否是完备集 ？
p∧q⇔┐(p↑q) ┐p⇔p↑p
同理： {↓}也是完备集
p∨q⇔┐(p↓q) ┐p⇔p↓p
33
可满足性问题
命题公式的可满足性问题 (简称SAT问题) 是指布尔表达式的可满足性问题。它是 理论计算机科学中的一个核心问题。在 数理逻辑、人工智能、约束满足问题、 VLSI集成电路设计与检测以及计算机科 学理论等领域具有广阔的应用背景。 SAT问题是NP完备问题
15
不可兼或
新的联结词 p∇q ⇔(p∧┐q)∨(┐p∧q)
p 0 0 1 1 q 0 1 0 1 p∇q 0 1 1 0
16
不可兼或
是否还可能有其他联结词？
若有，可以有多少种不同的二元联结词？
17
真值函数
定义: {0, 1}上的n元函数 f: { 0, 1}n →{ 0, 1} 就称为一个n元真值函数（布尔函数） 自变量有2n组不同的取值，真值函数取 值只有两种：1 0 共有 2 种不同的真值函数
36
作业：
P40 9(2) 、10(2)、 17-20 (每题任选一小题)， 21、27，28，30
37
可以证明任何一个仅含“↔”和“┐”的二 元命题合式公式真值中有1和0 的个数都是偶 数的。 不是
31
联结词完备集举例续2
{∧ ， ∨ ，→ ，↔}不是完备集
（只需证明┐p无法由仅含此联结词集中的联结词的 公式表示即可 ） 总取0值的真值函数不能由只含此联结词集中的联 结词的命题形式来表示。因为这样的命题形式在其 中的命题变元都取1时也取值1, 而不为0. {∧}，{∨}，{¬}，{→}，{↔}都不是完备集
其他联结词
不可兼或∇,蕴涵否定→,与非↑,或非↓
p q 0 0 1 1 0 1 0 1
永 p p p c 假 ∧ →
c
q
q
q q c → p
p p p p ¬ ∇ ∨ ↓ ↔ q q q q q
q ¬ p p 永 → p → ↑ 真 p q q
0 0 0 0
0 0 0 1
0 0 1 0
0 0 1 1
3
同一真值函数
(p∧q)→r和 p→(q→r)对应同一个真值函 数 ¬p∨¬q∨r
4
标准型(范式)
——同一真值函数所对应的所有命题公 式具有相同的标准型
析取范式 合取范式 主析取范式(极小项) 主合取范式(极大项)
5
范式示例
┐(((p∨q) →r) →p) ⇔ ┐p∧(┐ q ∨ r) ⇔ (┐p∧┐ q) ∨(┐p∧ r) ⇔(┐p∧┐q∧r)∨(┐p∧┐q ∧┐r) ∨(┐p∧┐q∧r) ∨(┐p∧q∧r) ⇔m0∨m1∨m3 ⇔∑(0,1,3)
34
合取范式的可满足问题
不含任何文字的简单析取式为空简单析 取式，记作λ。 空简单析取式是不可满足的 设l是一个文字，lc= p, 若l= ¬ p 称为文字l的补。
35
¬p, 若l=p
消解规则
定义：设C1 , C2是两个简单析取式，C1含 文字l, C2含文字lc, 从C1中删除文字l,从C2 中删除文字lc后将得到的两个结果析取成 一个简单析取式，称为C1 和C2的消解式 或消解结果,记为Res(C1 , C2). 消解算法（P36-37）
0 1 0 0
0 1 0 1
0 1 1 0
0 1 1 1
1 0 0 0
1 0 0 1
1 0 1 0
1 0 1 1
1 1 0 0
1 1 0 1
1 1 1 0
1 1 1 1
22
其他联结词
不可兼或∇: p∇q ⇔ ┐(p↔q ) c c 蕴涵否定→: p→q ⇔ ┐(p→q ) 与非↑: p↑q ⇔ ┐(p∧q ) 或非↓: p↓q ⇔ ┐(p∨q )
29
联结词完备集举例
{∧，∨，¬，→，↔}是完备集 {∧，∨，¬ }是完备集
p↔q⇔ (p→q)∧(q→p) p→q⇔┐p∨q
{┐，∨}和{┐，∧} 是否是完备集?
p∨q⇔┐(┐p∧┐q) p∧q⇔┐(┐p∨┐q)
30
联结词完备集举例续1
{¬，→}是否是完备集 ？
p∨q ⇔┐ p→q
{┐，↔}是否是完备集？
23
不可兼或联结词
p 0 0 1 1 q 0 1 0 1 p∇q 0 1 1 0
24
蕴涵否定联结词
p 0 0 1 1 q 0 1 0 1
c p→q
0 0 1 0
25
与非联结词
p 0 0 1 1 q 0 1 0 1 p↑q 1 1 1 0
26
或非联结词
p 0 0 1 1 q 0 1 0 1 p↓q 1 0 0 0
上节内容回顾
1
等值演算
(p∧q)→r⇔ p→(q→r) 解： (p∧q)→r ⇔ ¬(p∧q)∨r （蕴涵等值式） ⇔ (¬p∨¬q)∨r （德●摩根律） ⇔ ¬p∨¬q∨r （结合律） p→(q→r) ⇔ ¬p ∨ (¬ q∨r) （蕴涵等值式） ⇔ ¬p∨¬q∨r （结合律）
2
真值表
p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 (p∧q)→r 1 1 1 1 1 1 0 1 p → (q → r) 1 1 1 1 1 1 0 1
真值表→范式
8
α=(p∧q) → (¬(q∨r))的真值表
9
通过真值表构造析取范式
α=(p∧q) → (¬(q∨r))
⇔ （┐p ∧ ┐q ∧ 0 0 （┐p ∧ q ∧ ┐r） 0 1 0 （p ∧ ┐q ∧ ┐r） 1 0 0 ┐r） ∨ （┐p ∧ ┐q ∧ r） ∨ 0 0 0 1 ∨ （┐p ∧ q ∧ r） ∨ 0 1 1 ∨ （p ∧ ┐q ∧ r） 1 0 1
27
问题
常用五个联结词┐， ∧， ∨， → ，↔ 是否有冗余呢？
A→B⇔¬A∨B A↔B⇔( A→B) ∧ (B → A)
28
联结词完备集
（Functionally Complete）
设S是联结词的一个集合，称C为联结词的一 个完备集，如果任一个命题公式都能够逻辑等值 于仅包含S中联结词的公式。 最（极）小完备联结词集： ——若一个完备集的任何真子集都不是完备 集(最小联结词组)。