11.5 逻辑运算律可研报告.ppt

* * * * * 11.5逻辑运算律 §11 逻辑代数初步 “与”、“或”、“非”是三种基本的逻辑运算， 任何其它的逻辑运算都可以以它们为基础表示， 其它的逻辑运算是它们的复合运算． 逻辑复合运算 逻辑代数式 由常量1,0以及逻辑变量经逻辑运算构成的式子叫做逻辑代数式， 简称逻辑式． 例如： 单独一个逻辑变量或逻辑常量也是逻辑式． 如果对于逻辑变量的任何一组取值，两个逻辑式的值都相等，这样的两个逻辑式叫做等值逻辑式． 等值逻辑式 用真值表验证等式 是否成立？ 解：列出真值表 可以看出，对于逻辑变量的任何一组值， 的值都相等， 所以 例如： 逻辑运算律 运算律的公式表示 运算律 0 –1律 自等律 重叠律 互补律 交换律 结合律 分配律 吸收律 反演律 还原律 左右两边 能相互 转化吗？ 化简： 解： (重叠律) (反演律) (结合律) (反演律) (还原律) (反演律) (反演律) (交换律,结合律) (吸收律) P22 练习 由A＋B＝A＋C， 由A?B = A?C， 未必有B＝C， 未必有B＝C． 逻辑代数中没有减法与除法． 化简逻辑式时，每一步要严格按照逻辑运算律进行化简变形，不能想当然． 比如： 又如： 化简逻辑式，要使得结果符合以下三点： ①结果没有括号； ②项数最少； ③基本逻辑变量出现的次数最少． 利用逻辑运算律证明： 证明： (自等律) (分配律) (互补律) 利用逻辑运算律证明分配律： P23 习题 2 * * * * *