数字电路逻辑.ppt

数字电子技术(II)数字电子技术课题组 主要内容： 逻辑函数 化为逻辑函数的标准形式 用卡诺图表示 用卡诺图化简 1.5.1 逻辑函数的标准形式 　　一个逻辑函数的表达式可以有与或表达式、或与表达式、与非-与非表达式、或非-或非表达式、与或非表达式5种表示形式： 　　一种形式的函数表达式相应于一种逻辑电路。尽管一个逻辑函数表达式的各种表示形式不同，但逻辑功能是相同的。 1、逻辑函数的最小项和最大项 　（1）　 n个变量的逻辑函数中，其每一包含全部变量的与项称为最小项；其每一包含全部变量的或项称为最大项。n变量逻辑函数的全部最小项、最大项均为2n个。 　　3个变量A、B、C可组成8个最小项和8个最大项： 　3个变量A、B、C的8个最小项、最大项可以分别表示为： 　　（2）最小项和最大项的表示方法：通常用符号mi 、Mi 分别表示最小项和最大项。下标i的确定：把最小项中的原变量记为1，反变量记为0（把最大项中的反变量记为1，原变量记为0 ），当变量顺序确定后，可以按顺序排列成一个二进制数，则与这个二进制数相对应的十进制数，就是这个最小项（最大项）的下标i。 最小项与最大项之间为互补关系 2、逻辑函数的标准形式 　　任何一个逻辑函数都可以表示成最小项之和或最大项之积，它们分别称为标准与或表达式和标准或与表达式。 3、逻辑函数标准形式的求法 方法一：配项法 方法二：　　如果列出了函数的真值表，则只要将函数值为1的那些最小项相加，便是函数的标准与或表达式。将函数值为0的那些最大项相乘，便是函数的标准或与表达式。 m1＝ABC m5＝ABC m2＝ABC M0=A+B+C M4=A+B+C M6=A+B+C M7=A+B+C m3=ABC 由上式可看出，两种标准形式可以相互得到。 1.5.2 逻辑函数的卡诺图化简法 1、卡诺图的构成与逻辑函数的卡诺图表示法 　　逻辑函数的卡诺图化简法是将逻辑函数用卡诺图来表示，并利用卡诺图来化简逻辑函数。 　对于一个N变量的逻辑函数，共有2N个最小项（或最大项）。如果把每一个最小项（或最大项）用一个小方格表示，并将这些小方格以格雷码顺序排列成矩阵形式 , 这样构成的图形就是N个变量的卡诺图。 m6 m7 m5 m4 1 m1 01 m2 m3 m0 0 10 11 00 BC A m3 m2 01 m5 m7 m1 1 m4 10 m6 11 m0 00 0 C AB 3变量卡诺图 m6 m7 m5 m4 01 m9 m13 m1 01 m10 m11 m8 10 m14 m15 m12 11 m2 m3 m0 00 10 11 00 CD AB 4变量卡诺图 如果把构成逻辑函数的那些最小项所对应的小方格中填 1 ， 而在其余小方格中填 0(或最大项所对应的小方格中填 0 ， 而在其余小方格中填 1），就构成了该函数的卡诺图。 注 意 变 量 顺 序 ！ 方法一：将一般形式的逻辑函数化为标准与或表达式； 1 0 1 1 1 1 01 1 1 0 0 10 11 00 BC A 答 案 0 0 1 1 01 1 1 0 01 0 1 0 10 1 1 1 11 0 0 0 00 10 11 00 CD AB 答 案 方法二：首先化为一般的与或表达式，然后在卡诺图上对每一个与项所包含的那些最小项（该与项就是这些最小项的公因子）相对应的方格内填入1，其余的方格内填入0。 变换为与或表达式 ＡＤ所包含的那些最小项 ＢＣ所包含的那些最小项 1 1 1 0 01 1 1 1 01 1 1 0 10 1 1 1 11 1 1 0 00 10 11 00 CD AB 答 案 2、逻辑函数的卡诺图化简的原理 逻辑相邻性的概念： 两个最小项之间只有一个变量不同，其余变量相同，则称它们具有逻辑相邻性，简称逻辑相邻最小项。 例如，最小项ABC和 就是逻辑相邻最小项。 （1）几何相邻：只要小方格在几何位置上相邻（不管上下左右），它代表的最小项一定是逻辑相邻的。 逻辑相邻最小项在卡诺图中的位置： （2）对边相邻：即与卡诺图中心轴对称的左右两边和上下两边的小方格所代表的最小项也具有逻辑相邻性。 这种把所有可能的条件组合及其对应结果一一列出来的表格叫做真值表。 将开关接通记作1，断开记作0；灯亮记作1，灯灭记作0。可以作出如下表格来描述与逻辑关系： 功能表 真值表 由上述真值表得到与运算规则： 0?0＝0 0?1＝0