ch02逻辑代数与硬件描述语言基本—lvaq.pptVIP

2 逻辑代数与硬件描述语言基础 2.1 逻辑代数2.1.1 逻辑代数的基本定律和恒等式 2.2.3 用卡诺图化简逻辑函数 3．卡诺图的结构 （3）三变量卡诺图 （4）四变量卡诺图 卡诺图具有很强的相邻性： （1）直观相邻性，只要小方格在几何位置上相邻（不管上下左右），它代表的最小项在逻辑上一定是相邻的。 （2）对边相邻性，即与中心轴对称的左右两边和上下两边的小方格也具有相邻性。 4. 用卡诺图表示逻辑函数 1) 从真值表到卡诺图 例1 已知某逻辑函数的真值表，用卡诺图表示该逻辑函数。 2) 从逻辑表达式到卡诺图 （2）如不是最小项表达式，应将其先化成最小项表达式，再填入卡诺图。（也可由“与——或”表达式直接填入） 2.2.4 用卡诺图化简逻辑函数 1．化简的依据 : （1）2个相邻的最小项可以合并，消去1个取值不同的变量。 2．用卡诺图合并最小项的原则（画圈的原则） （1）尽量画大圈，但每个圈内只能含有2n（n=0,1,2,3……）个相邻项。要特别注意对边相邻性和四角相邻性。 （2）圈的个数尽量少。 （3）卡诺图中所有取值为“1”的方格均要被圈过，即不能漏下取值为“1”的最小项。 （4）在新画的包围圈中至少要含有“1”个末被圈过的“1”方格，否则该包围圈是多余的。 （5）若含无关项，无关项的取值可“0”可“1”，视具体情况灵活处理。 例4 化简逻辑函数：L（A,B,C,D）=∑m（0,2,3,4,6,7,10,11,13,14,15） 例6 已知某逻辑函数的真值表，用卡诺图化简该函数。 （2）画包围圈合并最小项。 有两种画圈的方法： 4．卡诺图化简逻辑函数的另一种方法——圈‘0’法 例7 已知逻辑函数的卡诺图如图示，分别用“圈1法”和“圈0法”写出其最简与—或式。 六、具有无关项的逻辑函数的化简 1．无关项——在有些逻辑函数中，输入变量的某些取值组合不会出现，或者一旦出现，逻辑值可以是任意的。这样的取值组合所对应的最小项称为无关项、任意项或约束项。 2．具有无关项的逻辑函数的化简 化简具有无关项的逻辑函数时，要充分利用无关项可以当0也可以当1的特点，尽量扩大卡诺圈，使逻辑函数更简。 例10：某四变量逻辑函数的逻辑表达式为： L（A,B,C,D）=∑m（1,4,5,6,7,9）+∑d（10,11,12,13,14,15） 用卡诺图法化简该逻辑函数。 解:（1）画出4变量卡诺图。将1、4、5、6、7、9号小方格填入1； 将10、11、12、13、14、15号小方格填入×。 ?3．用卡诺图化简逻辑函数的一般步骤： （1）根据逻辑表达式画卡洛图，凡式中包含的最小项，其对应方格填1，其余方格填0； （2）合并最小项(画圈)； （3）写最简与或表达式；每一个圈写一个最简与项，取值为‘1’的变量用原变量表示，取值为‘0’的变量用反变量表示，将这些变量相与。然后将所有与项进行逻辑加，即得最简与—或表达式。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. （1）由表达式画出卡诺图。 （2）画圈，合并最小项 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 L 00 01 11 10 00 01 11 10 AB CD B （3）写最简与—或表达式: 解： Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 解：（1）由表达式画出卡诺图。 注意：图中的绿色圈是多余的，应去掉 。 例5 用卡诺图化简逻辑函数： （2）画包围圈合并最小项， 得简化的与—或表达式: 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 L 00 01 11 10 00 01 11 10 AB CD Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 解：（1）由表达式画出卡诺图。 注意：图中的绿色圈是多余的，应去掉 。 例5 用卡诺图化简逻辑函数： （2）画包围圈合并最小项， 得简化的与—或表达式: 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 L 0