数电第二章PPT.pptVIP

第二章 逻辑代数基础  一、概述 二、三种基本逻辑关系及复合逻辑 三、逻辑函数及其表示方法 四、逻辑代数的基本定律和规则 五、逻辑函数的代数化简法 六、逻辑函数的卡诺图化简法 三、逻辑函数及其表示方法 最大项和最小项的概念 最小项 定义：在n变量逻辑函数中，若m为包含n个因子的乘积项，且这n个变量均以原变量或反变量的形式在m中出现一次，则称m为该组变量的最小项。 n变量的最小项有2n个，记为mi(i=0,1,···,n-1) 最小项的性质：（重要） ①在输入变量的任何取值下必有一个最小项，且仅有一个最小项的值为1。 ②全体最小项之和为1。 ③任意两个最小项乘积为0。 ④具有相邻性的两最小项之和可合并成一项并消去一对因子。 最大项 定义：在n变量逻辑函数中，若M为n个变量之和，且这n个变量均以原变量或反变量的形式在M中出现一次，则称M为该组变量的最大项。 n变量的最大项有2n个，记为Mi(i=0,1,···,n-1) 性质：①在输入变量的任何取值下必有一个最大项，而且只有一个最大项的值为0。 ②全体最大项之积为0。 ③任意两个最大项之和为1。 ④只有一个变量不同的两个最大项的乘积等于各相同变量之和。 最小项之和形式 例1.6： 例1.7： “最小项”和“任一逻辑函数都可以化为最小项之和的形式”是两个非常重要的概念，在逻辑函数的化简和变换中经常用到。 最大项之积形式（很少用） 最大项之积与最小项之和的关系： 若 ，因为 ，所以 则 在设计逻辑电路的过程中，往往首先得到的是逻辑函数的与或形式（也称为积之和形式）。若果瑞定全部使用与非门组成这个逻辑电路，这时就必须把与或形式的逻辑函数式变换成全部由与非运算组合成的形式（也称为与非-与非形式）。又如，在使用ROM实现一个组合逻辑函数时，则要求逻辑函数式化为最小项之和的形式，等等。 2. 代数化简法 3.用卡诺图化简逻辑函数 1、约束项、任意项、无关项 约束项 某种制约关系的最小项，恒等于0。 将约束项写入逻辑式中不影响函数值。 任意项 某些最小项等于1时，函数值是0是1无所谓。 约束项和任意项统称为无关项。 表示方式： 表达式中： 表示无关项之和，卡诺图中：用x表示。 例如：在十字路口有红绿黄 三色交通信号灯，规定红灯 亮停，绿灯亮行，黄灯亮等 一等，试分析车行与三色信 号灯之间逻辑关系。 解：设红、绿、黄灯分别用 A、B、C表示，且灯亮为 1，灯灭为0。车用Y表示， 车行Y=1，车停Y=0。列出 该函数的真值。 卡诺图中，根据约束项的值可为1，可为0，尽量将圈画的少，画得大。使逻辑函数更简。画入圈中的约束项作为1，没画入的作0处理。 例1.15 Y(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号小方格填入×。 (2)合并最小项，如图(a)所示。注意，1方格不能漏。×方格根据需要，可以圈入，也可以放弃。 (3)写出逻辑函数的最简与—或表达式: 例 将下列具有约束项的逻辑函数化简为最简与或式： 化简规律 　　2 个相邻最小项有 1 个变量相异，相加可以消去这 1 个变量，化简结果为相同变量的与； 　　4 个相邻最小项有 2 个变量相异，相加可以消去这 2 个变量，化简结果为相同变量的与； 　　8 个相邻最小项有 3 个变量相异，相加可以消去这 3 个变量，化简结果为相同变量的与； …… 　　2n 个相邻最小项有 n 个变量相异，相加可以消去这 n 个变量，化简结果为相同变量的与。 消 异 存 同 AB CD 00 01 11 10 00 01 11 10 1 1 例如 2 个相邻项合并消去  1 个变量，化简结果为相同变量相与。 ABCD+ABCD=ABD AB CD 00 01 11 10 00 01 11 10 例如 1 1 1 1 AB CD 00 01 11 10 00 01 11 10 1 1 例如 2 个相邻项合并消去  1 个变量，化简结果为相同变量相与。 ABCD+ABCD=ABD ABCD+ABCD +ABCD+ABCD =ACD +ACD =AD 4 个相邻项合并消去 2 个变量， 化简结果为相同变量相与。 8 个相邻项合并消去 3 个变量