真值表等值式.ppt

* * * * 第二讲 真值表、等值演算 主要内容 一、真值表及其作用 二、重言式与矛盾式的定义和相关结论 三、等值式的概念及其常用等值式 四、公式等值演算与置换规则 五、 ? ，?与 ? ， ?间的区别 * 定义1 将命题公式A在所有赋值下取值的情况列成表, 称作A的真值表. 一、真值表及其作用 例 写出下列公式的真值表, 并求它们的成真赋值和成假赋值: (1) (p?q) ??r (2) (q?p) ?q?p (3) ? (?p?q) ?q * (1) A = (p?q) ??r 成真赋值:000,001,010,100,110; 成假赋值:011,101,111 p q r p?q ?r (p?q)??r 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 真值表1 * (2) B＝(q?p)?q?p 成真赋值:00,01,10,11; 无成假赋值 p q q?p (q?p)?q (q?p)?q?p 0 0 0 1 1 0 1 1 1 0 1 1 0 0 0 1 1 1 1 1 真值表2 * (3) C＝? (?p?q)?q的真值表 成假赋值:00,01,10,11; 无成真赋值 p q ?p ?p?q ? (?p?q) ? (?p?q)?q 0 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 真值表3 * 真值表的作用: 求出公式的全部成真赋值与成假赋值, 区别不同公式间的关联，判断公式的类型。 * 二、重言式与矛盾式 定义1 设A为任一命题公式， (1) 若A在它的任何赋值下均为真, 则称A为重言式或永真式; (2) 若A在它的任何赋值下均为假, 则称A为矛盾式或永假式; (3) 若A不是矛盾式, 则称A是可满足式. 注意：重言式是可满足式，但反之不真. * 二、重言式与矛盾式 定理1 任意两个重言式的合取（或析取）仍然是重言式。 定理2 一个重言式，对同一个命题变元均用任何公式置换，其结果仍然是重言式。 * 三、等值式及其基本等值式 定义1 若等价式A?B是重言式，则称A与B等值（逻辑相等），记作A?B，并称A?B是等值式。 定理２.1 A?B为重言式，当且仅当A、B具有相同的真值表。 * 等值式例题 例1 判断下列各组公式是否等值: (1) p?(q?r) 与 (p?q) ?r 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 (p?q)?r p?(q?r) q?r p q r p?q 0 0 0 0 0 0 1 1 等值 (2) p?(q?r) 与 (p?q) ?r 不等值 * ⑴ 双重否定律 ??A?A ⑵ 幂等律 A∧A?A A∨A?A ⑶ 交换律 A∧B?B∧A A∨B?B∨A ⑷ 结合律 A∨(B∨C)?(A∨B)∨C A∧(B∧C)?(A∧B)∧C ⑸分配律 A∨(B∧C)?(A∨B)∧(A∨C) A∧(B∨C)?(A∧B)∨(A∧C) 基本等值式 (6)德摩根律 ?(A∨B)??A∧?B ?(A∧B)??A∨?B (7) 吸收律 A∨(A∧B)?A A∧(A∨B)?A (8) 零律 A∨1?1 A∧0?0 (9) 同一律 A∧1?A A∨0?A * (10)排中律 A∨?A?1 (11)矛盾律 A∧?A?0 互补律 基本等值式 (13)等价等值式 A?B ?(A?B)∧(B?A) A?B ?(?A∨B)∧(A∨?B) A?B ?(A∧B)∨(?A∧?B ) (14)假言易位 A?B??B??A (15)等价否定等值式 A?B ??A ? ?B (16