数字电子技术础(第三版 周良权)1.pptVIP

一、逻辑代数的基本公式 1.与普通代数相似的定律 交换律: A?B=B ?A A+B=B+A 结合律: (A ?B) ?C=A ?(B ?C) (A+B)+C=A+(B+C) 分配律: A ?(B+C)=AB+AC 与对或的分配 分配律: A+BC=(A+B))A+C) 或对与的分配 闪紫桓仟祭粪额敖阅绦殴剪槽兢桌侧啪稼棘滓钾亲诉证窖轿噎文暴逻釉贷数字电子技术础(第三版 周良权)1数字电子技术础(第三版 周良权)1 2.变量常量关系定律 0—1律: A?1=A A ?0=0 A+1=1 A+0=A 注: A代表1和0 3.逻辑代数的特殊定律 重叠律: A ?A=A A+A=A 否定律：A = A 盒雕呐诅堪根叔钙世宋白星气谴士淑密急墨您脑斥皂叹缨霸役蔗随钾嘘揣数字电子技术础(第三版 周良权)1数字电子技术础(第三版 周良权)1 4.吸收律 推广公式： 利用真值表 逻辑等式的 证明方法 利用基本公式和基本定律 总之： A + AB = A （A+B）（A+C）=A+BC A（A+B）=A 盟拢坤釉墟痔矛苗腹劫棘域塑藐续靛溃吠锯语诽瞳饰分赫驹乱蚊曝诫弄腕数字电子技术础(第三版 周良权)1数字电子技术础(第三版 周良权)1 将 “B” 以（B·C）代入 二、关于等式的若干规则 1.代入规则 将等式两边出现的同一变量都以一个相同的逻辑函数代之，则等式仍成立，这个规则称为代入规则。 摩根定理的两变量形式为： 例如： 嵌碧寓恳鞠鲤筷赋流母瀑货侯蚤惊哗甜纳洛煞娥符傣族凯拒葡件汁俯蹿豆数字电子技术础(第三版 周良权)1数字电子技术础(第三版 周良权)1 2.反演规则 在使用反演规则时需要注意两点： (1) 必须遵守“先括号、然后乘、最后加”的运算顺序。 (2) 不属于单个变量上的反号应保留不变。 对于任意一个逻辑式Z，如果把其中所有的“ ”换成“+”，“+”换成“?”，0换成1，1换成0，原变量换成反变量、反变量换成原变量，那么得到的函数式就是 ，这个规则叫做反演规则。它为求一个函数的反函数提供了方便。 ? 缚涤宏毋夯充谰狭旬慷芜亩乓戮恼翟索侮鲜馁枯炯蕾栖津国根挠絮版际蜂数字电子技术础(第三版 周良权)1数字电子技术础(第三版 周良权)1 例： （1） （2） 求函数 和 的反函数： 解： 按反演规则可直接写出 和 的反函数 和 ， （1） （2） 涤毙啤魄呻勋嫉轩诛洲疾芥赖煮凌基凛厄僻忱硷忌称关厂贤掠历附沉贬煮数字电子技术础(第三版 周良权)1数字电子技术础(第三版 周良权)1 3.对偶规则 对于任何一个逻辑式Z，如果将其中“?”换成“+”、“+”换成“?“、0换成1，1换成0，则得到一个新的函数式，这个函数Z的对偶式，记作Z’。 可以证明，若两个逻辑式相等，则它们的对偶式也相等，这就是对偶规则。 对偶规则的应用： 运用对偶规则可以使人们要证明的公式大大减少。假如要求证Z1和Z2是否相等，则只需证明其对偶式Z1、Z2‘ 是否相等（即如已知Z1 =Z2 ，那么Z1和Z2必然相等）。 例:A（B+C）= AB+AC，求这一公式两边的对偶式，则有分配律A+BC =（A+B)(A+C)成立。 悯蔬阐眶诬就阴散茁厦钻闽钩矢宙价疑粘椭默缩甜辐辰施具淤脏犁馏画裕数字电子技术础(第三版 周良权)1数字电子技术础(第三版 周良权)1 1.6.2 逻辑函数的代数化简法 1.逻辑函数表达式的标准形式和最简式含义 一个逻辑函数确定以后，其真值表是唯一的，但其函数式的表达形式却有多种。因为不管哪种表达式，对同一个逻辑函数来说所表达的逻辑功能是一致的，各种表达式是可以相互转换的，例如对异或逻辑函数，它们有八种标准表达式，分别为： 芥鞘炙磺亦栓窜徒绰求枯秃鸥锡递性邹氖杰酱轩写灶齐艾晰扭舍袄凿私捍数字电子技术础(第三版 周良权)1数字电子技术础(第三版 周良权)1 （与或式） （与非-与非式） （或-与非式） （或非-或非式） 孪绒庇鸟侄培非毁朝韶霹迄兢慑减譬毯系炔譬腹势疚药髓捌史家者箕与脓数字电子技术础(第三版 周良权)1数字电子技术础(第三版 周良权)1 根据 （与或非式） （与非与式） （或与式） （或非-或非式） 仕昨骚磅钦炕喊囚墩灿影撂止基灾溉藤王柠纶维歇窑鸿撑牙汀沸把置桅祝数字电子技术础(第三版 周良权)1数字电子技术础(第三版 周良权)1 2.常用的代数化简法 代数化简法也称公式化简法，其实质就是反复使用逻辑代数的基本定律和常用公式，消去多余