- 1、本文档共108页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第二章 逻辑代数基础
§2.1 概述
§2.2 逻辑代数中的三种基本运算
§2.3 逻辑代数中的基本公式和常用公式
§2.4 逻辑代数中的基本定理
§2.5 逻辑函数及其表示方法
§2.6 逻辑函数的化简方法
§2.7 具有无关项的逻辑函数及其化简
在数字电路中,我们要研究的是电路的输入输出之间的逻辑关系,所以数字电路又称逻辑电路,相应的研究工具是逻辑代数(布尔代数)。
在逻辑代数中,逻辑函数的变量只能取两个值(二值变量),即0和1,中间值没有意义,这里的0和1只表示两个对立的逻辑状态,如电位的低高(0表示低电位,1表示高电位)、开关的开合等。
§ 2.1 概述
若把开关闭合、灯亮、电压为高电位等定义为“1”;把开关断开、灯灭、无电压等定义为“0”,通常把这种关系称为正逻辑关系。
反之,若把开关闭合、灯亮、电压为高电位等赋值为逻辑“0”;而把开关断开、灯灭、无电压等赋值为逻辑“1”,则这样的逻辑关系通常称为负逻辑关系。
返回主目录
A、B、C都具备时,事件Y才发生。
逻辑符号
(1)“与”逻辑
§2.2 逻辑代数中的三种基本运算
“与”、 “或” “非”三种。
Y=A?B?C
逻辑式
真值表
A、B、C:0——开关断开
1——开关闭合
Y:0——灯灭 1——灯亮
实现与逻辑运算的单元电路叫做与门
A、B、C只有一个具备时,事件Y就发生。
逻辑符号
(2)“或”逻辑
Y=A+B+C
逻辑式
真值表
A、B、C:0——开关断开
1——开关闭合
Y:0——灯灭 1——灯亮
实现或逻辑运算的单元电路叫做或门
A具备时,事件Y不发生;A不具备时,事件Y发生。
逻辑符号
逻辑式
(3)“非”逻辑
真值表
与、或、非逻辑运算门电路图形符号的几种常用形式见P22图 2.2.2 。
A:0——开关断开 1——开关闭合
Y:0——灯灭 1——灯亮
实现非逻辑运算的单元电路叫做非门(也叫做反相器)
(4)几种复合逻辑运算
“与”、“或”、“非”是三种基本的逻辑关系,任何其它的逻辑关系都可以以它们为基础表示。
与非:条件A、B、C全为1,则Y 才为0 。
异或:A、B不同时,输出Y为1;反之, Y等于0 。
或非:条件A、B、C任一为1,
则Y等于0 。
与或非:AB或CD 任一组为1,则Y等于0 。
同或:A、B相同时,Y等于1; A、B不同时,Y等于0 。
异或门
(a)常用符号
(b)美、日常用符号
(c)国标符号
A
B
Y
A
B
Y
A
B
Y
与非门
A
B
Y
A
B
Y
A
B
Y
?1
或非门
异或非门
A
B
Y
A
B
Y
A
B
Y
=1
A
B
Y
A
B
Y
A
B
Y
=
与、或、非三种运算的优先级
非
与
或
如果其中有括号,要以括号中的运算为最优先
返回主目录
0 ? A=0 1 +A=1 1?A =A 0 +A=A
2.3.1 基本公式
(这些公式也叫布尔恒等式)
变量与常量关系(运算规则)
交换律
重叠律
互补律
A+B=B+A
A? B=B ? A
A? (B ? C)=(A ? B) ? C
结合律
求反律
A+(B+C)=(A+B)+C
§2.3 逻辑代数的基本公式和常用公式
分配律
A(B+C)=A ? B+A ? C
A+B ? C=(A+B)(A+C)
德.摩根定理
还原律
例2.3.1 用真值表证明
A+B ? C=(A+B)(A+C)
A B C
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
(A+B)(A+C)
A+B ? C
0
0
0
0
0
0
1
1
1
1
1
1
1
1
1
1
结论 ?
一.原变量的吸收:
A+AB=A
证明:
A+AB=A(1+B)=A?1=A
二.反变量的吸收:
证明:
2.3.2 若干常用公式
四.
证明:
三.
五. 混合变量的吸收:
证明:
推论:
六.
证明:
返回主目录
2.4.1 代入定理
§2.4 逻辑代数的基本定理
在任何一个包含变量A的逻辑等式中,若以另外一个逻辑式代入式中所有A的位置,则等式仍然成立。 —— 公理,无须证明
在对复杂的逻辑式进行运算时,仍需遵守与普通
文档评论(0)