逻辑代数基础M_第1页
逻辑代数基础M_第2页
逻辑代数基础M_第3页
逻辑代数基础M_第4页
逻辑代数基础M_第5页
已阅读5页,还剩32页未读 继续免费阅读

下载本文档

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

文档简介

逻辑代数基础M2.3逻辑代数的公式一、基本公式二、异或、同或逻辑的公式

三、常用公式

2.4逻辑代数的基本规则一、代入规则二、反演规则三、对偶规则作业第2页,共37页,2024年2月25日,星期天

第2章逻辑代数基础

2.1概述

事件(结果)是否发生与条件(原因)是否具备有关。逻辑就是指条件和结果之间的因果关系。一、三种基本逻辑关系:

1.与逻辑:2.或逻辑:3.非逻辑:节目录标题区第3页,共37页,2024年2月25日,星期天ABELABELAELR(a)与逻辑的电路(b)或逻辑的电路(c)非逻辑的电路图2.1.1说明三种基本逻辑的电路开关闭合:条件(原因)灯亮:事件(结果)节目录标题区第4页,共37页,2024年2月25日,星期天二、逻辑代数和逻辑变量:

逻辑变量:逻辑代数中的变量。在数字电路中用来描述具有两种对立状态的对象,常用器件名称命名,如开关S,灯L,只有两种取值

“0”和“1”

,例如:开关闭合S=1,开关断开S=0;灯亮L=1,灯灭L=0逻辑代数是描述和研究客观世界中事物之间逻辑关系的数学,是数字电路的理论基础。节目录标题区第5页,共37页,2024年2月25日,星期天2.常用表示方法:1)真值表列真值表方法:输入变量从全0开始到全1结束,顺序递增避免遗漏或重复。输入(自变量)输出(函数)ABF001010100111真值表相同则逻辑函数相同。表2.1.1三、逻辑函数及其表示方法:

1.逻辑函数概念:由逻辑自变量决定的逻辑应变量节目录标题区第6页,共37页,2024年2月25日,星期天例:如下图所示,用两个“单刀双掷”开关A和B控制楼道灯L,试列出该电路的真值表。解:用逻辑变量A、B、L分别表示两个开关和灯。设开关A(或B)的“刀”位于上触点a(或b)时,A、B为1,位于下触点时,A、B为0;灯L亮为1,灯L灭为0。可列出真值表如下:节目录标题区第7页,共37页,2024年2月25日,星期天输入输出ABL0010101001112).逻辑表达式:由逻辑输入变量和逻辑运算符号.+-(乘、加、非)构成的代数式。例如:节目录标题区第8页,共37页,2024年2月25日,星期天2.2逻辑代数中的运算一、三种基本逻辑运算:

1.与运算:(1)算符“·”(或者“×”、“∧”、“∩”、“AND”)(2)运算规则

0·0=0

1·0=0

0·1=0

1·1=1(3)与逻辑表达式:F=A·B节目录标题区第9页,共37页,2024年2月25日,星期天(4)与逻辑电路符号2.或运算:(1)算符“+”(或者“∨”、“∪”、“OR”)(2)运算规则

0+0=0

1+0=1

0+1=1

1+1=1节目录标题区第10页,共37页,2024年2月25日,星期天(3)或逻辑表达式:F=A+B(4)或逻辑电路符号3.非运算:(1)算符“—”(2)运算规则

0=1

1=0节目录标题区第11页,共37页,2024年2月25日,星期天(3)非逻辑表达式:(4)非逻辑电路符号F=A节目录标题区第12页,共37页,2024年2月25日,星期天4.实现电路:①二极管与门电路(1)与门②电路状态表输入输出

uA(V)uB(V)uF(V)00

003

030

033

3节目录标题区第13页,共37页,2024年2月25日,星期天③真值表输入输出

AB

F

00

0

01

0

10

0

11

1④逻辑符号国标曾用美国节目录标题区第14页,共37页,2024年2月25日,星期天①二极管或门电路(2)或门②电路状态表输入输出uA(V)uB(V)uF(V)00

003

330

333

3节目录标题区第15页,共37页,2024年2月25日,星期天③真值表输入输出

AB

F

00

0

01

1

10

1

11

1④逻辑符号节目录标题区第16页,共37页,2024年2月25日,星期天①三极管非门电路(3)非门②电路状态表输入输出

uA(V)

uF(V)

0

3

3

0节目录标题区第17页,共37页,2024年2月25日,星期天③真值表输入输出

A

F

0

1

1

