《数字逻辑电路(A)》课程PPT第2章 (2)逻辑代数_第1页
《数字逻辑电路(A)》课程PPT第2章 (2)逻辑代数_第2页
《数字逻辑电路(A)》课程PPT第2章 (2)逻辑代数_第3页
《数字逻辑电路(A)》课程PPT第2章 (2)逻辑代数_第4页
《数字逻辑电路(A)》课程PPT第2章 (2)逻辑代数_第5页
已阅读5页,还剩44页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、2.32.3 逻辑代数的基本逻辑代数的基本定律及规则定律及规则(1)逻辑表达式:由逻辑变量和与、或、非3种运算符连接起来所构成的式子。在逻辑表达式中,等式右边的字母A、B、C、D等称为输入逻辑变量,等式左边的字母Y称为输出逻辑变量,字母上面没有非运算符的叫做原变量,有非运算符的叫做反变量。(2)逻辑函数:如果对应于输入逻辑变量A、B、C、的每一组确定值,输出逻辑变量Y就有唯一确定的值,则称Y是A、B、C、的逻辑函数。记为),(CBAfY :与普通代数不同的是,在逻辑代数中,不管是变量还是函数,其取值都只能是0或1,并且这里的0和1只表示两种不同的状态,没有数量的含义。2.3.1 逻辑函数及其相

2、等概念逻辑函数及其相等概念(3)逻辑函数相等的概念:设有两个逻辑函数),( ),(21CBAgYCBAfY它们的变量都是A、B、C、,如果对应于变量A、B、C、的任何一组变量取值,Y1和Y2的值都相同,则称Y1和Y2是相等的,记为Y1=Y2。若两个逻辑函数相等,则它们的真值表一定相同;反之,若两个函数的真值表完全相同,则这两个函数一定相等。因此,要证明两个逻辑函数是否相等,只要分别列出它们的真值表,看看它们的真值表是否相同即可。A BABABA BA+B0 00 11 01 1000111101 11 00 10 01110BAAB证明等式:2.3.2 逻辑代数的公式和定理逻辑代数的公式和定理

3、与运算:111 001 010 000(1)常量之间的关系(2)基本公式0-1 律:AAAA10 0011AA或运算:111 101 110 000非 运 算 :10 01互补律: 0 1AAAA双 重 否 定 律 :AA 分别令分别令A=0及及A=1代入这些代入这些公式,即可证公式,即可证明它们的正确明它们的正确性。性。(3)基本定理交换律:ABBAABBA结合律:)()()()(CBACBACBACBA分配律:)()()(CABACBACABACBA反演律(摩根定律):BABABABA .利用真值表很容易证利用真值表很容易证明这些公式的正确性。明这些公式的正确性。如证明如证明AB=BA:A

4、 B A.B B.A0 00 11 01 100010001(4)常用公式还原律:ABABAABABA)()(证 明 :)(BAAABAA吸收率:BABAABABAAABAAABAA)( )()(1BA BA 分配率分配率A+BC=(A+B)(A+C)A+BC=(A+B)(A+C)互补率互补率A+A=1A+A=10-10-1率率A A1=11=1冗余律:CAABBCCAAB证明:BCCAABBCAABCCAABBCAACAAB)(互补率互补率A+A=1A+A=1分配率分配率A(B+C)=AB+ACA(B+C)=AB+AC)1 ()1 (BCACABCAAB 0-10-1率率A+1=1A+1=1

5、例如,已知等式 ,用函数Y=AC代替等式中的A,根据代入规则,等式仍然成立,即有:(1)代入规则:任何一个含有变量A的等式,如果将所有出现A的位置都用同一个逻辑函数代替,则等式仍然成立。这个规则称为代入规则。BAABCBABACBAC)(2.3.3 逻辑代数的三个规则逻辑代数的三个规则(2)反演规则:对于任何一个逻辑表达式Y,如果将表达式中的所有“”换成“”,“”换成“”,“0”换成“1”,“1”换成“0”,那么所得到的表达式就是函数Y的反函数Y(或称补函数)。这个规则称为反演规则。例如:EDCBAY)(EDCBAYEDCBAYEDCBAY(3)对偶规则:对于任何一个逻辑表达式Y,如果将表达式

6、中的所有“”换成“”,“”换成“”,“0”换成“1”,“1”换成“0”,而,则可得到的一个新的函数表达式Y,Y称为函数Y的对偶函数。这个规则称为对偶规则。例如:EDCBAY对偶规则的意义在于对偶规则的意义在于:如果两个函数相等,则它们的对偶函数也相等。利用对偶规则,可以使要证明及要记忆的公式数目减少一半。例如:在运用反演规则和对偶规则时,必须按照逻辑运算的优先顺序进行:先算括号,接着与运算,然后或运算,最后非运算,否则容易出错。ACABCBA)()(CABABCAABABAABABA)()()(EDCBAYEDCBAYEDCBAY2.42.4逻辑函数的逻辑函数的代数化简法代数化简法2.4.1

7、逻辑函数的表达式逻辑函数的表达式(1)与或表达式:ACBAY(2)或与表达式:Y)(CABA(3)与非-与非表达式:Y ACBA(4)或非-或非表达式:YCABA(5)与或非表达式:YCABA一个逻辑函数的表达式可以有与或表达式、或与表达式、与非-与非表达式、或非-或非表达式、与或非表达式5种表示形式。一种形式的函数表达式相应于一种逻辑电路。尽管一个逻辑函数表达式的各种表示形式不同,但逻辑功能是相同的。1 1、逻辑函数的最小项及其性质逻辑函数的最小项及其性质(1)最小项:如果一个函数的某个乘积项包含了函数的全部变量,其中每个变量都以原变量或反变量的形式出现,且仅出现一次,则这个乘积项称为该函数

8、的一个标准积项,通常称为最小项。3个变量A、B、C可组成8个最小项:ABCCABCBACBABCACBACBACBA、(2)最小项的表示方法:通常用符号mi来表示最小项。下标i的确定:把最小项中的原变量记为1,反变量记为0,当变量顺序确定后,可以按顺序排列成一个二进制数,则与这个二进制数相对应的十进制数,就是这个最小项的下标i。3个变量A、B、C的8个最小项可以分别表示为:ABCmCABmCBAmCBAmBCAmCBAmCBAmCBAm76543210、(3)最小项的性质: 3 变量全部最小项的真值表A B Cm0m1m2m3m4m5m6m70 0 00 0 10 1 00 1 11 0 01

9、 0 11 1 01 1 11000000001000000001000000001000000001000000001000000001000000001任意一个最小项,只有一组变量取值使其值为1。全部最小项的和必为1。ABCABC任意两个不同的最小项的乘积必为0。2 2、逻辑函数的最小项表达式逻辑函数的最小项表达式任何一个逻辑函数都可以表示成唯一的一组最小项之和,称为标准与或表达式,也称为最小项表达式对于不是最小项表达式的与或表达式,可利用公式AA1 和A(B+C)ABBC来配项展开成最小项表达式。)7 , 3 , 2 , 1 , 0()()(73210mmmmmmABCBCACBACBA

10、CBABCAABCCBACBACBABCABCAACCBBABCAY如果列出了函数的真值表,则只要将函数值为1的那些最小项相加,便是函数的最小项表达式。A B CY最小项0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 101110100m0m1m2m3m4m5m6m7m1ABCm5ABCm3ABCm1ABCCBACBACBACBAmmmmmY)5 ,3 ,2, 1(5321将真值表中函数值为0的那些最小项相加,便可得到反函数的最小项表达式。逻辑函数化简的意义:逻辑表达式越简单,实现它的电路越简单,电路工作越稳定可靠。2.4.1 逻辑函数的最简表达式逻辑函数的最简表

11、达式1 1、最简与或表达式最简与或表达式乘积项最少、并且每个乘积项中的变量也最少的与或表达式。CABACBCABADCBCBECACABAEBAY最简与或表达式最简与或表达式2 2、最简与非与非表达式最简与非与非表达式非号最少、并且每个非号下面乘积项中的变量也最少的与非-与非表达式。CABACABACABAY在最简与或表达式的基础上两次取反用摩根定律去掉下面的非号2.4.2 逻辑函数的公式化简法逻辑函数的公式化简法1 1、并项法、并项法逻辑函数的公式化简法就是运用逻辑代数的基本公式、定理和规则来化简逻辑函数。利用公式1,将两项合并为一项,并消去一个变量。BCCBCBBCCBBCAACBBCAA

12、BCY)()(1ABCBCABCAABCCBAABCCABAABCY)()(2运用摩根定律运用分配律运用分配律2 2、吸收法、吸收法BAFEBCDABAY)(1BABCDBADABADBCDABADCDBAY)()(2。运用摩根定律()利用公式,消去多余的项。()利用公式,消去多余的变量。CABCABABCBAABCBCAABY)(。、配项法、配项法()利用公式(),为某一项配上其所缺的变量,以便用其它方法进行化简。CACBBABBCAACBCBACBABCACBACBACBBACCBACBAACBBABACBCBBAY)()1 ()1 ()()(()利用公式,为某项配上其所能合并的项。BCA

13、CABBCAABCCBAABCCABABCBCACBACABABCY)()()( 利用公式,为某项配上其所能合并的项。 例P46的例2.16 例2.15、消去冗余项法、消去冗余项法利用冗余律,将冗余项消去。DCACBAADEDCACBADCADEACBAY)(1CBABFGDEACCBABY)(2例:化简函数)()()()(GEAGCECGADBDBY解:先求出Y的对偶函数Y,并对其进行化简。GCCEDBAEGGCCEDAGBDBY求Y的对偶函数,便得的最简或与表达式。)()(GCECDBY2.5 逻辑函数的图形化简法逻辑函数的图形化简法1 1、卡诺图的构成、卡诺图的构成逻辑函数的图形化简法是

14、将逻辑函数用卡诺图来表示,利用卡诺图来化简逻辑函数。将逻辑函数真值表中的最小项重新排列成矩阵形式,并且使,这样构成的图形就是卡诺图。卡诺图的特点是任意两个相邻的最小项在图中也是相邻的。(相邻项是指两个最小项只有一个因子互为反变量,其余因子均相同,又称为逻辑相邻项) 。 A B010m0m21m1m3 ABC000111100m0m2m6m41m1m3m7m5 2 变量卡诺图 3 变量卡诺图 ABCD0001111000m0m4m12m801m1m5m13m911m3m7m15m1110m2m6m14m10 4 变量卡诺图两个相邻最小项可以合并消去一个变量BACCBACBACBA)(DCADCB

15、ADCAB逻辑函数化简的实质就是相邻最小项的合并2 2、逻辑函数在卡诺图中的表示、逻辑函数在卡诺图中的表示(1)逻辑函数是以真值表或者以最小项表达式给出:在卡诺图上那些与给定逻辑函数的最小项相对应的方格内填入1,其余的方格内填入0。 ABCD00011110000100011000111111100110)15,14,11, 7 , 6 , 4 , 3 , 1 (),(mDCBAYm1m3m4m7m6m11m15m14(2)逻辑函数以一般的逻辑表达式给出:先将函数变换为与或表达式(不必变换为最小项之和的形式),然后在卡诺图上与每一个乘积项所包含的那些最小项(该乘积项就是这些最小项的公因子)相对

16、应的方格内填入1,其余的方格内填入0。)(CBDAYCBDAY ABC D00011110001100010000111001101101的公因子的公因子:如果求得 了函数的反函数,则对中所包含的各个最小项,在卡诺图相应方格内填入0,其余方格内填入1。3 3、卡诺图的性质、卡诺图的性质 ABC D00011110000100010001110001100100(1)任何两个(21个)标1的相邻最小项,可以合并为一项,并消去一个变量(消去互为反变量的因子,保留公因子)。 AB C000111100100110110CBACBAABCBCADBCADCBACDBADCBACBBCDBADBA AB

17、CD00011110000100011111110110100100(2)任何4个(22个)标1的相邻最小项,可以合并为一项,并消去2个变量。 A B C000111100111110110CCBAABBABACBACABCBACBA)(BBACCACACAABCCABBCACBA)(BADC ABC D00011110001001010110110110101001 ABC D00011110000110011001111001100110 ABC D00011110000000011111111111100000 ABCD00011110001001011001111001101001(3

18、)任何8个(23个)标1的相邻最小项,可以合并为一项,并消去3个变量。4 4、图形法化简的基本步骤、图形法化简的基本步骤逻辑表达式逻辑表达式或真值表或真值表卡诺图卡诺图)15,13,12,11, 8 , 7 , 5 , 3(),(mDCBAY A BC D0 00 11 11 00 000110 101101 111111 00000 1 1 合并最小项合并最小项圈越大越好,但每个圈中标的方格数目必须为个。同一个方格可同时画在几个圈内,但每个圈都要有新的方格,否则它就是多余的。不能漏掉任何一个标的方格。i2最简与或表达式最简与或表达式 A BC D0 00 11 11 00 000110 10

19、1101 111111 00000DCACDBDDCBAY ),(冗余项 2 2 3 3 将代表每个圈的乘积项相加 ABC D00011110 ABC D00011110001101001101010111010111110011110011100000100000两点说明: 在有些情况下,最小项的圈法不只一种,得到的各个乘积项组成的与或表达式各不相同,哪个是最简的,要经过比较、检查才能确定。不是最简最简 ABCD00011110 ABCD00011110001100001100011110011110110010110010101010101010 在有些情况下,不同圈法得到的与或表达式都是

20、最简形式。即一个函数的最简与或表达式不是唯一的。2.3.4 含随意项的逻辑函数的化简含随意项的逻辑函数的化简:函数可以随意取值(可以为0,也可以为1)或不会出现的变量取值所对应的最小项称为随意项,也叫做约束项或无关项。1 1、含随意项的逻辑函数含随意项的逻辑函数例如:判断一位十进制数是否为偶数。不会出现不会出现不会出现不会出现不会出现不会出现 说 明 1 1 1 10 0 1 1 1 1 1 1 01 0 1 1 0 1 1 0 10 0 1 0 1 1 1 0 01 0 1 0 0 1 0 1 10 0 0 1 1 1 0 1 01 0 0 1 00 1 0 0 10 0 0 0 11 1

21、0 0 01 0 0 0 0Y A B C DY A B C D ABCD00011110001110100011001011输入变量A,B,C,D取值为00001001时,逻辑函数Y有确定的值,根据题意,偶数时为1,奇数时为0。)8 ,6,4,2,0(),(mDCBAYA,B,C,D取值为1010 1111的情况不会出现或不允许出现,对应的最小项属于随意项。用符号“”、“”或“d”表示。随意项之和构成的逻辑表达式叫做 随意条件或约束条件,用一个值恒为 0 的条件等式表示。0)15,14,13,12,11,10(d含有随意条件的逻辑函数可以表示成如下形式:)15,14,13,12,11,10(

22、)8 , 6 , 4 , 2 , 0(),(dmDCBAF2 2、含随意项的逻辑函数的化简含随意项的逻辑函数的化简在逻辑函数的化简中,充分利用随意项可以得到更加简单的逻辑表达式,因而其相应的逻辑电路也更简单。在化简过程中,随意项的取值可视具体情况取0或取1。具体地讲,如果随意项对化简有利,则取1;如果随意项对化简不利,则取0。 ABCD00011110001110100011001011不利用随意项的化简结果为:DCADAY利用随意项的化简结果为:DY 3 3、变量互相排斥的逻辑函数的化简变量互相排斥的逻辑函数的化简在一组变量中,如果只要有一个变量取值为1,则其它变量的值就一定为0,具有这种制

23、约关系的变量叫做互相排斥的变量。变量互相排斥的逻辑函数也是一种含有随意项的逻辑函数。A B CY0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 10111 AB C00011110001111YABC111简化真值表CBAY2.4 2.4 逻辑函数的表逻辑函数的表示方法及其相互转换示方法及其相互转换2.4.1 逻辑函数的表示方法逻辑函数的表示方法1 1、真值表真值表真值表:是由变量的所有可能取值组合及其对应的函数值所构成的表格。真值表列写方法:每一个变量均有0、1两种取值,n个变量共有2i种不同的取值,将这2i种不同的取值按顺序(一般按二进制递增规律)排列起来,同

24、时在相应位置上填入函数的值,便可得到逻辑函数的真值表。A B CY0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 100010011例如:当A=B=1、或则B=C=1时,函数Y=1;否则Y=0。2 2、逻辑表达式逻辑表达式逻辑表达式:是由逻辑变量和与、或、非3种运算符连接起来所构成的式子。函数的标准与或表达式的列写方法:将函数的真值表中那些使函数值为1的最小项相加,便得到函数的标准与或表达式。)7 , 6 , 3(mABCCABBCAY3 3、卡诺图卡诺图卡诺图:是由表示变量的所有可能取值组合的小方格所构成的图形。逻辑函数卡诺图的填写方法:在那些使函数值为1的变量取值组合所对应的小方格内填入1,其余的方格内填入0,便得到该函数的卡诺图。 A B C0001111000010101104 4、逻辑图逻辑图逻辑图:是由表示逻辑运算的逻辑符号所构成的图形。Y&1&ABBC、波形、波形图图波形

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论