《逻辑函数及其简化.ppt》由会员分享,可在线阅读,更多相关《逻辑函数及其简化.ppt(60页珍藏版)》请在三一办公上搜索。
1、2.1 逻辑代数基础,2.2 逻辑函数的简化,退出,第二章 逻辑函数及其简化,2.1 逻辑代数基础,2.1.1 逻辑代数的基本概念,2.1.2 逻辑代数的公式、定理和规则,2.1.3 逻辑函数的表达式,退出.,2.1.4 逻辑函数的表示方法及互换.,事物往往存在两种对立的状态,在逻辑代数中可以抽象地表示为 0 和 1,称为逻辑0状态和逻辑1状态。,逻辑代数是按一定的逻辑关系进行运算的代数,是分析和设计数字电路的数学工具。在逻辑代数,只有和两种逻辑值,有与、或、非三种基本逻辑运算,还有与或、与非、与或非、异或几种导出逻辑运算。,逻辑代数中的变量称为逻辑变量,用大写字母表示。逻辑变量的取值只有两种
2、,即逻辑0和逻辑1,0 和 1 称为逻辑常量,并不表示数量的大小,而是表示两种对立的逻辑状态。,逻辑是指事物的因果关系,或者说条件和结果的关系,这些因果关系可以用逻辑运算来表示,也就是用逻辑代数来描述。,2.1.1 基本逻辑运算,1、与逻辑(与运算),与逻辑的定义:仅当决定事件(Y)发生的所有条件(A,B,C,)均满足时,事件(Y)才能发生。表达式为:,开关A,B串联控制灯泡Y,两个开关必须同时接通,灯才亮。逻辑表达式为:,A、B都断开,灯不亮。,A断开、B接通,灯不亮。,A接通、B断开,灯不亮。,A、B都接通,灯亮。,这种把所有可能的条件组合及其对应结果一一列出来的表格叫做真值表。,将开关接
3、通记作1,断开记作0;灯亮记作1,灯灭记作0。可以作出如下表格来描述与逻辑关系:,功能表,实现与逻辑的电路称为与门。与门的逻辑符号:,真值表,逻辑符号,2、或逻辑(或运算),或逻辑的定义:当决定事件(Y)发生的各种条件(A,B,C,)中,只要有一个或多个条件具备,事件(Y)就发生。表达式为:,开关A,B并联控制灯泡Y,两个开关只要有一个接通,灯就会亮。逻辑表达式为:,+,A、B都断开,灯不亮。,A断开、B接通,灯亮。,A接通、B断开,灯亮。,A、B都接通,灯亮。,实现或逻辑的电路称为或门。或门的逻辑符号:,Y=A+B,真值表,功能表,逻辑符号,3、非逻辑(非运算),非逻辑指的是逻辑的否定。当决
4、定事件(Y)发生的条件(A)满足时,事件不发生;条件不满足,事件反而发生。表达式为:,开关A控制灯泡Y,实现非逻辑的电路称为非门。非门的逻辑符号:,A断开,灯亮。,A接通,灯灭。,真值表,功能表,逻辑符号,4、常用的逻辑运算,(1)与非运算:逻辑表达式为:,(2)或非运算:逻辑表达式为:,(3)异或运算:逻辑表达式为:,(4)与或非运算:逻辑表达式为:,5、逻辑函数及其相等概念,(1)逻辑表达式:由逻辑变量和与、或、非3种运算符连接起来所构成的式子。在逻辑表达式中,等式右边的字母A、B、C、D等称为输入逻辑变量,等式左边的字母Y称为输出逻辑变量,字母上面没有非运算符的叫做原变量,有非运算符的叫
5、做反变量。,(2)逻辑函数:如果对应于输入逻辑变量A、B、C、的每一组确定值,输出逻辑变量Y就有唯一确定的值,则称Y是A、B、C、的逻辑函数。记为,注意:与普通代数不同的是,在逻辑代数中,不管是变量还是函数,其取值都只能是0或1,并且这里的0和1只表示两种不同的状态,没有数量的含义。,(3)逻辑函数相等的概念:设有两个逻辑函数,它们的变量都是A、B、C、,如果对应于变量A、B、C、的任何一组变量取值,Y1和Y2的值都相同,则称Y1和Y2是相等的,记为Y1=Y2。,若两个逻辑函数相等,则它们的真值表一定相同;反之,若两个函数的真值表完全相同,则这两个函数一定相等。,证明等式:,2.1.2 逻辑代
6、数的公式、定理和规则,1、逻辑代数的公式和定理,(1)常量之间的关系,(2)基本公式,(3)基本定理,利用真值表很容易证明这些公式的正确性。如证明AB=BA:,(A+B)(A+C)=AA+AB+AC+BC,分配率A(B+C)=AB+AC,=A+AB+AC+BC,等幂率AA=A,=A(1+B+C)+BC,分配率A(B+C)=AB+AC,=A+BC,0-1率A+1=1,证明分配律:A+BC=(A+B)(A+C),证明:,(4)常用公式,分配率A+BC=(A+B)(A+C),0-1率A1=1,分配率A(B+C)=AB+AC,0-1率A+1=1,例如,已知等式,用函数Y=AC代替等式中的A,根据代入规
7、则,等式仍然成立,即有:,2、逻辑代数运算的基本规则,(1)代入规则:任何一个含有变量A的等式,如果将所有出现A的位置都用同一个逻辑函数代替,则等式仍然成立。这个规则称为代入规则。,(2)反演规则:如果将表达式中的所有“”换成“”,“”换成“”,“0”换成“1”,“1”换成“0”,原变量换成反变量,反变量换成原变量,那么所得到的表达式就是函数Y的反函数Y(或称补函数)。例如:,(3)对偶规则:如果将表达式中的所有“”换成“”,“”换成“”,“0”换成“1”,“1”换成“0”,而变量保持不变,则可得到的一个新的函数表达式Y,Y称为函Y的对偶函数。例如:,对偶规则的意义在于:如果两个函数相等,则它
8、们的对偶函数也相等。利用对偶规则,可以使要证明及要记忆的公式数目减少一半。例如:,注意:在运用反演规则和对偶规则时,必须按照逻辑运算的优先顺序进行:先算括号,接着与运算,然后或运算,最后非运算,否则容易出错。,2.1.7 逻辑函数的表达式,一个逻辑函数的表达式可以有与或表达式、或与表达式、与非-与非表达式、或非-或非表达式、与或非表达式5种表示形式。,一种形式的函数表达式相应于一种逻辑电路。尽管一个逻辑函数表达式的各种表示形式不同,但逻辑功能是相同的。,1、逻辑函数的最小项及其性质,(1)最小项:如果一个函数的某个乘积项包含了函数的全部变量,其中每个变量都以原变量或反变量的形式出现,且仅出现一
9、次,则这个乘积项称为该函数的一个标准积项,通常称为最小项。,3个变量A、B、C可组成8个最小项:,(2)最小项的表示方法:通常用符号mi来表示最小项。下标i的确定:把最小项中的原变量记为1,反变量记为0,当变量顺序确定后,可以按顺序排列成一个二进制数,则与这个二进制数相对应的十进制数,就是这个最小项的下标i。,3个变量A、B、C的8个最小项可以分别表示为:,(3)最小项的性质:,任意一个最小项,只有一组变量取值使其值为1。,全部最小项的和必为1。,任意两个不同的最小项的乘积必为0。,2、逻辑函数的最小项表达式,任何一个逻辑函数都可以表示成唯一的一组最小项之和,称为标准与或表达式,也称为最小项表
10、达式。,如果列出了函数的真值表,则只要将函数值为1的那些最小项相加,便是函数的最小项表达式。,m3ABC,将真值表中函数值为0的那些最小项相加,便可得到反函数的最小项表达式。,C,B,A,C,B,A,C,B,A,C,B,A,m,m,m,m,m,Y,+,+,+,=,=,+,+,+,=,),5,3,2,1,(,5,3,2,1,本节小结,逻辑代数是分析和设计数字电路的重要工具。利用逻辑代数,可以把实际逻辑问题抽象为逻辑函数来描述,并且可以用逻辑运算的方法,解决逻辑电路的分析和设计问题。与、或、非是3种基本逻辑关系,也是3种基本逻辑运算。与非、或非、与或非、异或则是由与、或、非3种基本逻辑运算复合而成
11、的4种常用逻辑运算。逻辑代数的公式和定理是推演、变换及化简逻辑函数的依据。,逻辑函数的表示方法及互换,1、真值表,真值表:是由变量的所有可能取值组合及其对应的函数值所构成的表格。,真值表列写方法:每一个变量均有0、1两种取值,n个变量共有2n种不同的取值,将这2n种不同的取值按顺序(一般按二进制递增规律)排列起来,同时在相应位置上填入函数的值,便可得到逻辑函数的真值表。,例如:当A=B=1、或则B=C=1时,函数Y=1;否则Y=0。,一、逻辑函数的表示方法,2、逻辑表达式,逻辑表达式:是由逻辑变量和与、或、非3种运算符连接起来所构成的式子。,函数的标准与或表达式的列写方法:将函数的真值表中那些
12、使函数值为1的最小项相加,便得到函数的标准与或表达式。,3、卡诺图,卡诺图:是由表示变量的所有可能取值组合的小方格所构成的图形。,逻辑函数卡诺图的填写方法:在那些使函数值为1的变量取值组合所对应的小方格内填入1,其余的方格内填入0,便得到该函数的卡诺图。,4、逻辑图,逻辑图:是由表示逻辑运算的逻辑符号所构成的图形。,、波形图,波形图:是由输入变量的所有可能取值组合的高、低电平及其对应的输出函数值的高、低电平所构成的图形。,二、逻辑函数表示方法之间的转换,1、由真值表到逻辑图的转换,真值表,逻辑表达式或卡诺图,1,1,最简与或表达式,化简,2,或,2,画逻辑图,3,最简与或表达式,B,A,A,C
13、,AC,Y,B,A,A,C,Y,若用与非门实现,将最简与或表达式变换乘最简与非-与非表达式,3,2、由逻辑图到真值表的转换,逻辑图,逻辑表达式,1,1,最简与或表达式,化简,2,2,从输入到输出逐级写出,最简与或表达式,3,真值表,3,本节小结,逻辑函数可用真值表、逻辑表达式、卡诺图、逻辑图和波形图5种方式表示,它们各具特点,但本质相通,可以互相转换。对于一个具体的逻辑函数,究竟采用哪种表示方式应视实际需要而定。在使用时应充分利用每一种表示方式的优点。由于由真值表到逻辑图和由逻辑图到真值表的转换,直接涉及到数字电路的分析和设计问题,因此显得更为重要。,2.2 逻辑函数的简化,2.2.1 逻辑函
14、数的最简表达式,2.2.2 逻辑函数的公式化简法,2.2.3 逻辑函数的图形化简法,2.2.4 含任意项的逻辑函数的化简,退出,逻辑函数化简的意义:逻辑表达式越简单,实现它的电路越简单,电路工作越稳定可靠。,逻辑函数的最简表达式,最简与或表达式,乘积项最少、并且每个乘积项中的变量也最少的与或表达式。,2.2.1 逻辑函数的公式化简法,1、并项法,逻辑函数的公式化简法就是运用逻辑代数的基本公式、定理和规则来化简逻辑函数。,若两个乘积项中分别包含同一个因子的原变量和反变量,而其他因子都相同时,则这两项可以合并成一项,并消去互为反变量的因子。,运用摩根定律,运用分配律,运用分配律,2、吸收法,如果乘
15、积项是另外一个乘积项的因子,则这另外一个乘积项是多余的。,运用摩根定律,()利用公式,消去多余的项。,(2),3、消去法,利用公式AB,消去多余的变量。,如果一个乘积项的反是另一个乘积项的因子,则这个因子是多余的。,4、配项法,例:化简函数,解:先求出Y的对偶函数Y,并对其进行化简。,求Y的对偶函数,便得的最简或与表达式。,2.2.2 逻辑函数的图形化简法,1、卡诺图的构成,逻辑函数的图形化简法是将逻辑函数用卡诺图来表示,利用卡诺图来化简逻辑函数。,将逻辑函数真值表中的最小项重新排列成矩阵形式,并且使矩阵的横方向和纵方向的逻辑变量的取值按照格雷码的顺序排列,这样构成的图形就是卡诺图。,卡诺图的
16、特点是任意两个相邻的最小项在图中也是相邻的。(相邻项是指两个最小项只有一个因子互为反变量,其余因子均相同,又称为逻辑相邻项)。,2、逻辑函数在卡诺图中的表示,(1)逻辑函数是以真值表或者以最小项表达式给出:在卡诺图上那些与给定逻辑函数的最小项相对应的方格内填入1,其余的方格内填入0。,m1,m3,m4,m6,m7,m11,m14,m15,(2)逻辑函数以一般的逻辑表达式给出:先将函数变换为与或表达式(不必变换为最小项之和的形式),然后在卡诺图上与每一个乘积项所包含的那些最小项(该乘积项就是这些最小项的公因子)相对应的方格内填入1,其余的方格内填入0。,变换为与或表达式,3、卡诺图的性质,(1)
17、任何两个(21个)标1的相邻最小项,可以合并为一项,并消去一个变量(消去互为反变量的因子,保留公因子)。,(2)任何4个(22个)标1的相邻最小项,可以合并为一项,并消去2个变量。,(3)任何8个(23个)标1的相邻最小项,可以合并为一项,并消去3个变量。,2i,小结:相邻最小项的数目必须为 个才能合并为一项,并消去 个变量。包含的最小项数目越多,即由这些最小项所形成的圈越大,消去的变量也就越多,从而所得到的逻辑表达式就越简单。这就是利用卡诺图化简逻辑函数的基本原理。,i,i,用卡诺图简化逻辑函数,把为1的小方格按合并最小项的规则,分组化成若干个包围圈,画圈的原则:1)圈内相邻最小项为1的个数
18、必须为2 个;2)每个圈中为1的最小项可以多次被圈,每个圈 内至少有一个未被圈过的为1的最小项;3)卡诺图中为1的最小项必须圈完;为保证与项最少,所画的圈数必须最少,每 个圈也尽可能大。,i,4、图形法化简的基本步骤,逻辑表达式或真值表,卡诺图,1,1,合并最小项,圈越大越好,但每个圈中标的方格数目必须为个。同一个方格可同时画在几个圈内,但每个圈都要有新的方格,否则它就是多余的。不能漏掉任何一个标的方格。,最简与或表达式,冗余项,2,2,3,3,将代表每个圈的乘积项相加,两点说明:,在有些情况下,最小项的圈法不只一种,得到的各个乘积项组成的与或表达式各不相同,哪个是最简的,要经过比较、检查才能
19、确定。,不是最简,最简,在有些情况下,不同圈法得到的与或表达式都是最简形式。即一个函数的最简与或表达式不是唯一的。,含任意项的逻辑函数的化简,任意项:函数可以任意取值(可以为0,也可以为1)或不会出现的变量取值所对应的最小项称为任意项,也叫做约束项或无关项。,1、含任意项的逻辑函数,例如:判断一位十进制数是否为偶数。,输入变量A,B,C,D取值为00001001时,逻辑函数Y有确定的值,根据题意,偶数时为1,奇数时为0。,A,B,C,D取值为1010 1111的情况不会出现或不允许出现,对应的最小项属于任意项。用符号“”、“”或“d”表示。,随意项之和构成的逻辑表达式叫做 任意条件或约束条件。,含有任意条件的逻辑函数可以表示成如下形式:,2、含任意项的逻辑函数的化简,为了方便函数的化简,任意项根据需要可以为1,也可以为0,加以处理。,不利用随意项的化简结果为:,利用随意项的化简结果为:,本节小结,逻辑函数的化简有公式法和图形法等。公式法是利用逻辑代数的公式、定理和规则来对逻辑函数化简,这种方法适用于各种复杂的逻辑函数,但需要熟练地运用公式和定理,且具有一定的运算技巧。图形法就是利用函数的卡诺图来对逻辑函数化简,这种方法简单直观,容易掌握,但变量太多时卡诺图太复杂,图形法已不适用。在对逻辑函数化简时,充分利用随意项可以得到十分简单的结果。,
链接地址:https://www.31ppt.com/p-6028936.html