数字电路第3章 布尔代数与逻辑函数化简

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

A A 0
等幂律: A A A
A A A
双重否定律: A A
分别令A=0及 A=1代入这些 公式,即可证 明它们的正确 性。
A B B A 交换律: A B B A
利用真值表很容易证 明这些公式的正确性。 如证明A· B=B· A:
( A B) C A ( B C ) 结合律: ( A B) C A ( B C )
Y f ( A, B, C,)
注意:与普通代数不同的是,在逻辑代数中,不管是变 量还是函数,其取值都只能是0或1,并且这Байду номын сангаас的0和1只表示两 种不同的状态,没有数量的含义。
(3)逻辑函数相等的概念:设有两个逻辑函数
Y1 f ( A, B, C,)
Y2 g ( A, B, C,)
它们的变量都是A、B、C、…,如果对应于变量A、B、 C、…的任何一组变量取值,Y1和Y2的值都相同,则称Y1和Y2 是相等的,记为Y1=Y2。 若两个逻辑函数相等,则它们的真值表一定相同;反之, 若两个函数的真值表完全相同,则这两个函数一定相等。 证明等式:
第 3章
学习要点:
基本定理和化简方法
掌握布尔(逻辑)代数的基本运算法则、基本公式、
了解不同类型逻辑表达式的相互转换以及最简与或
表达式。
能够熟练地运用真值表、逻辑表达式、卡诺图、波
形图和逻辑图表示逻辑函数。
3.1 基本公式
和规则
逻辑代数是按一定的逻辑关系进行运算的代数,是分 析和设计数字电路的数学工具。在逻辑代数,只有0和1 两种逻辑值,有与、或、非三种基本逻辑运算,还有与或、 与非、与或非、异或几种导出逻辑运算。
AB A B
B 0 1 0 1 AB 0 0 0 1 AB 1 1 1 0 A 1 1 0 0 B 1 0 1 0 A+B 1 1 1 0
A 0 0 1 1
3.1.1 基本公式
(2)基本公式
A 0 A 0-1 律: A 1 A
互补律: A A 1
A 1 1 A 0 0
AB A C
3.1.2 基本法则
位置都用同一个逻辑函数代替,则等式仍然成立。 例如,已知等式
(1)代入规则:任何一个含有变量A的等式,如果将所有出现A的
AB A B,用函数Y=AC代替等式中
的A,根据代入规则,等式仍然成立,即有:
( AC)B AC B A B C
证明分配率:A+BC=(A+B)(A+C) 证明:
(A+B)(A+C)=AA+AB+AC+BC
=A+AB+AC+BC =A(1+B+C)+BC
分配率 A(B+C)=AB+AC 等幂率AA=A 分配率 A(B+C)=AB+AC 0-1率A+1=1
=A+BC
A B A B A 吸收率 1: ( A B ) ( A B ) A
A 0 0 A (B C) A B A C 1 分配律: A B C ( A B) ( A C ) 1
B A.B B.A 0 0 0 1 0 0 0 0 0 1 1 1
A .B A B 反演律(摩根定律): A B A B
1 ( A B)
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)
摩根率还可以推广到两个以上变量:
A1 A2 An A1 A2 An A1 A2 An A1 A2 An
(2)对偶规则:
0→ 1 1→ 0 +→· →+ 原式 · 运算顺序不变(加括号) 二变量(含二变量)以上非号不动 变量不变
对偶式
例如:
Y ( A B)(C D E )
Y A B C D E
A( B C ) AB AC
吸收率1 分配律
( A B) ( A B ) A
A BC ( A B)( A C )
(3)反演规则:
0→1 1→0 +→· 原式 ·→+ 运算顺序不变 二变量(含二变量)以上非号不动 变量取反
反函数
Y AB CD E
Y A B C D E
逻辑代数中的变量称为逻辑变量,用大写字母表示。 逻辑变量的取值只有两种,即逻辑0和逻辑1,0 和 1 称为 逻辑常量,并不表示数量的大小,而是表示两种对立的逻 辑状态。
逻辑函数及其相等概念
(1)逻辑表达式:由逻辑变量和与、或、非3种运算符 连接起来所构成的式子。在逻辑表达式中,等式右边的字母 A、B、C、D等称为输入逻辑变量,等式左边的字母Y称为 输出逻辑变量,字母上面没有非运算符的叫做原变量,有非 运算符的叫做反变量。 ( 2 )逻辑函数:如果对应于输入逻辑变量 A 、 B 、 C、…的每一组确定值,输出逻辑变量Y就有唯一确定的值, 则称Y是A、B、C、…的逻辑函数。记为
Y AB CD E
Y A B C D E
Y ( A B )(C D E)
Y A B C D E
对偶规则的意义在于:如果两个函数相等,则它们的对偶函 数也相等。利用对偶规则,可以使要证明及要记忆的公式数目减少 一半。例如:
A B A B A
A A B A 吸收率 2/3: 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) 互补率A+A=1 0-1率A· 1=1
相关文档
最新文档