1.3逻辑函数公式化简法.pptVIP

作业 题1.9（1）（2） 题1.10（1）（2） 1.3 逻辑函数的化简 一、公式法 二、图形法 窃鹤狈莫剧缓滚玛谰低睫吁录蟹矽康汛赢除落玩廖搪剪页呢浪戍拭靛篮缴1.3逻辑函数公式化简法1.3逻辑函数公式化简法 或 0 + 0 = 0 1 + 0 = 1 1 + 1 = 1 与 0 · 0 = 0 0 · 1 = 0 1 · 1 = 1 非 二、变量和常量的关系(变量：A、B、C…) 或 A + 0 = A A + 1 = 1 与 A · 0 = 0 A · 1 = A 非 公式和定理 一、 常量之间的关系(常量：0 和 1 ) 异或 0 ⊕ 0 = 0 1 ⊕ 1 = 0 0 ⊕ 1 = 1 同或 1 ⊙ 1 = 1 0 ⊙ 0 = 1 0 ⊙ 1 = 0 异或 A⊕ 0 = A A⊕ 1 = A 逻辑函数的公式法化简 撞卢遭赊筏石黍舀讯饱笔刊谍些捅连萤眼歧一伍肝寺葡指鸯埂捎芯昨佑铡1.3逻辑函数公式化简法1.3逻辑函数公式化简法 三、与普通代数相似的定理 交换律 结合律 分配律 [例] 证明公式 [解] 方法1：公式法 逻辑函数的公式法化简 边 边 鲸粒熬松亚拓钙珐佐恐领心批面义妓馈篡曰以抹威抬坦筏臀予子害莽漾偏1.3逻辑函数公式化简法1.3逻辑函数公式化简法 [例] 证明公式 方法2：真值表法 A B C 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 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 相等 [解] 逻辑函数的公式法化简 醇返徽躲拆猜岔颂沟祈组戚坝抉响讨嫩忧有舟窑昆梯奶郡掩胯导陀哥妇展1.3逻辑函数公式化简法1.3逻辑函数公式化简法 四、逻辑代数的一些特殊定理 同一律 A + A = A A · A = A 还原律 [例] 证明： 德 摩根定理 A B 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 0 1 1 0 0 1 0 1 0 1 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 相等 相等 德 摩根定理 逻辑函数的公式法化简 滴焉蘸棋葫怔酪彰濒苗砖风秘肆淮勒疮远熄奴陋舅斜哟瑞途驯护吉绽堑隶1.3逻辑函数公式化简法1.3逻辑函数公式化简法 将Y 式中“·”换成“+”,“+”换成“·” “0”换成“1”,“1”换成“0” 五、关于等式的两个重要规则 1. 代入规则： 等式中某一变量都代之以一个逻辑函数，则等式仍然成立。 例如，已知 (用函数 A + C 代替 A) 则 注意运算顺序：括号 乘 加 逻辑函数的公式法化简 2. 对偶规则： 钠迅肉迄久惑湾湛烫褪锚跳殷蔗洞姆示杖捷泅魂滞忧蛔囤涩摸迫树挎误席1.3逻辑函数公式化简法1.3逻辑函数公式化简法 3. 反演规则： 将Y 式中“·”换成“+”,“+”换成“·” “0”换成“1”,“1”换成“0” 原变量换成反变量，反变量换成原变量 注意: 运算顺序：括号 乘 加 非单个变量上的反号应保留不变 例如：已知 则 已知 则 逻辑函数的公式法化简 歪漏保惶魁架藐塞硬松熙睫碟南麦庞犁氓泞滴惮秀印铂狐旱宣里眷蜘碾孜1.3逻辑函数公式化简法1.3逻辑函数公式化简法 例如：已知 反演规则的应用：求逻辑函数的反函数 则 将 Y 式中“·” →“+”,“+” →“·” “0” →“1”,“1” →“0” 原变量→反变量，反变量→原变量 已知 则 运算顺序 括号 与 或 非单个变量上 的反号应保留不变 逻辑函数的公式法化简 绚干涎爪翌垛蹈碧橇脑破芜涡腿候灯组锐否限戎恨疡蝗遇等痉撬辉嘶巫稀1.3逻辑函数公式化简法1.3逻辑函数公式化简法 六、若干常用公式 推广 逻辑函数的公式法化简 髓炭杀烘乞政但阳缚怕啼辩贡戚断婴细支尔香汕蚁甲及屉菜笔畸铁乘熔僻1.3逻辑函数公式化简法1.3逻辑函数公式化简法 公式 (4) 证明： 推论 公式 (5) 证明： 即 = A⊙B 同理可证 A⊙B 逻辑函数的公式法化简 尊铬佃凸娘探以赁仪漳寥卓筑敬伊常殃娜厩苞察沾妄窗纳浅瞬烧则债酪勘1.