1第2章逻辑代数基础2.1概述1、逻辑代数亦称布尔代数,是研究数字逻辑电路的基本工具。2、事物往往存在两种对立的状态,在逻辑代数中可以抽象地表示为0和1,称为逻辑0状态和逻辑1状态。3、逻辑代数中的变量称为逻辑变量,用大写字母表示。逻辑变量的取值只有两种,即逻辑0和逻辑1,0和1称为逻辑常量,并不表示数量的大小,而是表示两种对立的逻辑状态。4、逻辑代数与普通代数相似之处在于它们都是用字母表示变量,用代数式描述客观事物间的关系。但不同的是,逻辑代数是描述客观事物间的逻辑关系,逻辑函数表示式中的逻辑变量的取值和逻辑函数值都只有两个值,即0和1。这两个值不具有数量大小的意义,仅表示事物的两种相反状态。2.2逻辑函数及其表示法2.2.1基本逻辑函数及运算·基本的逻辑关系:与、或、非三种逻辑。·数字系统中所有的逻辑关系均可以用基本的三种来实现(如同十进制数总可以用10个数字和小数点表示出来一样。·每一种基本逻辑关系对应一种逻辑运算。1、与逻辑(与运算)与逻辑的定义:仅当决定事件(Y)发生的所有条件(A,B,C,…)均满足时,事件(Y)才能发生。表达式为:Y=ABC…开关A,B串联控制灯泡Y两个开关必须同时接通,灯才亮。逻辑表达式为:2Y=AB定义:这种把所有可能的条件组合及其对应结果一一列出来的表格叫做真值表。实现与逻辑的电路称为与门。与门的逻辑符号:2、或逻辑(或运算)或逻辑的定义:当决定事件(Y)发生的各种条件(A,B,C,…)中,只要有一个或多个条件具备,事件(Y)就发生。表达式为:Y=A+B+C+…同理分析课本图2.2.3,有实现或逻辑的电路称为或门。或门的逻辑符号:3、非逻辑(非运算)非逻辑指的是逻辑的否定。当决定事件(Y)发生的条件(A)满足时,事件不发生;条件不满足,事件反而发生。表达式为:亦可同样道理分析课本电路图2.2.5,有逻辑符号:2.2.2几种导出的逻辑运算(即复合逻辑运算)1、与非、或非、与或非运算YAB&YAB≥13与非:先与后非,逻辑表达式为:或非:先或后非,逻辑表达式为:与或非:先与再或后非,逻辑表达式为:2、异或运算和同或运算·都是二变量逻辑运算·异或逻辑关系为:输入逻辑变量A、B不同时,输出Y为1,否则为0。逻辑表达式为·同或逻辑关系为:输入逻辑变量A、B相同时,输出Y为1,否则为0。逻辑表达式为比较异或运算和同或运算真值表可知,异或函数与同或函数在逻辑上是互为反函数。2.2.3逻辑函数及其表示法41、逻辑函数的建立(1)逻辑表达式:由逻辑变量和与、或、非3种运算符连接起来所构成的式子。在逻辑表达式中,等式右边的字母A、B、C、D等称为输入逻辑变量,等式左边的字母Y称为输出逻辑变量,字母上面没有非运算符的叫做原变量,有非运算符的叫做反变量。逻辑表达式描述了逻辑变量与逻辑函数间的逻辑关系,是实际逻辑问题的抽象表达。(2)逻辑函数:如果对应于输入逻辑变量A、B、C、…的每一组确定值,输出逻辑变量Y就有唯一确定的值,则称Y是A、B、C、…的逻辑函数。记为2、逻辑函数的表示方法(1)真值表真值表是由逻辑函数输入变量的所有可能取值组合及其对应的输出函数值所构成的表格。其特点是:直观地反映了变量取值组合和函数值的关系,便于把一个实际问题抽象为一个数学问题。(2)逻辑函数式·由逻辑变量和与、或、非、异或及同或等几种运算符号连接起来所构成的式子。·由真值表直接写出的逻辑式是标准的与-或逻辑式。写标准与-或式的方法是:①把任意一组变量取值中的1代以原变量,0代以反变量,由此得到一组变量的与组合,如A、B、C三个变量的取值为110时,则代换后得到的变量与组合为CAB。②把逻辑函数Y的值为1所对应的各变量的与组合相加,便得到标准的与-或逻辑式。(3)逻辑图·将逻辑表达式中的逻辑运算关系,用对应的逻辑符号表示出来,就构成函数的逻辑图。·只要把逻辑函数式中各逻辑运算用相应门电路和逻辑符号代替,就可画出和逻辑函数相对应的逻辑图。(4)卡诺图。2.3逻辑代数的基本定律和规则2.3.1逻辑代数的基本公式1、逻辑常量运算公式·与运算:111001010000·或运算:111101110000·非运算:10012、逻辑变量、常量运算公式·0-1律:AAAA100011AA·互补律:01AAAA·等幂律:AAAAAA·双重否定律:AA2.3.2逻辑代数的基本定律1、与普通代数相似的定律5·交换律:ABBAABBA·结合律:)()()()(CBACBACBACBA·分配律:)()()(CABACBACABACBA利用真值表很容易证明这些公式的正确性。如证明A·B=B·A:ABA.BB.A00011011000100012、吸收律·还原律:ABABAABABA)()(·吸收率:BABAABABAAABAAABAA)()(·冗余律:CAABBCCAAB3、摩根定律反演律(摩根定律):BABABABA.2.3.3逻辑代数的三个重要规则1、代入规则:任何一个含有变量A的等式,如果将所有出现A的位置(包括等式两边)都用同一个逻辑函数代替,则等式仍然成立。这个规则称为代入规则。例2、反演规则:对于任何一个逻辑表达式Y,如果将表达式中的所有“·”换成“+”,“+”换成“·”,“0”换成“1”,“1”换成“0”,原变量换成反变量,反变量换成原变量,那么所得到的表达式就是函数Y的反函数Y(或称补函数)。这个规则称为反演规则。例如:EDCBAY))((EDCBAYEDCBAYEDCBAY3、对偶规则:对于任何一个逻辑表达式Y,如果将表达式中的所有“·”换成“+”,“+”换成“·”,“0”换成“1”,“1”换成“0”,而变量保持不变,则可得到的一个新的函数表达式Y',Y'称为函Y的对偶函数。这个规则称为对偶规则。例如:EDCBAYEDCBAY62.4逻辑函数的公式化简法2.4.1化简的意义与标准1、化简逻辑函数的意义逻辑函数化简的意义:在逻辑设计中,逻辑函数最终都要用逻辑电路来实现。若逻辑表达式越简单,则实现它的电路越简单,电路工作越稳定可靠。2、逻辑函数式的基本形式和变换对于同一个逻辑函数,其逻辑表达式不是唯一的。常见的逻辑形式有5种:与或表达式、或与表达式、与非-与非表达式、或非-或非表达式、与或非表达式。如:(1)与或表达式:ACBAY(2)或与表达式:Y))((CABA(3)与非-与非表达式:YACBA(4)或非-或非表达式:YCABA(5)与或非表达式:YCABA3、逻辑函数的最简形式·最简与-或表达式(1)逻辑函数式中的乘积项(与项)的个数最少;(2)每个乘积项中的变量数也最少的与或表达式。2.4.2逻辑函数的代数化简法逻辑函数的公式化简法就是运用逻辑代数的基本公式、定理和规则来化简逻辑函数。1、并项法利用公式A+A=1,将两项合并为一项,并消去一个变量。2、吸收法(1)利用公式A+AB=A,消去多余的项。(2)利用公式A+AB=AB,消去多余的变量。3、配项法(1)利用公式A=A(B+B),为某一项配上其所缺的变量,以便用其它方法进行化简。(2)利用公式A+A=A,为某项配上其所能合并的项。4、消去法2.4.3代数化简法举例2.5逻辑函数的卡诺图化简法2.5.1最小项与卡诺图1、最小项的定义和性质(1)最小项:如果一个函数的某个乘积项包含了函数的全部变量,其中每个变量都以原变量或反变量的形式出现,且仅出现一次,则这个乘积项称为该函数的一个标准积项,通常称为最小项。3个变量A、B、C可组成8个最小项:ABCCABCBACBABCACBACBACBA、、、、、、、(2)最小项的表示方法:通常用符7号mi来表示最小项。下标i的确定:把最小项中的原变量记为1,反变量记为0,当变量顺序确定后,可以按顺序排列成一个二进制数,则与这个二进制数相对应的十进制数,就是这个最小项的下标i。3个变量A、B、C的8个最小项可以分别表示为:(3)最小项的性质:3变量全部最小项的真值表ABCM0m1m2m3m4m5m6m70000010100111001011101111000000001000000001000000001000000001000000001000000001000000001①任意一个最小项,只有一组变量取值使其值为1,而其余各项的取值均使它的值为0。②不同的最小项,使它的值为1的那组变量取值也不同。③对于变量的任一且取值,任意两个不同的最小项的乘积必为0。④全部最小项的和必为1。2、表示最小项的卡诺图逻辑函数的图形化简法是将逻辑函数用卡诺图来表示,利用卡诺图来化简逻辑函数。(1)、相邻最小项定义:如果两个最小项中只有一个变量为互反变量,其余变量均相同,则这样的两个最小项为逻辑相邻,并把它们称为相邻最小项,简称相邻项。(2)最小项的卡诺图表示卡诺图的构成:将逻辑函数真值表中的最小项重新排列成矩阵形式,并且使矩阵的横方向和纵方向的逻辑变量的取值按照格雷码的顺序排列,这样构成的图形就是卡诺图。·二变量卡诺图每个2变量的最小项有两个最小项与它相邻·三变量卡诺图每个3变量的最小项有3个最小项与它相邻卡诺图的特点是任意两个相邻的最小项在图中也是相邻的。(相邻项是指两个最小项只有一个因子互为反变量,其余因子均相同,又称为逻辑相邻项)。ABC000111100m0m2m6m41m1m3m7m5AB010m0m21m1m32变量卡诺图3变量卡诺图8·四变量卡诺图·每个4变量的最小项有4个最小项与它相邻·最左列的最小项与最右列的相应最小项也是相邻的·最上面一行的最小项与最下面一行的相应最小项也是相邻的·对角的两个最小项也是相邻的2.5.2用卡诺图表示逻辑函数1、逻辑函数的标准与-或式(最小项表达式)任何一个逻辑函数都可以表示成唯一的一组最小项之和,称为标准与或表达式,也称为最小项表达式。将真值表中函数值为0的那些最小项相加,便可得到反函数的最小项表达式。2、用卡诺图表示逻辑函数(1)逻辑函数是以真值表或者以最小项表达式给出:在卡诺图上那些与给定逻辑函数的最小项相对应的方格内填入1,其余的方格内填入0。(2)逻辑函数以一般的逻辑表达式给出:先将函数变换为与或表达式(不必变换为最小项之和的形式),然后在卡诺图上与每一个乘积项所包含的那些最小项(该乘积项就是这些最小项的公因子)相对应的方格内填入1,其余的方格内填入0。2.5.3用卡诺图化简逻辑函数1、卡诺图的性质(1)任何两个(21个)标1的相邻最小项,可以合并为一项,并消去一个变量(消去互为反变量的因子,保留公因子)。(2)任何4个(22个)标1的相邻最小项,可以合并为一项,并消去2个变量。(3)任何8个(23个)标1的相邻最小项,可以合并为一项,并消去3个变量。2、化简逻辑函数式的步骤和规则ABCY最小项00000101001110010111011101110100m0m1m2m3m4m5m6m7ABCD0001111000m0m4m12m801m1m5m13m911m3m7m15m1110m2m6m14m104变量卡诺图9(1)画出逻辑函数的卡诺图(2)合并卡诺图中的相邻最小项·只有相邻的1方格才能合并,而且每个包围圈只能包含2n个1方格(n=0,1,2…)。·在新画的包围圈中必须有未被圈过的1方格,否则该包围圈的多余的。·包围圈的个数尽量少,这样逻辑函数的与项就少。·画包围圈时应遵从由少到多的顺序圈。·包围圈尽量大,这样消去的变量就多,与门输入端的数目就少。(3)将合并化简后的各与项进行逻辑加,便为所求的逻辑函数最简与-或式。3、化简举例课本例题:[例2.5.5]、[例2.5.6]、[例2.5.7]2.5.4具有无关项的逻辑函数的化简1、逻辑函数中的无关项逻辑函数中的无关项也