第三章布尔代数与逻辑函数化简.ppt

第三章 布尔代数与逻辑函数化简 【教学目标】1. 了解逻辑函数、以及化简逻辑函数的意义; 2掌握公式法化简逻辑函数的方法; 3.掌握图形法化简逻辑函数的方法。 【教学重点】逻辑函数的概念、基本公式和基本法则的应用、化简逻辑函数 【教学难点】卡诺图化简逻辑函数 【内容提要】3.1基本公式和三个基本法则 3.2逻辑函数以及公式法化简逻辑函数 3.3卡诺图、卡诺图化简逻辑函数的原理 3.4运用卡诺图化简不同类型的逻辑函数 布尔代数与逻辑函数化简 陕西教育学院计算机科学系 1 计算机科学系 刘敏钰教授 1 时序电路的分析3.1 基本公式和规则 一、基本公式 基本公式反映了逻辑运算的一些基本规律,只有掌握了这些基本公式, 才能正确的分析和设计出逻辑电路。表3-1列出了常用的基本公式。 表3-1 基本公式 布尔代数与逻辑函数化简 陕西教育学院计算机科学系 2 计算机科学系 刘敏钰教授 2 时序电路的分析表 3-2证明分配律的真值表 ABC B.C A+BC A+B A+C A+BA+C 000 0 0 0 0 0 001 0 0 0 1 0 010 0 0 1 0 0 011 1 1 1 1 1 100 0 1 1 1 1 101 0 1 1 1 1 110 0 1 1 1 1 111 1 1 1 1 1 布尔代数与逻辑函数化简 陕西教育学院计算机科学系 3 计算机科学系 刘敏钰教授 3 时序电路的分析由表中可知 A+BCA+BA+C 在吸收律1的证明中, 只证第二式:_ _ ABABABB _A因为BB1 (证毕) 在吸收律2的证明中, 也只证第二式: A+ABA1+B (证毕)A因为1+B1 吸收律3也只证第二式: _AABAA AB _ 布尔代数与逻辑函数化简 陕西教育学院计算机科学系(证毕) 4 计算机科学系AB因为 A 刘敏钰教授A1 4 时序电路的分析表3-3 求反律的真值表 多余项定律证明如下: _ _ _ ABACBCABACBCAA _ _ABACABCABC _AB1CAC1B _ABAC 布尔代数与逻辑函数化简 陕西教育学院计算机科学系 5 计算机科学系 刘敏钰教授 5 时序电路的分析多余项定律可推广为 _ _ ABACBCEFGABAC _ _ ABACBCEFGABACBCBCEFG加多余项BC _ABACBC1EFG _ABAC 布尔代数与逻辑函数化简 陕西教育学院计算机科学系 6 计算机科学系 刘敏钰教授 6 时序电路的分析二、基本法则 1.代入法则逻辑等式中的任何变量A, 都可用另一函数Z代替,等式仍然成立。代入法则可以扩大基本公式的应用范围。布尔代数与逻辑函数化简 陕西教育学院计算机科学系 7 计算机科学系 刘敏钰教授 7 时序电路的分析__________ __ _ _ _ 例 1证明 ABCABC _________ _ _ 解 ABAB 这是两变量的求反公式, 若将等 式两边的B用B+C代入便得到 __________ __ _ _______ _ _ _ ABCABCABC 这样就得到三变量的摩根定律。 同理可将摩根定律推广到n变量 __________ __________ _ _ _ AA? AAA? A 2 n 1 2 n 1 __________ __________ _ _ _ A A AAAA 2 n 1 2 n 1 布尔代数与逻辑函数化简 陕西教育学院计算机科学系 8 计算机科学系 刘敏钰教授 8 时序电路的分析2. 对偶法则对于任何一个逻辑表达式F, 如果将其中的“+”换成 “?”, “?”换成“+”, “1”换成“0”, “0”换成“1”,并保持原 先的逻辑优先级, 变量不变, 两变量以上的非号不动, 则可得原函数F的对偶式G, 且F和G互为对偶式。 根据 对偶法则知原式F成立,则其对偶式也一定成立。 这样, 我们只需记忆表3-1基本公式的一半即可,另一半按对偶 法则可求出。注意,在求对偶式时,为保持原式的逻辑 优先关系, 应正确使用括号, 否则就要发生错误。 如 布尔代数与逻辑函数化简 陕西教育学院计算机科学系 9 计算机科学系 刘敏钰教授 9 时序电路的分析_ ABAC 其对偶式为 _ AB ?AC 如不加括号,就变成 _ AB AC 显然是错误的。布尔代数与逻辑函数化简 陕西教育学院计算机科学系 10 计算机科学系 刘敏钰教授 10 时序电路的分析 3. 反演法则由原函数求反函数,称为反演或求反。摩根定律是进 行反演的重要工具。 多次应用摩根定律,可以求出一个函 数的反函数。 _ _ _ 求 的反函数 FABCDE例 2 F _ _ _ 解 用摩根定律求 FABCDE _