第二章逻辑代数基础_1
第2章 逻辑代数基础
A B
冗余律: AB A C BC AB A C
证明: AB A C BC
AB A C ( A A) BC
AB A C ABC A BC
互补率A+A=1 分配率 A(B+C)=AB+AC 0-1率A+1=1
AB(1 C) A C(1 B)
1、并项法
利用公式A+A=1,将两项合并为一项,并消去一个变量。 运用分配律 变并 相 和 包 量成 同 反 含 Y1 ABC A BC BC ( A A ) BC BC 的一 时 变 同 若 因项 , 量 一 两 BC BC B(C C ) B 子, 则 , 个 个 。并 这 而 因 乘 运用分配律 消两其子积 去项他的项 Y2 ABC AB AC ABC A( B C ) 互可因原中 ABC ABC A( BC BC) A 为以子变分 反合都量别 运用摩根定律
(2)反演规则:对于任何一个逻辑表达式Y,如果将表达式 中的所有“·”换成“+”,“+”换成“·”,“0”换成“1”, “1”换成“0”,原变量换成反变量,反变量换成原变量,那么 所得到的表达式就是函数Y的反函数Y(或称补函数)。这个规 则称为反演规则。例如:
Y AB CD E
Y A B C D E
A A B A 吸收率: A ( A B) A
A ( A B) A B A A B A B
证明: A A B ( A A)(A B)
分配率 A+BC=(A+B)(A+C)
1 ( A B)
互补率A+A=1
阎石《数字电子技术基础》(第6版)章节题库-第2章 逻辑代数基础【圣才出品】
第2章逻辑代数基础一、选择题1.与ABC+ABC______函数式功能相等的函数表达式是()。
A.ABCB.AC.ABC______D.ABC+BC______【答案】B【解析】利用换元法令D=BC,ABC+ABC______=AD+AD_=A,即ABC+ABC______=A(BC +BC______)=A。
2.逻辑函数F=A⊕(B⊕A)=()。
A.BB.AC.A⊕BD.A_⊙B【答案】A【解析】F=A⊕(B⊕A)=A⊕B⊕A=A⊕A⊕B=0⊕B=B3.某一逻辑函数真值表确定后,下面描述该函数逻辑功能的表达式中,具有唯一性的是()。
A.该逻辑函数的积之和标准型B.该逻辑函数的最简与或式C.该逻辑函数的最简或与式D.该逻辑函数的和之积式【答案】A【解析】逻辑函数的积之和标准型是最小项之和,具有唯一性,而且和之积式标准型也是唯一的,但是一般的和之积与或与式相同,最简或与式与最简与或式都不具有唯一性,这与卡诺图的画法有关系。
4.下列哪一项为逻辑项ABC_D的相邻项()。
A.ABCDB.A_BCDC.ABC_D______D.ABCD【答案】A【解析】两个相邻项直接只有1位不同,故选A。
5.逻辑函数F1、F2、F3的卡诺图如图2-1所示,他们之间的逻辑关系是()。
A.F3=F1·F2B.F3=F1+F2C.F2=F1·F3D.F2=F1+F3(a)F1的卡诺图(b)F2的卡诺图(c)F3的卡诺图图2-1 F1、F2、F3的卡诺图【答案】B【解析】根据卡诺图,可以看出,F3是F1F2的并集,而逻辑函数的加法运算就是并集的作用,交集与乘法相对应。
6.下列几种说法中错误的是()。
A.任何逻辑函数都可以用卡诺图表示。
B.逻辑函数的卡诺图是唯一的。
C.同一个卡诺图化简结果可能不是唯一的。
D.卡诺图中1的个数和0的个数相同。
【答案】D【解析】卡诺图中0和1的个数是根据逻辑函数的表达式得到的,两者不一定相等,当有约束条件的时候,1和0的个数可能是变化的。
逻辑代数基础
其真值表如表2.2.4所示
表2.2.4 与非逻辑真值表
输入 输出
A
BY
0
01
0
11
1
01
1
10
其逻辑规律服从“有0出1, 全1才出0”
实现与非运算用与非门电路来 实现,如图2.2.7所示
5. 或非(NOR)运算
表2.2.4 与非逻辑真值表
输入 输出
A
BY
0
01
0
11
1
01
1
10
或非运算是先或运 算后非运算的组合。以 二变量A、B为例,布尔 代数表达式为:
其真值表如表2.2.7所示 其门电路的逻辑符号如图2.2.11 所示
表2.2.7 同或逻辑真值表
输入 输出
A
BY
A B
= YA B
Y
0
01
0
10
1
00
图2.2.11 同或门逻辑符号
1
11
逻辑符号国标
2.3 逻辑代数的基本公式和常用公式
2.3.1 基本公式
表2.3.1为逻辑代数的基本公式,也叫布尔恒等式 表2.3.1 逻辑代数的基本公式
c. 非非律: (A) A
d. 吸收律:A + A B = A A (A+B) = A
e. 摩根定律: (AB) A B (A B) A B
注:以上定律均可由真值表验证
链接B
2.3.2 若干常用公式
表2.3.2为常用的一些公式
表2.3.2 常用公式
序号
公
式
21
A AB A
22 A AB A B
故: (ABC) A B C
第2章逻辑代数基础
同时,函数F的值为“0”。
便于获得逻辑电路图
逻辑表达式的简写:
1.“非”运算符下可不加括号,如
,
等。
2.“与”运算符一般可省略,如A·B可写成AB。
3.在一个表达式中,如果既有“与”运算又有“或”运 算,则按先“与”后“或”的规则进行运算,可省去括号,如 (A·B)+(C·D)可写为AB+CD。
注意:(A+B)·(C+D)不能省略括号,即不能写成A+B·C+D!
A
FA
1
FA
F
(a)我国常用传统符号
(b)国际流行符号 非门的逻辑符号
(c)国家标准符号
2.1.3 逻辑代数的复合运算
“与”、“或”、“非”三种基本逻辑运算按不同的方 式组合,还可以构成“与非”、“或非”、“与或非”、 “同或”、“异或”等逻辑运算,构成复合逻辑运算。对应 的复合门电路有与非门、或非门、与或非门、异或门和同或 门电路。
能实现基本逻辑运算的电路称为门电路,用基本的门电 路可以构成复杂的逻辑电路,完成任何逻辑运算功能,这些 逻辑电路是构成计算机及其他数字系统的重要基础。
实现“与”运算关系的逻辑电路称为“与”门。
A
A
A
&
B
F B
F B
F
(a)我国常用传统符号
(b)国际流行符号 与门的逻辑符号
(c)国家标准符号
2.1.2 逻辑代数的基本运算
2.逻辑值0和1是用来表征矛盾的双方和判断事件真伪 的形式符号,无大小、正负之分。
2.1.1 逻辑代数的定义
逻辑代数L是一个封闭的代数系统,它由一个逻辑变量集 K,常量0和1以及“或”、“与”、“非”三种基本运算所 构成,记为L={K,+,·,-,0,1}。该系统应满足下列公理。
逻辑代数基础
所得到的图形叫n变量的卡诺图。
逻辑相邻的最小项:如果两个最小项只有一个变量互为反变 量,那么,就称这两个最小项在逻辑上相邻。 如最小项 m6=ABC、与
m7 =ABC 在逻辑上相邻 m7
m6
两变量卡诺图 AB 0 1 m0 m1 0 AB AB 1 mB AB A 2 m3 三变量卡诺图 B
四变量卡诺图 CD AB 00 01 11 10 00 m0 m1 m3 m2 01 m4 m5 m7 m6 A 11 m12 m13 m15 m14
b.去括号
ABC ABC AB
ABC ABC AB(C C )
ABC ABC ABC ABC
m3 m5 m7 m6 m(3,5,6,7)
三、 用卡诺图表示逻辑函数
1、卡诺图的引出 卡诺图:将n变量的全部最小项都填入小方格内,并使具有 逻辑相邻的最小项在几何位置上也相邻地排列起来,这样,
L CD 00 01 AB 00 1 1 01 11 10 1 0 1 0 0 0 11 10 1 0 1 1 1 0 1 1
例2 画出下式的卡诺图
L ( A, B, C , D) ( A B C D)( A B C D)( A B C D)
解
( A B C D)( A B C D) 1. 将逻辑函数化为最小项表达式
结合律:A + B + C = (A + B) + C
A · · = (A · · B C B) C
A 分配律: ( B + C ) = AB + AC
A + BC = ( A + B )( A + C )
数字电路第2章逻辑代数基础及基本逻辑门电路
(5)AB+A B = A (6)(A+B)(A+B )=A 证明: (A+B)(A+B )=A+A B+AB+0 A( +B+B) = 1 JHR A =
二、本章教学大纲基本要求 熟练掌握: 1.逻辑函数的基本定律和定理; 门、 2.“与”逻辑及“与”门、“或”逻辑及“或”
“非”逻辑及“非”门和“与”、“或”、“非” 的基本运算。 理解:逻辑、逻辑状态等基本概念。 三、重点与难点 重点:逻辑代数中的基本公式、常用公式、 基本定理和基本定律。
JHR
难点:
JHR
1.具有逻辑“与”关系的电路图
2.与逻辑状态表和真值表
JHR
我们作如下定义: 灯“亮”为逻辑“1”,灯“灭”为逻辑“0” 开关“通”为逻辑“1”,开关“断”为逻辑 “0” 则可得与逻辑的真值表。 JHR
3.与运算的函数表达式 L=A·B 多变量时 或 读作 或 L=AB L=A·B·C·D… L=ABCD… 1.逻辑表达式 2.逻辑符号
与非逻辑真值表
Z = A• B
3.逻辑真值表
逻辑规律:有0出1 全1 出0
JHR
A 0 0 1 1
B 0 1 0 1
Z 1 1 1 0
二、或非逻辑 1.逻辑表达式 2.逻辑符号
Z = A+ B
先或后非
3.逻辑真值表
JHR
三、与或非逻辑 1.逻辑表达式 2.逻辑符号
1.代入规则 在任一逻辑等式中,若将等式两边出现的同 一变量同时用另一函数式取代,则等式仍然成立。
JHR
代入规则扩大了逻辑代数公式的应用范围。例如摩 根定理 A+B = A ⋅ B 若将此等式两边的B用B+C 取代,则有
第二章逻辑代数
性质3:任意两个不同的最小项的乘积必为0。
第2章
(3)最小项的性质
3 变量全部最小项的真值表 A B C m0 m1 m2 m3 m4 m5 m6 m7 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 。 0 1 1 变量 0 ABC 0取值为 0 001情况下,各最小项之和为 1 0 0 0 0 1 0 0 【因为其中只有一个最小项为 0 0 0 0 1 1,其余全为 0 0 0。】 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1
第2章
2.卡诺图的特点
(1)最小项的相邻性
任何两个最小项如果他们只有一个因子不同,其余因子
都相同,则称这两个最小项为相邻最小项。 显然,m0与m1具有相邻性,而
m1 (A BC) 与
m 2 (ABC)不相
邻,因为他们有两个因子不相同。m3与m4也不相邻,而m3与m2
相邻。
相邻的两个最小项之和可以合并成一项,并消去一个变 量。如:
AB1 CDE F AB
运用摩根定律
例2: Y2 A B CD ADB A BCD AD B (A AD) (B BCD) 如果乘积项是另外一个乘 积项的因子,则这另外一 A1 D B1 CD 个乘积项是多余的。 AB
如: Y AB AC ①求出反函数的 最简与或表达式
Y AB AC (A B)( A C) AB AC BC AB AC
②利用反演规则写出函 数的最简或与表达式 最简或与表达式
阎石《数字电子技术基础》(第6版)考研真题精选-第2章 逻辑代数基础【圣才出品】
圣才电子书 十万种考研考证电子书、题库视频学习平台
解:根据带有约束项的逻辑函数式化简方法,利用卡诺图进行化简,最小项处写 1,约 束项处写×,如图 2-2 所示。
图 2-2 第 2 题卡诺图 化简得到 F=BD+B′D′+CD。
3.化简并写出 F 的最简与或式,写出详细过程。[重庆大学 2015 研] F(A,B,C,D)=Σmi(i=0,1,2,4,5,6,9,10,13) 约束条件:m8+m11+m15=0 解:根据带有约束项的逻辑函数式化简方法,利用卡诺图法进行化简,最小项处写 1, 约束项处写×,画出卡诺图如图 2-3 所示。
误;将输入变量的变化代入逻辑表达式中进行化简,可知 C、D 项错误;通过讲逻辑表达式
进行化简,加上选项 C 所给冗余项后,可消除竞争-冒险现象,故答案为 B。
二、填空题
1.用最小项表示函数 F(A,B,C)=∑m(0,1,2,6),则它的最大项表达式是 F =( )(注:丌要写简略形式)。[北京邮电大学 2015 研]
_
__
2.逻辑函数 F=AC+AB+BC,当变量的取值为( )时,将出现冒险现象。[北京
邮电大学 2015 研]
A.B=C=1
B.B=C=0
C.A=1,C=0
D.A=0,B=0
【答案】ACD
【解析】根据检查竞争-冒险现象的方法,将变量取值代入函数表达式中进行化简,根
_
_
据化简结果即可判断是否存在竞争-冒险现象。F=A+A,就会产生“0”冒险;F=AA,就
解:将函数展开为最小项之和: F(A,B,C,D)=A′C′D+A′BCD+AB′C′D′+A′B′D=A′BC′D+A′B′C′D+A′BCD+ AB′C′D′+A′B′CD+A′B′C′D=∑m(1,3,5,7,8)。 约束项 ABD+AB′C+A′B′D′=ABCD+ABC′D+AB′CD+AB′CD′+A′B′CD′+ A′B′C′D′=∑d(0,2,10,11,13,15)。 利用卡诺图法化简,最小项处写 1,约束项处写×,依题可得卡诺图如图 2-1 所示。
第2章 逻辑代数基础(完整版)
2
A BC ( A B)( A C )
方法二:真值表法
[解]
方法一:公式法
右式 ( A B)( A C ) A A A C A B B C
A AC AB BC A(1 C B) BC
A BC 左式
A (B C) A B A C 分配律: C ( A B) ( A C ) A B 缓一缓 ( A B)' A'B' ( A B)' A' B' 反演律(摩根定理):
( A B C )' A' B'C ' ( A B C )' A'B'C ' ( A B C )' A' B'C ' ( A B C )' A'B'C '
互补律: A A' 1
A 1 1 A 0 0
A A' 0
等幂律: A A A
A A A
双重否定律: ( A' )' A
20
CopyRight @安阳师范学院物电学院_2013
2
3)基本运算规则
A B B A 交换律: A B B A ( A B) C A ( B C ) 结合律: ( A B) C A ( B C )
A E 电路图 B Y
开关 A 开关 B 断开 断开 闭合 闭合 断开 闭合 断开 闭合 功能表
灯Y 灭 灭 灭 亮
5
L=ABCopyRight @安阳师范学院物电学院_2013
第2章逻辑代数基础
自等律:A·1=A
重叠律:A·A=A
A+0=A
A+A=A
互补律:A· A=0
A+A=1
第2章 逻辑代数基础
2. 与普通代数相似的定律 交换律 A·B=B·A 结合律 (A·B)·C=A·(B·C) 分配律 A·(B+C)=AB+AC A+B=B+A (A+B)+C=A+(B+C) A+BC=(A+B)(A+C)
任何逻辑函数式都存在着对偶式。 若原等式成立, 则 对偶式也一定成立。即,如果F=G, 则F′=G′。这种逻辑推
理叫做对偶原理,或对偶规则。
必须注意,由原式求对偶式时,运算的优先顺序不能 改变, 且式中的非号也保持不变。 观察前面逻辑代数基本定律和公式,不难看出它们都 是成对出现的, 而且都是互为对偶的对偶式。 例如,已知乘对加的分配律成立,即A(B+C)=AB+AC, 根据对偶规则有,A+BC=(A+B)(A+C),即加对乘的分配律
第2章 逻辑代数基础
逻辑函数与普通代数中的函数相似,它是随自变量的变 化而变化的因变量。因此,如果用自变量和因变量分别表示
某一事件发生的条件和结果,那么该事件的因果关系就可以
用逻辑函数来描述。 数字电路的输入、输出量一般用高、低电平来表示,高、 低电平也可以用二值逻辑1和0来表示。同时数字电路的输出 与输入之间的关系是一种因果关系, 因此它可以用逻辑函数 来描述,并称为逻辑电路。对于任何一个电路,若输入逻辑 变量A、 B、 C、 … 的取值确定后,其输出逻辑变量F的值也 被惟一地确定了,则可以称F是A、 B、 C、 … 的逻辑函数, 并记为
第二章 逻辑代数基础
上页 下页 返回 17
第2章
2.3 复 合 逻 辑
1.与非逻辑
F = AB
2.或非逻辑 F = A+B
3. 与或非逻辑
F = AB+CD
A &F
A
F
B
B
与非门
A
F
≥1
B
或非门
A
B&
F
C
D
与或非门
上页 下页 返回 18
第2章
2.3 复 合 逻 辑
4.异或逻辑—相同为‘0’,相异为‘1’
F = A B =A B + A B
A) F1= [( A+ B) •C + D]( A+ C)
B) F2= A•B •C •D •E
[例2] 求下列函数的对偶函数 A)F1= AB+ C •D + AC B) F2= A+ B + C + D + E
A) F1*=[( A+ B) •C + D]( A+ C)
B) F2*=A•B •C •D •E
n个变量有2n个最小项,记作mi 3个变量有23(8)个最小项
n个变量的最小项,有n个相邻项
最小项 ABC ABC ABC ABC A BC A BC AB C ABC
二进制数 000 001 010 011 100 101 110 111
十进制数 0 1 2
3
45 67
编号
m0 m1 m2
m3
m4 m5
A⊕A⊕A⊕A⊕…⊕A = ? A (A的个数为奇数)
An-1⊕An-2⊕…⊕A0 = ?
0 (Ai中‘1’的个数为偶数) 1 (Ai中‘1’的个数为奇数)
逻辑代数基础
路, 图中开关与灯的状态是相反的,开关闭合,灯就灭,如
果想要灯亮,则开关需断开。非逻辑真值表见表 1-7 ,由表可 得,非逻辑为:输入为0,输出为1;输入为1,输出为0。非逻 辑的代数表达式为 (2-3)
第二章 逻辑代数基础
表2-3非逻辑真值表 A 0 图2-3 非电路 1 F 1 0
逻辑非的运算规则是
第二章 逻辑代数基础
一件事物的因果关系一定具有某种内在的逻辑规律,即
存在着逻辑关系。 事物的原因即为这种逻辑关系的自变量,称
为逻辑变量。 而由原因所引起的结果则是这种逻辑关系的因变 量, 称为逻辑函数。
任何事物的因果关系均可用逻辑代数中的逻辑关系表示,
这些逻辑关系也称逻辑运算。
第二章 逻辑代数基础
例2-3
证明
证
第二章 逻辑代数基础
2.1.4 1. 在逻辑函数表达式中,将凡是出现某变量的地方都用同一 个逻辑函数代替,则等式仍然成立,这个规则称为代入规则。 例如,已知A+AB=A,将等式中所有出现 A的地方都代入 函数C+D,则等式仍然成立,即(C+D)+(C+D)B=(C+D)。
第二章 逻辑代数基础
第二章 逻辑代数基础
表2-1 与 真 值 表 A B 0 0 图2-1 与电路图 1 0 1 0 F 0 0 0
1
1
1
第二章 逻辑代数基础
逻辑乘的运算规则是 0·0=0 0·1=0 1·0=0 1·1=1
第二章 逻辑代数基础
2. 或逻辑 或逻辑的逻辑关系为当所有原因中的一个原因满足条件时
结果就成立。在逻辑代数中,或逻辑又称逻辑加。图1-2所示的
第二章 逻辑代数基础
8. 反演律(摩根定律)
数字电路与系统(何艳)第二章-1
2019年10月19日星期六
第二章 逻辑代数基础
2
第二章 逻辑代数基础
第一节 概述
一、三种基本逻辑关系:
1.与逻辑: 2.或逻辑: 3.非逻辑:
2019年10月19日星期六
第二章 逻辑代数基础
3
AB
A
E
LE
B
L
(a) 说明与逻辑的电路 (b) 说明或逻辑的电路
例2:已知 F = A⊕B ,则其反函数可写为: F = A⊙B
即 A⊕B = A⊙B
与反演律 A+B = A ·B 形式类似
2019年10月19日星期六
第二章 逻辑代数基础
37
作业题 2.4
2019年10月19日星期六
第二章 逻辑代数基础
38
解:F = ( A + B ) ·( C + D )
例2:若 F = A + B+C ·D, 试用反演规则求反函数 F。
解: F = A ·B C + D
2019年10月19日星期六
第二章 逻辑代数基础
32
常用关系式: (1) F = F; (2) 若 F = G ,则 F = G ;反之也成立。
L
220V
~
ab
Ac
B d
2019年10月19日星期六
第二章 逻辑代数基础
7
解:用逻辑变量x1、x2、y分别表示开关A、B、 灯L。设开关A(或B)的“刀”位于上触点a(或 b)时,x1、x2为1,位于下触点时,x1、x2为0; 灯L亮,y为1,灯L灭,y为0。则真值表如下:
2019年10月19日星期六
AB + AC + BC = AB +AC 证明:AB + AC + BC = AB + AC + ( A + A )BC
第2章逻辑代数基础
8/64
1. 与运算【AND Operation】
A闭合 A V
B B闭合
灯亮
L
描述:只有条件都具备,结果才发 生。(逻辑乘)
功能表
真值表
逻辑表达式:L=A• B=AB A B L
旧法:用 ∧或∩表示与运算 开 开 灭
ABL 000
逻辑符号
开合灭
实现与逻辑的电路称为与门 合 开 灭
真值表:
符号:
ABL
001
0
1
0
1
0
0
111
19/64
第2章
返回
各种逻辑运算汇总表
20/64
2-3 逻辑代数的基本公式和定理
序号
1 2 3 4 5 6 7 8 9
公式
0·A=0 1·A=A A·A=A A·A=0 A·B=B·A A·(B·C)=(A·B)·C A·(B+C)=A·B+A·C A·B=A+B A=A
第二章 逻辑代数基础
主讲教师:栾庆磊
1/64
本章学习内容
1. 逻辑代数的公式和定理 2. 逻辑函数的表示方法 3. 逻辑函数的化简方法(重点)
第2章
2/64
第2章 逻辑代数基础
2-1. 概述
2-2. 逻辑代数中的三种基本运算
2-3. 逻辑代数中的基本公式和定理
2-4. 逻辑函数及其表示方法
2-5、逻辑函数的化简方法
逻辑表达式:L=A+B
ABL
ABL
开开灭
逻辑符号
开合亮
实现或逻辑的电路称为或门 合 开 亮
A ≥1 B
L=A+B
合合亮
000 011 101 111
第二章逻辑代数基础
一个乘积项的部分因 二、常用公式
子是另一乘积项的补, 这个乘积项的部分因子 1. A+AB = A 是多余的。
在两个乘积项相加时,如果其 中一项是另一个项的一个因子, 则另一项可以被吸收。
2. A+A′B=
A+B
A(A′+B)= AB
A′+AB= A′+B
证明:
A′(A+B)= A′B
注: 红色变量被吸收 红色变量被吸收掉! 统称 吸收律 掉!统称 吸收律
000 0 0 0 0 0 A0 B A C 0A ( B 0C )=AA+AB+AC+BC 001 1 0 分配律: 010 0 B C ( A B) ( A C ) 0 =A +AB+AC+BC 1 0 0 A 1 011 1 =A(1+B+C)+BC 1 1 1 100 0 1 1 1 ) ( A B1 A B 101 0 1 =A • 1 1 反演律(摩根定律): 1+BC 1 110 0 1 1 A B 1 1 (=左边 ) A B 111 1 1 =A+BC 1 1 1
6.学会用卡诺图表示和化简逻辑函数的方法。
2.1
概述
数字电路主要研究的是电路的输入输出之间的逻辑关
系,其研究工具是逻辑代数(布尔代数或开关代数)。 逻辑变量:用字母表示,取值只有0和1。 此时,0和1不再表示数量的大小, 只代表两种不同的状态。
2.2 逻辑代数的基本运算
逻辑代数基本运算有与、或、非三种
00 00 01 01 10 10 11 11 00 00 01 01 10 10 11 11
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
例如:二变量函数 的真值表 的真值表。 例如:二变量函数F的真值表。
NJUPT
强调:列真值表时,输入变量的取值组合 强调:列真值表时, 应按二进制数递增的顺序排列, 应按二进制数递增的顺序排列,以免遗漏 或重复。 或重复。 3、逻辑表达式 、
逻辑表达式是由输入变量和逻辑运算符号组成。 逻辑表达式是由输入变量和逻辑运算符号组成。 逻辑运算符为: 逻辑运算符为:“•”,“+”,“/” , ,
NJUPT
例二: 例二 注意: 在等式中凡是有所要代换的变量出现的地方 注意 (1)在等式中凡是有所要代换的变量出现的地方 都要用函数代替。 都要用函数代替。 (2)尤其不要忘记代入非号下应被代换的变量。 尤其不要忘记代入非号下应被代换的变量。 尤其不要忘记代入非号下应被代换的变量 二、反演规则
8.分配律 分配律
9.反演律 反演律
对同一基本公式左、右两列存在对偶关系。 对同一基本公式左、右两列存在对偶关系。 对偶关系:在保持符号运算顺序不变的情况下, 对偶关系:在保持符号运算顺序不变的情况下,“ 互换。 与”—“或”互换,常量“0”—“1”互换。 或 互换,常量“ 互换
NJUPT
每个逻辑表达式(函数)的真值表都是唯一的。 每个逻辑表达式(函数)的真值表都是唯一的。 逻辑表达式1 逻辑表达式 真值表1 真值表 逻辑表达式2 逻辑表达式 真值表2 真值表
NJUPT
2、消项公式 、
3、消去互补因子公式 、
NJUቤተ መጻሕፍቲ ባይዱT
4、多余项公式 、
NJUPT
2.4逻辑代数的基本规则 逻辑代数的基本规则
一、代入规则 设:F1(X1,X2,X3,•••, Xn)=F2(X1,X2,X3,•••, Xn)并 并 另有函数G代替 则有 代替X 另有函数 代替 1,则有 F1( G , X2 ,X3 ,••• , Xn )=F2(G ,X2 ,X3 , ••• , Xn ) 代入规则:对于一个等式 如在等式两边所出现的某个 代入规则 对于一个等式,如在等式两边所出现的某个 对于一个等式 变量的地方,都用同一个函数代入 则等式仍成立。 都用同一个函数代入,则等式仍成立 变量的地方 都用同一个函数代入 则等式仍成立。 例一: A(B+C)=AB+AC 例一: ( ) 若 C=EF ,则 A(B+EF)= AB+AEF ( )
NJUPT
2、逻辑加(或运算) 、逻辑加(或运算)
逻辑关系:只要具备一个或一个以上的条件, 逻辑关系:只要具备一个或一个以上的条件,结果 就会发生。 就会发生。 开关闭合为“ 开关闭合为“1” 开关打开为“ 开关打开为“0” 灯亮为“ 灯亮为“1” 灯灭为“ 灯灭为“0”
NJUPT
逻辑功能: 逻辑功能:“有1出1,全0出0” 出 , 出 逻辑表达式 : L=A+B
NJUPT
实现逻辑相加(或运算)的电路称为或 实现逻辑相加(或运算)的电路称为或 ),它也可以用三种或门逻辑 门(OR gate ),它也可以用三种或门逻辑 符号来表示。 符号来表示。
NJUPT
3、逻辑反(非运算) 、逻辑反(非运算) 逻辑反(非运算)是逻辑的否定, 逻辑反(非运算)是逻辑的否定,当条件不成 立时,与其相关的事件却为真。 立时,与其相关的事件却为真。 开关闭合为“ 开关闭合为“1” 开关打开为“ 开关打开为“0” 灯亮为“ 灯亮为“1” 灯灭为“ 灯灭为“0”
NJUPT
2、 或运算 、 (1) 算符 “+ ”(或者“∨”、“∪”、“OR”) + 或者“ (2) 运算规则 0 + 0 = 0, 0 + 1 = 1, 1 + 0 = 1, 1 + 1 = 1 (3) 逻辑表达式 F = A + B 逻辑表达式: (4) 逻辑符号
NJUPT
3 、非运算 (1)算符 算符 “— ” (2) 运算规则
A B =1 F A B + F A B
NJUPT
B 0 1 0 1
F 0 1 1 0 模二加
F
5.同或运算 、B取值相同时,F才为 : 同或运算(A、 取值相同时 取值相同时, 才为 才为1): 同或运算 (1) 逻辑表达式: 逻辑表达式: (2) 同或逻辑真值表 F = A⊙B = A B + A B ⊙ A 0 0 1 1 (3) 逻辑符号
NJUPT
A· 1 =A A· 0 = 0 A·A=A A·A= 0
7.结合律 结合律
A+ B+ C = (A + B) + C = A + (B + C) A ·(B + C) = AB + AC A+ B=A· B
A· B· C = (A · B) · C = A · (B · C) A + BC = (A + B) ·(A + C) AB = A + B
例如: 例如:
NJUPT
应用实例:人们常常在楼上、楼下各装一个“单 应用实例:人们常常在楼上、楼下各装一个“
刀双掷”开关,使得在楼下开灯照亮了楼梯, 刀双掷”开关,使得在楼下开灯照亮了楼梯,待 人上了楼之后再在楼上把灯关掉。同样也可以在 人上了楼之后再在楼上把灯关掉。 楼上开灯,楼下关灯。 楼上开灯,楼下关灯。
A B = F A B
B 0 1 0 1
F 1 0 0 1
A B
.
F
F
NJUPT
6、真值表 、
NJUPT
2.3逻辑代数的公式 逻辑代数的公式
个基本公式) 一、基本公式(9个基本公式 基本公式 个基本公式 1.自等律 自等律 2.吸收律 吸收律 3.重叠律 重叠律 4.互补律 互补律 5.还原律 还原律 6.交换律 交换律 A+ 0 =A A+ 1 = 1 A+A=A A+A= 1 A =A A+ B= B +A A· B= B ·A
第二章
逻辑代数基础
2.1 概述
逻辑代数: 逻辑代数:描述和研究客观世界中事物间逻辑关系 的数学,它把事物间逻辑关系简化为符号间的数学 的数学,它把事物间逻辑关系简化为符号间的数学 运算。 运算。 用类似普通代数形式研究逻辑代数是英国数学家 布尔( 布尔(G. Boole)最早提出,所以也称为布尔代数 )最早提出,所以也称为布尔代数 又因为布尔代数中的常量、变量都只有“ 。又因为布尔代数中的常量、变量都只有“真”( True)和“假”(False)两种取值,所以也称为 ) )两种取值, 二值代数。 二值代数。
NJUPT
二、基本的逻辑运算
基本的逻辑运算有与、 基本的逻辑运算有与、或、非三种,它们可以由 非三种, 相应的逻辑电路实现。 相应的逻辑电路实现。 1、逻辑乘(与运算) 、逻辑乘(与运算) 逻辑关系:只有所有的条件同时具备, 逻辑关系:只有所有的条件同时具备,结果 才会发生。 才会发生。
NJUPT
NJUPT
2.2逻辑代数中的运算 逻辑代数中的运算
一、三种基本逻辑 1.与运算 与运算 (1) 算符 “ · ”(或者“×”、“∧”、“∩”、 (或者“ 、 ” “AND”) (2) 运算规则 0·0=0,0·1=0,1·0=0,1·1=1 (3) 逻辑表达式:F = A · B 逻辑表达式: (4) 逻辑符号
NJUPT
逻辑表达式 : L = A
输出
NJUPT
三、逻辑函数及其表示方法 1.逻辑函数概念 逻辑函数概念
如果逻辑变量X 的取值决定后,逻 如果逻辑变量 1, X2, X3,•••, Xn的取值决定后 逻 辑变量F的取值也唯一地被确定了 则称F是 的取值也唯一地被确定了,则称 辑变量 的取值也唯一地被确定了 则称 是X1, X2, 的逻辑函数。记作: X3,•••, Xn的逻辑函数。记作:
证明两个逻辑表达式相等的方法: 证明两个逻辑表达式相等的方法:列出各自的真值表 观察是否相同。 观察是否相同。 基本公式的正确性可以用列真值表的方法加以证明。 基本公式的正确性可以用列真值表的方法加以证明。
NJUPT
二、异或、同或逻辑公式 异或、 1、基本公式 、
NJUPT
分配率
NJUPT
NJUPT
(3) 逻辑表达式 (4) 逻辑符号
NJUPT
二、复合逻辑运算 1.与非运算: 与非运算: 与非运算 (1) 逻辑表达式: 逻辑表达式: (2) 逻辑符号
A B & F A B F A B F
F = AB
(3) 逻辑功能:“有0出1,全1出0” 逻辑功能: 出 , 出
NJUPT
2. 或非运算: 或非运算:
NJUPT
A B C A⊕B ⊕B 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0
C 0 1 0 1 0 1 0 1
A⊕C 0 1 0 1 1 0 1 0
B 0 0 1 1 0 0 1 1
NJUPT
用真值表证明: 用真值表证明: 若A⊕B=C,则 ⊕ , A⊕ 有A⊕C=B
NJUPT
(4)当多个“0”、“1”同或时 起作用的是“0”的个数。 当多个“ 、 同或时,起作用的是 的个数。 当多个 同或时 起作用的是“ 的个数 1)奇数个“0”同或得“0”。例: ⊙0⊙0⊙0=0 )奇数个 同或得 。例: 同或得“ 。例:1⊙ ⊙ ⊙ 2)偶数个“0”同或得“1”。例: ⊙0⊙1⊙1=1 )偶数个 同或得 。例: 同或得“ 。例:0⊙ ⊙ ⊙ 三、常用公式 1、合并相邻公式 、
NJUPT
两个“单刀双掷” 两个“单刀双掷”开 关的接点为: 、 关的接点为 a、b 和 c、 、 d。 令: a、b 为1; 、 ; c、d为0。 c、d为0。 L=1----灯亮 灯亮 1 0 0 1 L=0----灯灭 灯灭 L和A、B之间的关系可以表示为: 和 、 之间的关系可以表示为: 之间的关系可以表示为