数电第4版 课件 5逻辑函数的化简.ppt

1.5逻辑函数的化简1.5.2公式化简法1.5.3卡诺图化简法1.5.1化简的意义1.5.4具有无关项的逻辑函数的化简

1.5.1化简的意义最简与或式：乘积项最少，乘积项中的变量最少。cost=8+19=27cost=5+8=13成本（cost):门电路的总数加上所有门电路输入引脚总数。

1.5.2公式化简法?并项：利用将两项并为一项，且消去一个变量B。?消项：利用A+AB=A消去多余的项AB?配项：利用和互补律、重叠律先增添项，再消去多余项BC?消元：利用消去多余变量利用基本公式消除多余的变量和多余的项，使表达式达到最简。

例1：试化简函数解：利用公式利用公式利用公式利用公式1.5.2公式化简法

例2：化简函数解：（利用公式）（利用公式）（利用公式）（利用公式）（利用公式）1.5.2公式化简法

2变量卡诺图AB00011011m0m1m2m3AABBABBAABABAB1010m0m1m2m3mi1.5.3卡诺图化简法按照一定规律编号的一长方形或正方形的方格图，每一方格代表一个最小项。1.卡诺图定义

3变量卡诺图ABC01000111100001111000011110m0m1m2m3m4m5m6m7m0m1m2m3m4m5m6m7m12m13m14m15m8m9m10m11ABCD4变量卡诺图1.5.3卡诺图化简法

逻辑相邻:两个最小项如果只有一个因子不同,则称这两个最小项逻辑相邻；几何相邻：直接相邻、上下相邻、左右相邻、四角相邻。直接相邻左右相邻上下相邻四角相邻卡诺图特点:几何相邻的最小项在逻辑上也是相邻的。1.5.3卡诺图化简法

0001111000011110m0m1m2m3m4m5m6m7m12m13m14m15m8m9m10m11ABCD四变量K图两个相邻格圈在一起，结果消去一个变量ABDADA1四个相邻格圈在一起，结果消去两个变量八个相邻格圈在一起，结果消去三个变量十六个相邻格圈在一起，结果?mi=1化简的依据：逻辑相邻的最小项。因此可以利用公式和,消去一个变量，达到化简的目的。1.5.3卡诺图化简法

（1）画逻辑函数的卡诺图；（2）画包围圈，其原则为：包围圈内必须相邻的2n个的1方格，必须是矩形或正方形；包围圈越大越好，包围圈个数越少越好；同一个1方格可以多次参加画圈，但每个圈中都要有新的1方格；先画大圈，后画小圈，单独的1方格也不要漏掉；（3）每个圈写出一个乘积项。按取同去异原则；（4）最后将全部积项逻辑加即得最简与或表达式。2.用卡诺图化简逻辑函数的方法1.5.3卡诺图化简法

例1：用卡诺图化简逻辑函数F(A,B,C,D)=∑m（0,4,6,7,9,10,11,12,13,14,15）。解：ACADBCBD第3步：写最简“与-或”式第1步：画卡诺图第2步：画包围圈1.5.3卡诺图化简法

将上述函数化为最简或与式。1.5.3卡诺图化简法

解：例2：利用卡诺图化简逻辑函数F（A,B,C,D）=∑m(1,5,6,7,11,12,13,15CD多余包围圈0100011110001110CDABF1.5.3卡诺图化简法

解：0100011110001110CDA00001111111m0,m5,m13两次填1例3:用卡诺图法化简逻辑函数1.5.3卡诺图化简法

1.5.4具有无关项的逻辑函数化简例1：检测元件A、B、C高于水面时输出高电平，低于水面时输出低电平。水位高于C点时，ML和MS停止工作；水位在B、C之间，MS单独工作；水位在A、B之间，ML单独工作；水位低于A点时ML和MS同时工作。试设计水泵控制电路。ABCMSMLABCMSML001000010011100101110111？？00？？？？？？100111

输入变量的某些取值在正常情况下不可能出现，这些取值称为无关条件，对应的最小项称为无关项（don’tcare）。具有无关项的逻辑函数称为不完全确定逻辑函数（incompletelyspecifiedfunction)。ABCM