第二逻辑代数课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《第二逻辑代数课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第二 逻辑 代数 课件
- 资源描述:
-
1、第二逻辑代数(优选)第二逻辑代数变量的取值:逻辑变量的取值:逻辑0 0、逻辑、逻辑1 1。与运算与运算或运算或运算非运算非运算变量的表示:用字母表示变量的表示:用字母表示1 1、三种基本逻辑运算、三种基本逻辑运算一、逻辑变量一、逻辑变量二、基本逻辑运算与基本逻辑门二、基本逻辑运算与基本逻辑门逻辑逻辑0 0和逻辑和逻辑1 1不代表不代表数值大小数值大小,仅表示相互矛,仅表示相互矛盾、相互对立的盾、相互对立的两种逻辑状态两种逻辑状态下一页前一页退出逻辑表达式逻辑表达式F=A F=A B=ABB=AB与逻辑真值表与逻辑真值表与逻辑关系表与逻辑关系表1 1)与逻辑)与逻辑开关开关A A 开关开关B B
2、灯灯F F断 断断 合合 断合 合灭灭灭亮ABF1 01 10 10 00010A AB BF 逻辑符号逻辑符号只有决定某一事件的所有条件全部具备,只有决定某一事件的所有条件全部具备,这一事件才能发生这一事件才能发生与逻辑运算符,也有用与逻辑运算符,也有用“”、“”、“”、“&”表示表示 运算规则:见0为0,全1为1逻辑表达式逻辑表达式F=A F=A+B B或逻辑真值表或逻辑真值表2 2)或逻辑)或逻辑A AB BF 1 1逻辑符号逻辑符号决定某一事件结果的任意条件成立时候,决定某一事件结果的任意条件成立时候,结果发生发生结果发生发生ABF1 01 10 10 01110NN个输入:个输入:F
3、=A F=A+B B+.+N+.+N或逻辑运算符,也有或逻辑运算符,也有用用“”、“”表表示示 运算规则:见1为1,全0为0下一页前一页退出3 3)非逻辑)非逻辑当决定某一事件的条件满足时,事件不发当决定某一事件的条件满足时,事件不发生;反之事件发生生;反之事件发生,非逻辑真值表非逻辑真值表逻辑符号逻辑符号A AF1A AF F0 01 11 10 0逻辑表达式逻辑表达式F=A F=A“-”非逻辑运算非逻辑运算符符2 2、复合逻辑运算、复合逻辑运算与非逻辑运算与非逻辑运算F F1 1=AB=AB或非逻辑运算或非逻辑运算F F2 2=A+B=A+B与或非逻辑运算与或非逻辑运算F F3 3=AB+
4、CD=AB+CD1 1)异或运算)异或运算ABF1 01 10 10 01100A AB BF=1=1逻辑符号逻辑符号ABF1 01 10 10 000112 2)同或运算)同或运算逻辑表达式逻辑表达式F=A F=A B=B=A A B B A AB BF=1=1逻辑符号逻辑符号3 3、其他常见运算、其他常见运算 运算规则:相同为0,相异为1 运算规则:相同为1,相异为0下一页前一页退出逻辑表达式逻辑表达式F=AF=A B=AB+B=AB+ABAB (A B)C=A(B C)k图中行、列两组变量取值按循环码规律排列,图中几何相邻的最小项在逻辑上相邻。1 1 1 1即 若 F1=F2 则F1=F
5、2。与逻辑运算符,也有用“”、“”、“”、“&”表示5、具有无关项的逻辑函数的化简约束:对输入变量所加的限制,这组变量叫做具有约束的变量描述逻辑函数各个变量取值组合和函数值对应关系的表格每个圈一项保留未变化的因子变量的取值:逻辑0、逻辑1。从真值表找出F为1的对应最小项A A=A A+A=A任何一个含有某变量的等式,如果等式中所有出现此变量的位置均代之以一个逻辑函数式,则此等式依然成立那么得到的新函数式称为原函数式F的反函数式。每个圈一项保留未变化的因子例:d(m2,m5,m7)上下左右几何相邻的方格内,只有一个因子不同Y=A B C D+A B C D+A B C D +A B C D+A
6、B C DAB+ABC=AB+C1 1 1 1ABF1 00 10 00001 11 ABFVL VLVLVLVHVL0ABF0 10 01 01 1111VL VHVH VLVH VH电平关系电平关系正逻辑正逻辑负逻辑负逻辑高电平高电平V VH H用逻辑用逻辑1 1表示,表示,低电平低电平V VL L用逻辑用逻辑0 0表示表示4 4、正逻辑与负逻辑、正逻辑与负逻辑(与门)(与门)(或门)(或门)高电平高电平V VH H用逻辑用逻辑0 0表示,表示,低电平低电平V VL L用逻辑用逻辑1 1表示表示下一页前一页退出逻辑符号:逻辑符号:&1=1=1=A AB BY YA AB BY YA AB
7、BY YA AB BY YY YB BA AY YB BA AY YB BA AY YB BA A国外符号:国外符号:下一页前一页退出2.2 逻辑代数的基本公式和常用公式最小项编号i-各输入变量取值看成二进制数,对应的十进制数对于任意一个逻辑函数式F,做如下处理:1 可以重复圈,但每个圈中至少有一个未被圈过的1用卡诺图表示 F(a,b,c,d)=M(5,7,13,15)n个变量的函数-k图有2n个小方格,分别对应2n个最小项;然后将这些项逻辑加约束:对输入变量所加的限制,这组变量叫做具有约束的变量描述逻辑函数各个变量取值组合和函数值对应关系的表格约束:对输入变量所加的限制,这组变量叫做具有约束
8、的变量1 1F=f(A、B、C、.k图中行、列两组变量取值按循环码规律排列,图中几何相邻的最小项在逻辑上相邻。得到新函数式为原函数式F的对偶式F,也称对偶函数 挑出函数值为1的项 从真值表找出F为1的对应最小项或d(m2+m5+m7)1 1、基本公式基本公式公理公理交换律交换律结合律结合律分配律分配律0 0 0=0 0=00 0 1=1 1=1 0=0 0=0 1 1 1=1 1=10 0+0=0+0=00 0+1=1+0=1+1=1+0=1 1 1+1=1+1=1A A B=B B=B A A A A+B=B+B=B +A+A(A(A B B)C=C=A A (B(B C)C)(A(A+B+
9、B)+C=)+C=A A+(B+C)+(B+C)A A (B B+C)=+C)=A A B+B+A A C C A A+B+B C=(C=(A A+B)+B)(A A+C)+C)0-10-1律律重叠律重叠律互补律互补律自等律自等律A A 0=0 0=0 A A+1=1+1=1A A 1=A 1=A A A+0=A+0=AA A A=0 A=0 A A+A=1+A=1A A A=A A=A A A+A=A+A=A A A=A=A还原律还原律下一页前一页退出A A B=A+B B=A+B A A+B=AB+B=AB反演律反演律吸收律吸收律A+AA+A B=A B=A某乘积项的部分因子恰好是另一乘积
10、项的全部,则该乘积项多余下一页前一页退出A A (A A +B B)=A=A2 2、常用公式常用公式ABAB+ABCABC=AB+C =AB+C 某乘积项的部分因子恰好是另一乘积项的补,则该部分因子多余例:A A+A BA B=A+B =A+B 消因律消因律ABAB+A A C+BC=C+BC=ABAB+A A C C(A+B)(A+B)(A+A+C)(B+C)=(C)(B+C)=(A+B)(AA+B)(A+C)+C)包含律包含律若两个乘积项的部分因子恰好互补,而第三个乘积项含有前两项剩余因子之积,则第三个乘积项多余ABAB+A A C+BCD=C+BCD=ABAB+A A C C下一页前一页
11、退出上下左右几何相邻的方格内,只有一个因子不同 圈中 1 的个数为2n个 挑出函数值为1的项 挑出函数值为1的项Y=ABC+ABD+CD +ABC+ACD +ACD某乘积项的部分因子恰好是另一乘积项的全部,则该乘积项多余 从真值表找出F为1的对应最小项 不属于单个变量上的非号有两种处理方法约束项也可表示为 m2m5m70一、逻辑函数及其表示方法 常量“0”换成“1”,“1”换成“0”;相同编号的最小项和最大项存在互补关系0 0 0 0Y=AB+AC+BC+CD4、用卡诺图化简逻辑函数最小项编号i-各输入变量取值看成二进制数,对应的十进制数 1 可以重复圈,但每个圈中至少有一个未被圈过的11 1
12、约束项和任意项统称为无关项.2.3 逻辑代数的基本定理约束:对输入变量所加的限制,这组变量叫做具有约束的变量一、逻辑函数及其表示方法 从真值表找出F为1的对应最小项决定某一事件结果的任意条件成立时候,结果发生发生约束:对输入变量所加的限制,这组变量叫做具有约束的变量0+1=1+0=11 1 k图中行、列两组变量取值按循环码规律排列,图中几何相邻的最小项在逻辑上相邻。变量的取值:逻辑0、逻辑1。某乘积项的部分因子恰好是另一乘积项的全部,则该乘积项多余式为“或-与”表达式也称“和之积”表达式;”换成“+”,“+”换成“.相同编号的最小项和最大项存在互补关系5、具有无关项的逻辑函数的化简高电平VH用
13、逻辑1表示,低电平VL用逻辑0表示AB+ABC=AB+CAB+ABC=AB+C5、具有无关项的逻辑函数的化简2 逻辑代数的基本公式和常用公式1 1、代入定理代入定理 代入规则代入规则:任何一个含有某变量的等式,如果等任何一个含有某变量的等式,如果等式中所有出现此变量的位置均代之以式中所有出现此变量的位置均代之以一个逻辑函数式,则此等式依然成立一个逻辑函数式,则此等式依然成立例:例:A A B=A+B B=A+BBCBC替代替代B B得得ABCBCACBA由此反演律能推广到由此反演律能推广到n n个变量:个变量:n 21n 21n 21n 21AAAAAAAAAA A A利用反演律利用反演律n
14、21n 21n 21n 21AAAAAAAAAA A A下一页前一页退出 反演规则反演规则:对于任意一个逻辑函数式对于任意一个逻辑函数式F F,做如下处理:,做如下处理:若把式中的运算符若把式中的运算符“.”换成换成“+”,“+”换成换成“.”;常量常量“0 0”换成换成“1 1”,“1 1”换成换成“0 0”;原变量换成反变量,反变量换成原变量原变量换成反变量,反变量换成原变量那么得到的新函数式称为原函数式那么得到的新函数式称为原函数式F F的反函数式的反函数式。注:注:保持原函数的运算次序保持原函数的运算次序-先与后或,必要时适当地加入括号先与后或,必要时适当地加入括号 不属于单个变量上的
15、非号有两种处理方法不属于单个变量上的非号有两种处理方法 非号保留,而非号下面的函数式按反演规则变换非号保留,而非号下面的函数式按反演规则变换 将非号去掉,而非号下的函数式保留不变将非号去掉,而非号下的函数式保留不变例:例:F(AF(A、B B、C)C)CBAB)C A(BA 其反函数为其反函数为)CBA(BCA)BA(F或或)CBA(B)CA()BA(F下一页前一页退出2 2、反演定理反演定理 对偶式对偶式:对于任意一个逻辑函数,做如下处理:对于任意一个逻辑函数,做如下处理:1 1)若把式中的运算符)若把式中的运算符“.”换成换成“+”,“+”换成换成“.”;2 2)常量)常量“0 0”换成换
16、成“1 1”,“1 1”换成换成“0 0”得到新函数式为原函数式得到新函数式为原函数式F F的对偶式的对偶式FF,也称对偶函数,也称对偶函数 对偶规则:对偶规则:如果两个函数式相等,则它们对应的对偶式也相如果两个函数式相等,则它们对应的对偶式也相等。即等。即 若若 F F1 1=F=F2 2 则则F F1 1=F=F2 2。使公式的数目。使公式的数目增加一倍。增加一倍。求对偶式时运算顺序不变,且它只变换运求对偶式时运算顺序不变,且它只变换运算符和常量,其变量是不变的。算符和常量,其变量是不变的。注:注:函数式中有函数式中有“”和和“”运算符,求反函运算符,求反函数及对偶函数时,要将运算符数及对
17、偶函数时,要将运算符“”换成换成“”,“”换成换成“”。例:例:B1CAABF 其对偶式其对偶式)B 0()CA()BA(F下一页前一页退出3 3、对偶定理对偶定理2.4 逻辑函数及其表示方法F=fF=f(A A、B B、C C、.)称为逻辑函数。)称为逻辑函数。1 1、逻辑函数式、逻辑函数式2 2、逻辑图逻辑图输入变量输入变量输出变量输出变量例:例:F=AB F=A+BF=AB F=A+BA AB BF 1 1下一页前一页退出一、逻辑函数及其表示方法一、逻辑函数及其表示方法 F=A B+CF=A B+CA AB B1C CF F描述逻辑函数各个变量取值组合和函数值对应关系的表格真值表的写法:
18、列出所有变量的取值组合及相应的输出函数值n个变量有2n种组合ABF1 01 10 10 000113 3、真值表、真值表ABF1 01 10 10 00011下一页前一页退出4 4、波形图、波形图反映输入和输出波形变化的图形又叫时序图反映输入和输出波形变化的图形又叫时序图例:A AB BC CF0 00 00 00 00 01 10 00 01 10 01 11 11 10 00 01 11 10 01 11 11 10 01 11 1断断“0 0”合合“1 1”亮亮“1 1”灭灭“0 0”C C开,开,F F灭灭0 00 00 00 0C C合,合,A A、B B中中有一个合,有一个合,F
19、F亮亮1 11 1C C合,合,A A、B B均均断,断,F F灭灭0 0真值表到函数式真值表到函数式 挑出函数值为挑出函数值为1 1的项的项1 1 1 10 01 11 11 11 11 10 01 11 11 11 1 每个函数值为每个函数值为1 1的输入变量取值组合写成一个乘积项的输入变量取值组合写成一个乘积项 这些乘积项作逻辑加这些乘积项作逻辑加输入变量取值为输入变量取值为1 1用原变量表示用原变量表示;反之,则用反变量表示反之,则用反变量表示ABCABC、ABCABC、ABCABCF=F=ABC+ABC+ABCABC+ABC+ABC下一页前一页退出二、各种表示方法间的相互转换二、各种
20、表示方法间的相互转换 k图中行、列两组变量取值按循环码规律排列,逻辑电路所用门的数量少相同编号的最小项和最大项存在互补关系Y=M(5,7,13,15)5、具有无关项的逻辑函数的化简1 1即 若 F1=F2 则F1=F2。2、逻辑函数的标准形式+A B C D例:d(m2,m5,m7)例:水塔中装有两个水位检测传感器,当水位高于传感器时,输出为1,否则为0,当水位高于A时,水位溢出报警器Y1输出为1,当水位低于B时,水位过低报警器Y2输出为1。如果两个函数式相等,则它们对应的对偶式也相等。三、逻辑函数的标准形式A 0=0 A+1=1 相邻的 1 圈在一起,圈为矩形。变量的取值:逻辑0、逻辑1。变
21、量的取值:逻辑0、逻辑1。逻辑0和逻辑1不代表数值大小,仅表示相互矛盾、相互对立的两种逻辑状态AB+A C+BC=AB+A C 有三种几何相邻:邻接、相对(行列两端)和对称”换成“+”,“+”换成“.F=F=ABC+ABC+ABCABC+ABC+ABC乘积项用与门实现,乘积项用与门实现,和项用或门实现和项用或门实现下一页前一页退出函数式到逻辑图函数式到逻辑图 1 11ABC逻辑图到函数式CBCA BA B+BCA B+BCF=真值表到波形图A AB BC CF0 00 00 00 00 01 10 00 01 10 01 11 11 10 00 01 11 10 01 11 11 10 01
22、11 10 00 00 00 01 11 10 01 1 1 10 01 11 11 11 11 10 01 11 11 11 1CAB三、逻辑函数的标准形式三、逻辑函数的标准形式1 1、函数表达式的常用形式、函数表达式的常用形式 一个逻辑函数可以写成几种不同类型的形式。例如:F(A、B、C)“与非与非”式“或与”式“或非或非”式“与或非”式 上述式为“与-或”表达式,也称“积之和”表达式;式为“或-与”表达式也称“和之积”表达式;两者为逻辑函数的基本形式“与或”式下一页前一页退出最小项:最小项:n n个变量有个变量有2 2n n个最小项,记作个最小项,记作mmi i3 3个变量有个变量有2
23、23 3(8 8)个最小项)个最小项CBACBAmm0 0mm1 10000000010010 01 1CBABCACBACBACABABC mm2 2mm3 3mm4 4mm5 5mm6 6mm7 70100100110111001001011011101101111112 23 34 45 56 67 7n n个变量的逻辑函数中,包括全部个变量的逻辑函数中,包括全部n n个变量个变量的乘积项(每个变量必须而且只能以原变的乘积项(每个变量必须而且只能以原变量或反变量的形式出现一次)量或反变量的形式出现一次)1)最小项和最大项最小项和最大项乘积项乘积项和项和项最小项最小项二进制数二进制数十进制
展开阅读全文