2016计算机导论3--0928三(计).ppt

Page * 第二章 计算机基础知识 命题公式 命题公式：由命题变元、连接词和括号组成的合式的式子 命题公式等价：如果两个命题公式P和Q，无论其命题变元取什么值它们的真值都相同，则称该两个命题公式等价，记为P＝Q 证明： ┑（A→B）与A∧┑B是等价的 A B ┑（A→B） A∧┑B F F F F F T F F T F T T T T F F Page * 第二章 计算机基础知识 证明：狄－摩根定律之一：┓（A∧B）＝┓A∨┓B。 A B A∧B ┓（A∧B） ┓A ┓B ┓A∨┓B F F F T T T T F T F T T F T T F F T F T T T T T F F F F Page * 第二章 计算机基础知识 命题公式的等价律 零 律：A∨F＝A A∧F＝F 幺 律：A∨T＝T A∧T＝A 幂等律：A∨A＝A A∧A＝A 求补律：A∨┓A＝T A∧┓A＝F 交换律：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） 吸收律：A∧B∨A∧┓B＝A （A∨B