数电课件:第二章.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《数电课件:第二章.ppt》由用户(罗嗣辉)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 课件 第二
- 资源描述:
-
1、西安电子科技大学一:逻辑代数的三个基本运算二:逻辑代数的基本定律三:复合逻辑运算 四:逻辑函数表达式的常用形式五:逻辑函数的代数法化简第二章 逻辑代数基础六:逻辑函数的K诺图化简七:非完全描述逻辑函数的化简西安电子科技大学逻辑变量:逻辑变量:逻辑函数:逻辑函数:逻辑代数运算:逻辑代数运算: 在逻辑代数中在逻辑代数中 与与 (AND ) 或或 (OR) 非非 (NOT) 3种基本逻辑运算种基本逻辑运算逻辑关系逻辑关系 逻辑函数表达式逻辑函数表达式 F=f(A、B、C) 2.1逻辑代数的三个基本运算西安电子科技大学2.1 2.1 逻辑代数的三种基本运算逻辑代数的三种基本运算A BF逻辑式:逻辑式:
2、 F=A B=ABa. a. 国际流行国际流行b. IEEE b. IEEE 标准标准c. c. 中国标准中国标准&ABFFFAABB与门:与门:1. 1. 与运算(逻辑乘)与运算(逻辑乘)A、B都具备时,事件都具备时,事件F才发生。才发生。 0 00 0 10 1 00 1 11真值表真值表西安电子科技大学FBFFAAABB 或门:或门:逻辑式:逻辑式:F=A +B2. 2. 或运算(逻辑加)或运算(逻辑加)2.1 2.1 逻辑代数的三种基本运算逻辑代数的三种基本运算A A、B B有一个具备,事件有一个具备,事件F F就发生。就发生。A BF 0 00 0 11 1 01 1 11a. a.
3、 国际流行国际流行b. IEEE b. IEEE 标准标准c. c. 中国标准中国标准西安电子科技大学非门:非门:3. 3. 非运算(逻辑反)非运算(逻辑反)2.1 2.1 逻辑代数的三种基本运算逻辑代数的三种基本运算RA具备时具备时 ,事件,事件F不发生;不发生;A不具备时,事件不具备时,事件F发生。发生。AF 01 10逻辑式:逻辑式:F=AF=Aa. a. 国际流行国际流行b. IEEE b. IEEE 标准标准c. c. 中国标准中国标准西安电子科技大学0000111100ABF=ABF=A+BF=A0001011101110000波形图注意事项:1 1、输入波形要穷举所有可能的输入组
4、合、输入波形要穷举所有可能的输入组合(n(n个输入变量由个输入变量由2 2n n种可能种可能) )2 2、输出波形与输入变化对应、输出波形与输入变化对应基本逻辑关系波形基本逻辑关系波形西安电子科技大学0-1 律律重叠律重叠律互补律互补律还原律还原律分配律分配律结合律结合律交换律交换律0 AA00 AAA 1AAA 1 AAAA 011 AAAA ABBA CBACBA CABACBA ABBA CBACBA )()(CABACBA AA 2.2 2.2 逻辑代数的基本定律和规则逻辑代数的基本定律和规则西安电子科技大学ABAA BABAA ABABA )( )(ABAA )(CAABBCCAAB
5、 ABABA 反演律反演律吸收律吸收律BABA BABA ABBAA )()CA)(BA( )CB)(CA)(BA( 冗余律冗余律 在两个乘积项中,若有一个变量是在两个乘积项中,若有一个变量是互反互反的,那么由这的,那么由这两个乘积项中的其它变量组成的乘积项就是多余的,可以两个乘积项中的其它变量组成的乘积项就是多余的,可以消去。消去。CAABBCDECAAB 公式可推广:公式可推广:2.2 2.2 逻辑代数的基本定律和规则逻辑代数的基本定律和规则西安电子科技大学证明证明 AB+AC+BC=AB+AC解:解:AB+AC+BC= AB+AC+(A+A)BC =AB+AC+ABC+ABC=AB+AB
6、C+AC+ABC=AB(1+C)+AC(1+B)=AB+AC重叠律:AA=A互补律:(A+A)=12.2 2.2 逻辑代数的基本定律和规则逻辑代数的基本定律和规则西安电子科技大学反演规则反演规则 当已知某一逻辑函数当已知某一逻辑函数F F,将,将F F中的所有中的所有“ ” ”号变为号变为 “ “+”+”号号, ,将将“+”+”号变为号变为“”号号, ,常量常量“0”0”变为变为“1”,“1”1”,“1”变为变为“0” ,0” ,原变量变为反变量原变量变为反变量, ,反变量变为原变量反变量变为原变量, ,便可求得便可求得F F的反的反演式演式。对偶规则对偶规则 设设F F是一个逻辑函数式,将是
7、一个逻辑函数式,将F F中所有中所有“”号变为号变为“+”+”号号, ,将将“+”+”号变为号变为“”号号,“1”,“1”变为变为“0”,“0”0”,“0”变为变为“1”,1”,而变量而变量保持不变保持不变, ,那么就得到一个新的逻辑函数那么就得到一个新的逻辑函数F F* *, ,通常将它称为通常将它称为F F的对的对偶式。偶式。代入规则代入规则 任何一个含有变量任何一个含有变量X X的等式,如果将所有出现的等式,如果将所有出现X X的的 位置位置都代之以一个函数都代之以一个函数F,F,则等式仍然成立。则等式仍然成立。 逻辑代数中的三个重要规则逻辑代数中的三个重要规则可以扩大基本定律的应用可以
8、扩大基本定律的应用1 1、不能破坏原式的运算顺序先括号后与、或、不能破坏原式的运算顺序先括号后与、或2 2、不属于单变量上的非号应保留、不属于单变量上的非号应保留用于快速的求一个函数的反函数用于快速的求一个函数的反函数1 1、不能破坏原式的运算顺序先括号后与、或、不能破坏原式的运算顺序先括号后与、或2 2、不属于单变量上的非号应保留、不属于单变量上的非号应保留用于逻辑关系的证明用于逻辑关系的证明性质:性质:1 1、F F与与F F* *互为对偶函数互为对偶函数 2 2、任何函数均存在对偶函数、任何函数均存在对偶函数 3 3、若、若F=GF=G成立,则成立,则F F* *=G=G* *成立成立西
9、安电子科技大学 代入规则举例代入规则举例反演律反演律如用如用FBC代替式中的代替式中的BA + B + C = A B CA + B + C = A B C西安电子科技大学 反演规则举例反演规则举例 0 1 1 0原变量原变量 反变量反变量 反变量反变量 原变量原变量F=A+B+C+D+EF=A B C D E两个或者两个以上长非号不变两个或者两个以上长非号不变西安电子科技大学 对偶规则举例对偶规则举例 0 1 1 0F=A B + A (C+0)两个或者两个以上长非号不变两个或者两个以上长非号不变F=(A B) (A C 1)西安电子科技大学例例1 求下列函数的反函数求下列函数的反函数A)
10、B)ACDCABF EDCBAF )()(CADCBAF A)EDCBAF B) 例例2 2 求下列函数的对偶函数求下列函数的对偶函数A) B)ACDCABF EDCBAF )()(CADCBAF* A)B)EDCBAF* 2.2 2.2 逻辑代数的基本定律和规则逻辑代数的基本定律和规则西安电子科技大学2.3 复合逻辑运算1.1.与非逻辑与非逻辑 ABF A AB BF F& 与非门与非门BAFA AB BF F2.2.或非逻辑或非逻辑或非门或非门5. 5. 与或非逻辑与或非逻辑CDABF&西安电子科技大学1.1.常用形式常用形式(1 1)与或式)与或式 F=AB+CD (2 2)或与式)或与
11、式 F=(A+B)(C+D)(3 3)与非与非式)与非与非式 CDABF(4 4)或非或非式)或非或非式DCBAF)((5 5)与或非式)与或非式CDABF2.3 复合逻辑运算西安电子科技大学3.3.异或逻辑异或逻辑BABABAFA BF0 0 00 1 11 0 11 1 0=1ABF=ABFBAAB A BF0 0 10 1 01 0 01 1 14.4.同或逻辑同或逻辑F=A B=异或逻辑与同或逻辑西安电子科技大学110011111100BABABABA列真值表表证明:列真值表表证明:AB0001101111100100ABBABABABA0000逻辑代数的基本定律逻辑代数的基本定律西安
12、电子科技大学3.CBCAABF CBAAB)( . .CABCABAB 化简的原则:化简的原则:(1 1)与项最少;)与项最少; (2 2)与项中的变量数最少)与项中的变量数最少2.4 2.4 逻辑代数的代数法化简逻辑代数的代数法化简 利用公式化简利用公式化简西安电子科技大学2.4 2.4 逻辑函数的两种标准式逻辑函数的两种标准式最小项定义最小项定义: n n个变量的最小项是含个变量的最小项是含n n个变量的个变量的“与项与项”,其,其中每个变量都以原变量或反变量的形式出现一次。中每个变量都以原变量或反变量的形式出现一次。(1 1)最小项)最小项1 1个变量个变量 最小项最小项 A AA A3
13、 3个变量个变量 最小项最小项 ABC ABCABC ABC ABC ABC ABC ABC ABC ABC ABC ABC ABC ABC ABC ABC 2 2个变量个变量 最小项最小项 AB ABAB AB AB AB AB AB西安电子科技大学与项与项 : :CACBABC三变量最小项(标准与项)三变量最小项(标准与项) : :BCACBACBA最小项表达式:最小项表达式:ABCBCACBACABF与或表达式:与或表达式:F =AB + AC + ABC最小项最小项最小项通常用符号最小项通常用符号mimi来表示。来表示。西安电子科技大学三变量的最小项三变量的最小项mi最小项最小项CBA
14、CBACBABCACBACBACABABC0m1m2m3m4m5m6m7mABC000001010011100101110111西安电子科技大学三变量逻辑函数的最小项三变量逻辑函数的最小项*叫最小项,可能是对应这个输入,只有一个与项为1西安电子科技大学三变量表决器真值表三变量表决器真值表(2)最小项表达式)最小项表达式最小项表达式最小项表达式最小项得简写形式最小项得简写形式ABCBCACBACABFm (3,5,6,7) F(A,B,C) m6 + m5 + m3 + m7 A B CZ 0 0 0 0 0 1 0 1 0 0 1 11 0 01 0 11 1 01 1 100100111西安
15、电子科技大学最小项表达式最小项表达式例:与或表达式例:与或表达式 F =AB + ACF = AB(C + C ) + AC( B + B ) = ABC + ABC + ACB + ACB = ABC + ABC + ABC求求 最小项表达式最小项表达式西安电子科技大学或项或项 : :CACBCBA三变量最大项(标准或项)三变量最大项(标准或项) : :CBACBACBA最大项表达式:最大项表达式:)()(CBACBACBAF(3 3)最大项和最大项表达式)最大项和最大项表达式最大项定义最大项定义: n n个变量的最大项是含个变量的最大项是含n n个变量的个变量的“或项或项”,其,其中每个变
16、量都以原变量或反变量的形式出现一次。中每个变量都以原变量或反变量的形式出现一次。西安电子科技大学(3 3)最小项与最大项的关系)最小项与最大项的关系A B C 最小项最小项 mi最大项最大项 Mi 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 76543210mABCmCABmCBAmCBAmBCAmCBAmCBAmCBA76543210MCBAMCBAMCBAMCBAMCBAMCBAMCBAMCBAiiMm 输入取值使该输入取值使该最大项为最大项为0 0输入取值使该输入取值使该最小项为最小项为1 10 0 0* *叫最小项,可能是对应这叫最小
17、项,可能是对应这个输入,只有一个与项为个输入,只有一个与项为1 1,其它其它7 7个与项都为个与项都为0 0,为为1 1的少,称之为最小项的少,称之为最小项* *叫最大项,可能是对应这叫最大项,可能是对应这个输入,只有一个或项为个输入,只有一个或项为0 0,其它其它7 7个或项都为个或项都为1 1为为1 1的多,称之为最大项的多,称之为最大项西安电子科技大学)()(CBACBACBAF = M(1, 2 ,4)F =M 2 M 4 M1最大项表达式最大项表达式例:例:或与表达式或与表达式F = (A + B )( A + C )最大项表达式最大项表达式F=AB+ACF=ABC+ABC+ABCF
18、 = (A + B +C )( A + B + C )( A+ B +C )A(B+C)=AB+ACA+(BC)=(A+B) (A+C)A+B+(CC)=(A+B+C)(A+B+C)西安电子科技大学最小项和最大项的性质最小项和最大项的性质 n n变量的全部最小项之和恒为变量的全部最小项之和恒为1 1, 全部最大项全部最大项的之积恒为的之积恒为0 0。 任意两个最小项之积恒为任意两个最小项之积恒为0 0,任意两个最大项任意两个最大项之和恒等于之和恒等于1 1 。 n n变量的每一个最小(大)项有变量的每一个最小(大)项有n n个相邻项(相个相邻项(相邻项是指两个最小项只有一个因子互为反变量,邻项
19、是指两个最小项只有一个因子互为反变量,其余因子均相同,又称为其余因子均相同,又称为逻辑相邻项逻辑相邻项)。)。1120niim1200niiM)(0jimmji)( 1jiMMjiABABABAB1ABCABC0西安电子科技大学1.1.卡诺图的构成卡诺图的构成A B0 00 11 01 1 m0 m1 m2 m3AABBABAB1010 m0 m1 m2 m3 miABABABAB1010 0 1 2 3二二变变量量K图图2.6 2.6 逻辑代数的逻辑代数的K K诺图化简诺图化简西安电子科技大学两变量两变量K诺图诺图2.6 2.6 逻辑代数的逻辑代数的K K诺图化简诺图化简 建立多于二变量的卡
展开阅读全文