第5讲联结词完 备集.pptVIP

* 联结词完备集举例续1 {?，→}是否是完备集 ？ p∨q ?┐ p→q {┐，?}是否是完备集？ 可以证明任何一个仅含“?”和“┐”的二元命题合式公式真值中有1和0 的个数都是偶数的。 不是 * 联结词完备集举例续2 {∧ ， ∨ ，→ ，?}不是完备集 （只需证明┐p无法由仅含此联结词集中的联结词的公式表示即可 ） 总取0值的真值函数不能由只含此联结词集中的联结词的命题形式来表示。因为这样的命题形式在其中的命题变元都取1时也取值1, 而不为0. {∧}，{∨}，{?}，{→}，{?}都不是完备集 c 思考：{┐，?},{┐，→}是否是完备集 ？ * 联结词完备集举例续3 {?}是否是完备集 ？ p∧q?┐(p↑q) ┐p?p↑p 同理： {?}也是完备集 p∨q?┐(p↓q) ┐p?p↓p * 可满足性问题 命题公式的可满足性问题 (简称SAT问题)是指布尔表达式的可满足性问题。它是理论计算机科学中的一个核心问题。在数理逻辑、人工智能、约束满足问题、VLSI集成电路设计与检测以及计算机科学理论等领域具有广阔的应用背景。 SAT问题是NP完备问题 * 合取范式的可满足问题 不含任何文字的简单析取式为空简单析取式，记作?。 空简单析取式是不可满足的 设l是一个文字，lc= 称为文字l的补。 ?p, 若l=p p, 若l= ? p * 消解规则 定义：设C1 , C2是两个简单析取式，C1含文字l, C2含文字lc, 从C1中删除文字l,从C2中删除文字lc后将得到的两个结果析取成一个简单析取式，称为C1 和C2的消解式或消解结果,记为Res(C1 , C2). 消解算法（P36-37） * 作业： P40 9(2) 、10(2)、 17-20 (每题任选一小题)， 21、27，28，30 * 点出范式 * 设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　　　　　1?①∧②? (C1∧┐B2∧C2∧┐D3)∨(C1∧┐B2∧┐C2∧D3)∨(┐C1∧B2∧C2∧┐D3)∨(┐C1∧B2∧┐C2∧D3)　　分析：在同一个合取子式中若有两个相同字母但脚标不同(表示同一个人有两个名次)或有两个字母有相同脚标(表示两人有同一个名次)，则此式?0　　　得1? (C1∧┐B2∧┐C2∧D3)∨(┐C1∧B2∧┐C2∧D3)......④ 　　　　　1?③∧④? (C1∧┐B2∧┐C2∧D3∧A2∧┐D4)∨(C1∧┐B2∧┐C2∧D3∧┐A2∧D4)∨(┐C1∧B2∧┐C2∧D3∧A2∧┐D4)∨(┐C1∧B2∧┐C2∧D3∧┐A2∧D4)　　　　　1?C1∧A2∧D3∧┐B2∧┐C2∧┐D4　　　　　C第一，A第二，D第三，B第四 * 二元联结词总共可以有24＝16个，包括永真，永假，p，q，┐q， q→p， ┐q → p及所介绍的这9个 上节内容回顾 * * 等值演算 (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 （结合律） * 真值表 p q r (p∧q)→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 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 * 同一真值函数 (p∧q)→r和 p→(q→r)对应同一个真值函数 ?p∨?q∨r * 标准型(范式) ——同一真值函数所对应的所有命题公式具有相同的标准型 析取范式 合取范式 主析取范式(极小项) 主合取范式(极大项) * 范式示例 　┐(((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)　 * 范式应用： 1) 判断两公式是否等值； 2) 判断公式类型(永真、永假，可满足)例：(1)┐(p→q)∧q　　　　永假　　(2)((p→q)∧p) →q