逻辑代数的基本定律和规则推选_第1页
逻辑代数的基本定律和规则推选_第2页
逻辑代数的基本定律和规则推选_第3页
逻辑代数的基本定律和规则推选_第4页
逻辑代数的基本定律和规则推选_第5页
已阅读5页,还剩15页未读 继续免费阅读

下载本文档

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

文档简介

逻辑代数的基本定律和规则2026/5/221复习举例说明什么是“与”逻辑?逻辑代数有哪三种基本运算?分别对应的开关电路图?真值表?逻辑表达式?逻辑图?Y=A⊕B实现怎样的逻辑功能?什么是逻辑函数?有哪些表示方法?2026/5/2222.3.1逻辑代数的基本公式返回已知逻辑函数Y=F1

(A、B、C……)和G=F2

(A、B、C……)问:逻辑函数Y=G相等的条件?

仅当A、B、C……的任一组取值所对应的Y和G都相同,具体表现为二者的真值表完全相同时,Y=G。等号“=”不表示两边数值相等,仅表示一种等价、等效的逻辑关系。因为逻辑变量和逻辑函数的取值0和1是不能比较大小的,仅表示一种状态。结论:可用真值表验证逻辑函数是否相等。

2026/5/223ABY000010100111ABG001010100111举例说明:2026/5/2241.基本公式

(1)常量之间的关系

这些常量之间的关系,同时也体现了逻辑代数中的基本运算规则,也叫做公理,它是人为规定的,这样规定,既与逻辑思维的推理一致,又与人们已经习惯了的普通代数的运算规则相似。0·

0=00+0=00·

1=0

0+1=11·

0=01+0=11·

1=1

1+1=10=11=0请特别注意与普通代数不同之处与或返回2026/5/225(2)常量与变量之间的关系普通代数结果如何?(3)与普通代数相似的定理

交换律A·B=B·AA+B=B+A结合律A·(B·C)=(A·B)·CA+(B+C)=(A+B)+C分配律A·(B+C)=A·B+A·CA+(BC)=(A+B)(A+C)2026/5/226(4)特殊的定理

德·摩根定理表2-10反演律(摩根定理)真值表2026/5/227表2-11逻辑代数的基本公式2026/5/2282.3.2逻辑代数的基本定律B:互补A:公因子A是AB的因子返回2026/5/229若等式Y=G成立,则等式Yˊ=Gˊ也成立。这些常量之间的关系,同时也体现了逻辑代数中的基本运算规则,也叫做公理,它是人为规定的,这样规定,既与逻辑思维的推理一致,又与人们已经习惯了的普通代数的运算规则相似。什么是逻辑函数?有哪些表示方法?若等式Y=G成立,则等式Yˊ=Gˊ也成立。利用对偶定理,可以使要证明和记忆的公式数目减少一半。(2)常量与变量之间的关系等号“=”不表示两边数值相等,仅表示一种等价、等效的逻辑关系。请特别注意与普通代数不同之处因此,可将逻辑函数作为一个逻辑变量对待。(1)常量之间的关系什么是逻辑函数?有哪些表示方法?若等式Y=G成立,则等式Yˊ=Gˊ也成立。G=F2(A、B、C……)这个规则叫做反演规则。A+(B+C)=(A+B)+C0·1=00+1=1对任何一个逻辑表达式Y作反演变换,可得Y的反函数Y。A的反函数是因子与互补变量A相与的B、C是第三项添加项2026/5/2210常用公式

2026/5/2211在任何一个逻辑等式(如F=G)中,如果将等式两端的某个变量(如B)都以一个逻辑函数(如Y=BC)代入,则等式仍然成立。这个规则就叫代入规则。

(1)代入规则推广返回利用代入规则可以扩大公式的应用范围。

理论依据:任何一个逻辑函数也和任何一个逻辑变量一样,只有逻辑0和逻辑1两种取值。因此,可将逻辑函数作为一个逻辑变量对待。2026/5/2212

(2)反演规则

运用反演规则时,要注意运算的优先顺序(先括号、再相与,最后或),必要时可加或减扩号。

对任何一个逻辑表达式Y作反演变换,可得Y的反函数Y。这个规则叫做反演规则。

反演变换:“﹒”→“﹢”“﹢”→“﹒”

“0”

“1”“1”

→“0”,原变量→反变量反变量→原变量2026/5/2213A+B=B+A逻辑代数的基本定律和规则在任何一个逻辑等式(如F=G)中,如果将等式两端的某个变量(如B)都以一个逻辑函数(如Y=BC)代入,则等式仍然成立。这个规则就叫代入规则。0·1=00+1=1对任何一个逻辑表达式Y作反演变换,可得Y的反函数Y。因为逻辑变量和逻辑函数的取值0和1是不能比较大小的,仅表示一种状态。对任何一个逻辑表达式Y作反演变换,可得Y的反函数Y。理论依据:任何一个逻辑函数也和任何一个逻辑变量一样,只有逻辑0和逻辑1两种取值。G=F2(A、B、C……)(1)常量之间的关系小结:1、基本定律和公式;

对任何一个逻辑表达式Y作对偶变换,可Y的对偶式Yˊ。

(3)对偶规则

运用对偶规则时,同样应注意运算的优先顺序,必要时可加或减扩号。2026/5/2214

利用对偶定理,可以使要证明和记忆的公式数目减少一半。互为对偶式

对偶定理:若等式Y=G成立,则等式Yˊ=Gˊ也成立。

2026/5/2215作业:2-2;2-4返回

温馨提示

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

评论

0/150

提交评论