第一章(6-8节)--数字逻辑基础.pptVIP

重要概念：几何相邻 在卡诺图中，任意两个方格（最小项） 相接（紧挨着） 相对（任意一行或一列的两头） 则称这两个方格（最小项）为几何相邻。 相接 相对 相对 逻辑相邻、几何相邻的关系 在卡诺图中的几何相邻的两个乘积项，一定是逻辑相邻的！ 卡诺图中的几何相邻，直观，易观察 逻辑相邻有时不是特别容易观察 哪种方法更容易掌握呢？ 用卡诺图化简逻辑函数步骤 （1）将逻辑函数写成最小项表达式并填入卡诺图中，凡式中 包含了的最小项，其对应方格填1，其余方格填0。也可由真 值表直接填卡诺图。 （2）合并最小项，即将几何相邻的1方格圈成一组（画圈）。 （3）将所有包围圈对应的乘积项相加。 从逻辑函数的其它形式得到卡诺图表示形式 1．从真值表到卡诺图 2．从逻辑表达式到卡诺图 （1）如果表达式为最小项表达式，则可直接填入卡诺图。 （2）如果表达式 是“一般与—或表达式”，可直接填入卡诺图 （3）如果表达式 不是“一般与—或表达式”，而是任何其它形式， 先利用逻辑代数的定理将逻辑函数转化成“一般与—或表达式”，再填入卡诺图。 从最简的与或式与其它形式的最简式 用卡诺图合并最小项的原则（画圈的原则） （1）尽量画大圈，要特别注意对边相邻性和四角相邻性。 （2）每个圈内只能含有2n（n=0,1,2,3……）个方格。 （3）圈的总个数尽量少。 （4）卡诺图中所有取值为1的方格 均要被圈过，即不能漏下。 （5）在新画的包围圈中至少要含有1个末被 圈过的方格，否则该包围圈是多余的。 （6）最后一定要检查，可能会有多余的圈。 2个相邻的最小项结合，可以消去1个取值不同的变量而合并为l项。 4个相邻的最小项结合，可以消去2个取值不同的变量而合并为l项。 多余的圈 8个相邻的最小项结合，可以消去3个取值不同的变量而合并为l项。 总之，2n个相邻的最小项结合，可以消去n个取值不同的变量而合并为l项。 例1 用卡诺图化简逻辑函数： L（A,B,C,D）=∑m（0,2,3,4,6,7,10,11,13,14,15）解：（1）由表达式画出卡诺图。 （2）画包围圈，合并最小项，得简化的与—或表达式: 例2 用卡诺图化简逻辑函数： 多余 例3 已知某逻辑函数的真值表，用卡诺图化简该逻辑函数。 解： （1）由真值表画出卡诺图。 （2）画包围圈合并最小项。 有两种画圈的方法： （a）：写出表达式： （b）：写出表达式： 通过这个例子可以看出，一个逻辑函数的真值表是唯一的，卡诺图也是唯一的，但化简结果有时不是唯一的。 （2）用圈0法画包围圈，得： 卡诺图化简逻辑函数的另一种方法——圈0法 例4 已知逻辑函数的卡诺图分别用“圈1法”和“圈0法”写出其最简与—或式。 解：（1）用圈1法画包围圈， 得： 无关项的含义 在有些逻辑函数中，输入变量的某些取值组合不会出现， 或者一旦出现，逻辑值可以是任意的。这样的取值组合所对应的最小项称 为无关项、任意项或约束项。 讨论无关项的唯一目的就是为了化简。 （四）具有无关项的逻辑函数的化简 解：约定：红、绿、黄灯分别用A、B、C表示，且灯亮为1，灯灭为0。车用L表示，车行L=1，车停L=0。 列出该函数的真值表 例1 在十字路口有红绿黄三色交通信号灯，规定红灯亮停，绿灯亮行，黄灯亮等一等，试分析车行与三色信号灯之间逻辑关系。 在这个函数中，有5个最小项为无关项。 如本例函数可写成 L=∑m（2）+∑d（0,3,5,6,7） 无关项的表示方法 （1）带有无关项的逻辑函数的最小项表达式为： L=∑m（ ）+∑d（ ） 例2：用三个输入变量A，B，C分别来表示电梯的上升，下降和停止这三种工作状态。并规定A=1表示电梯处在上升的工作状态，B=1表示电梯处在下降的工作状态，C=1表示电梯处在停止的工作状态。因电梯在任何时候只能处在一个特定的工作状态下，所以，不允许同时有两个或两个以上的输入变量为1。即，ABC的取值只能是100，010，001当中的某一种，而不能出现000，011，101，110，111中的任何一种。输入变量取值所受的约束条件可用约束方程来表示。电梯工作状态的约束方程为 约束方程中所出现的最小项恒等于0，称为约束项。 （2）用约束方程的形式表示无关项 用L表示电梯在运行，则 但约束条件为： 化简具有无关项的逻辑函数时，要充分利用无关项可以当0也可以当1的特点，尽量扩大卡诺圈，使逻辑函数更简。 为什么无关项即可以当0，也可以当1？ 注意:在考虑无关项时，哪些无关项当作1，哪些无关项当作0，要