2真值表等值式.pptVIP

* * * * 第二讲 真值表、等值演算 主要内容 一、真值表及其作用 二、重言式与矛盾式的定义和相关结论 三、等值式的概念及其常用等值式 四、公式等值演算与置换规则 五、 ? ，?与 ? ， ?间的区别 * 定义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 归谬论 A ?B ∧ A?? B ? ?A 12 蕴含等值式 A?B??A∨B 特别提示：牢记这16组等值式是继续学习的基础 * 四、公式等值演算与置换规则 1. 等值演算——由已知的等值式推演出新的等值式的过程 2. 等值演算的基础： 1 等值关系的性质：自反性、对称性、传递性 2 基本的等值式 3 置换规则 3. 置换规则 设 ? A 是含公式 A 的命题公式，? B 是用公式 B 置换? A 中所有的 A