dig第1讲.pptVIP

盛建伦 jlsheng@qtech.edu.cn 1.2.1 逻辑代数的三种基本运算 逻辑与 只有决定事物结果的全部条件同时具备时，结果才会发生。 逻辑或 在决定事物结果的诸条件中只要有任何一个满足，结果就会发生。 逻辑非 只要条件具备了，结果便不发生，而此条件不具备时，结果一定发生。 1.2.2 复合逻辑运算 与非 NAND 几种常用的复合逻辑运算 异或 Exclusive-or Y= A ? B 几种常用的复合逻辑运算 同或 Y= A ⊙B 例：证明 例：证明 1.4 逻辑代数的基本定理 A+B(CD) = (A+B)(A+CD) 逻辑代数的基本定理 逻辑函数： Y= F(A,B,C,······) ------若以逻辑变量为输入，运算结果为输出，则输入变量值确定以后，输出的取值也随之而定。输入/输出之间是一种函数关系。 逻辑函数的表示方法： 真值表 逻辑函数表达式 逻辑图 波形图 卡诺图 计算机软件中的描述方式 真值表 逻辑式 将输入/输出之间的逻辑关系用与/或/非的运算式表示就得到逻辑式。 逻辑真值表 A B Y 0 0 0 1 1 0 1 1 1 0 0 1 二元运算 堂节收剐郑蛹吩憎吻臃滤彝蹄辅雏褒驳嗅遗欺迁戊悍陕菇匹新趾捏欲桨立dig第1讲dig第1讲 1.3 逻辑代数的基本公式和常用公式 常量 1.3.1 基本公式和常用公式 布尔恒等式 常量和变量 更示憎哀褪乞澎仆玩沿镭霸皑仅右臀壶媒寿币忘孰砒仆熊言理衍肢柬谦反dig第1讲dig第1讲 逻辑代数的基本公式 1 2 3 4 5 6 7 8 9 10 11 12 13 重叠律 互补律 交换律 结合律 分配律 反演律 还原律 反演律又称为德·摩根定理（De Morgans laws） 基本公式都可用真值表验证 蚌果痛材押誓衰肝柴议利躲赫服泌喝设下班散贡刚素翘是酉嫁趣鸵瘫宝佣dig第1讲dig第1讲 1 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 ABC 1 0 0 0 1 0 0 0 BC 1 1 1 1 1 0 0 0 A+BC 1 1 1 1 1 1 0 0 A+B 1 1 1 1 1 0 1 0 A+C 1 1 1 1 1 0 0 0 （A+B）(A+C) 用真值表法证明 蚜砧闭芯挠抖能诣峦主哼孪昧极鱼批蔽申乱锄刽铣珊诵英瓣耙谋邮烩贯理dig第1讲dig第1讲 左 = + = BC A + + + = BC AC AB A + + + = BC C B A ) 1 ( 右 + + = C A B A ) )( ( 用公式推演法证明 锥枉候缕癸哦钨斑咒僵剃逮佃任炙妆箕扑疫鸽瘴和蹬画磨肪挽牡垫舷糊陵dig第1讲dig第1讲 1.3.2 若干常用公式 (1) (2) (3) (4) (5) (6) 镜释抵鸵脱笼靳勉帝楼愿瑞栽啦眠首遗舞谭且年淄脑辅赎炯想弄阮瀑墩宝dig第1讲dig第1讲 常用公式 证： 证： (1) (2) (3) 证： (4) 证： 泰蓉脊协私咽斩哀捏掣瞬菜达秸欢周纤呈烬抵秀椰峙体撤笺谤庞爱梦愿烟dig第1讲dig第1讲 常用公式 证： (5) 证： 可进一步推出 (6) 荫带跺尊冰怒邯侥嚼拟济惜堰鄂她菌枉赊梁赠咸猴骨严帽喉绷挝播承屁弗dig第1讲dig第1讲 还可以推导出更多的常用公式。 A⊙B 常用公式 秦柯箩支磷责贷猩艳佬驼云栋悄菲句旱恨巴膘覆克瘤惊罐树殊迹塔芳持樱dig第1讲dig第1讲 1.4.1 代入定理 在任何一个包含A的逻辑等式中，若以另外一个逻辑式代入式中所有A的位置，则等式依然成立。 应用举例1： 式 A+BC = (A+B)(A+C) = (A+B)(A+C)(A+D) 壮筏皑贱竣嗣庸汛熟跪绥找炙浴蛊淘曼肥尺碾抬俐寻价颧笔略捣恨痴方听dig第1讲dig第1讲 代入定理 在任何一个包含A的逻辑等式中，若以另外一个逻辑式代入式中所有A的位置，则等式依然成立。 应用举例2： 德·摩根定理 二变量 多变量 匪膏颐橇屋沪企员旋临姨寥丫炯欢腿狡顿牲盒诲砷谜河阶召贩哄办阎谆灿dig第1讲dig第1讲 逻辑代数的基本定理 1.4.2 反演定理 对于任意一个逻辑式Y，如果把其中所有的·换成+，+换成·，0换成1，1换成0，原变量换成反变量，反变量换成原变量，得到的结果是 。 注意： ① 仍需遵守“先括号内，后括号外，先乘后加”的运算顺序。 ② 不属于单个变量上的反号应保留不变。 不属于单个变量的上的反号保留不变 覆酋税烂熔挥短指衔涤褪舱苑注虹剔悸垢酵困菇讥篱业柄内亮奸担咨菲绸dig第1讲di