0④逻辑符号节目录标题区第18页,共37页,2024年2月25日,星期天二、复合逻辑运算:

1.与非运算:(1)逻辑表达式:F=AB(2)逻辑符号由两个或两个以上基本运算构成的逻辑运算节目录标题区第19页,共37页,2024年2月25日,星期天2.或非运算:(1)逻辑表达式:F=A+B(2)逻辑符号节目录标题区第20页,共37页,2024年2月25日,星期天3.与或非运算:(1)逻辑表达式:F=AB+CD(2)逻辑符号节目录标题区第21页,共37页,2024年2月25日,星期天4.异或运算:(1)逻辑表达式:两个变量A、B相异时,函数F为1,相同时为0运算顺序:先求反后乘再加F=A⊕B=AB+AB节目录标题区第22页,共37页,2024年2月25日,星期天5.同或运算:(1)逻辑表达式:两个变量A、B相同时函数F为1,相异时为0(2)逻辑符号F=A⊙B=AB+AB节目录标题区真值表参见书P17表2.2.2第23页,共37页,2024年2月25日,星期天2.3逻辑代数的公式一、基本公式:

1.自等律A+0=AA·1=A2.吸收律A+1=1A·0=03.重叠律

A+A=AA·A=A4.互补律5.还原律A=AA+A=1A·A=06.交换律A+B=B+AA·B=B·A节目录标题区第24页,共37页,2024年2月25日,星期天7.结合律A+B+C=(A+B)+C=A+(B+C)A·B·C=(A·B)·C=A·(B·C)8.分配律

A·(B+C)=AB+ACA+BC=(A+B)·(A+C)9.反演律

A+B=A·BAB=A+B以上基本公式的正确性可以用列真值表的方法加以证明;同一基本公式左、右两列存在对偶关系。节目录标题区第25页,共37页,2024年2月25日,星期天二、异或、同或逻辑的公式

1.异或运算符、同或运算符互为对偶(反演)运算符2.多个变量的异或、同或间关系(1)偶数个变量的异或、同或互补(2)奇数个变量的异或、同或相等A1⊕A2⊕…

⊕An=A1⊙A2⊙

An

(n为偶数)A1⊕A2⊕…

⊕An=A1⊙A2⊙

An

(n为奇数)节目录标题区第26页,共37页,2024年2月25日,星期天3.多个常量的异或、同或运算(1)异或时,起作用的是“1”

的个数

0⊕0=00⊕0⊕0=0

1⊕1=01⊕1⊕1=1

(2)同或时,起作用的是“0”

的个数

0⊙0=10⊙0⊙0=0

1⊙1=11⊙1⊙1=1节目录标题区第27页,共37页,2024年2月25日,星期天三、常用公式

1.合并相邻项公式AB+AB=A2.消项公式A+AB=A3.消去互补因子公式A+AB=A+B利用上式2即可得证。4.多余项(生成项)公式AB+AC+BC=AB+AC证明:AB+AC+BC=AB+AC+(A+A)BC=AB+AC+ABC

+ABC=AB+AC节目录标题区第28页,共37页,2024年2月25日,星期天2.4逻辑代数的基本规则一、代入规则:

适用于等式设F1(x1,x2,…,xn)=F2(x1,x2,…,xn)则F1(G,x2,…,xn)=F2(G,x2,…,xn)例:已知GH+GH=G则有:

ABCD+ABCD=AB节目录标题区若令G=AB,H=CD第29页,共37页,2024年2月25日,星期天二、反演规则:适用于求反函数

F

F

·

+

1

0

A

A+·

0

1A

A注意:

(1)与运算优先于或运算若有括号,先算括号内;(2)不属于单个变量上的非号,在变换时应保留节目录标题区第30页,共37页,2024年2月25日,星期天例1:若F=AB+CD,试用反演规则求反函数F。例2:若F=A+B+C·D,试用反演规则求反函数F。解:F=A·BC+D解:F=(A+B)

·(C+D)节目录标题区第31页,共37页,2024年2月25日,星期天常用关系式:(1)F=F;(2)若F=G,则F=G;反之也成立。节目录标题区第32页,共37页,2024年2月25日,星期天三、对偶规则:

用于等式的证明

F

F′

·

+

1

0

0

1注意:

(1)与运算优先于或运算若有括号,先算括号内;(2)不属于单个变量上的非号,在变换时应保留节目录标题区第33页,共37页,2024年2月25日,星期天常用关系式:(1)(F′)′=F;(2)若F=G,则F′=G′;反之也成立。节目录标题区第

温馨提示

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

评论

0/150

提交评论