逻辑代数与硬件描述语言基础.pptxVIP

2.逻辑代数与硬件描述语言基础

2.1逻辑代数

2.2逻辑函数的卡诺图化简法

2.3硬件描述语言VerilogHDL基础

熟悉逻辑代数常用基本定律、恒等式

和规则。

熟悉硬件描述语言VerilogHDL

掌握逻辑代数的变换和卡诺图化简法；

1

2

教学基本要求

01

02

03

04

逻辑代数的基本定律和恒等式

逻辑代数

逻辑函数的变换及代数化简法

逻辑代数的基本规则

2

1

逻辑代数是1854年问世的，早年用于开关和继电器网络的分析、化简；

逻辑代数有一系列的定律、定理和规则，用它们对数学表达式进行处理，可以完成对逻辑电路的化简、变化、分析和设计。

随着半导体器件制造工艺的发展，各种具有良好开关性能的微电子器件不断涌现，因而逻辑代数已成为分析和设计现代数字逻辑电路不可缺少的数学工具。

3

2.1逻辑代数

逻辑代数的基本定律和恒等式

1、基本公式

基

本

定

律

名称

基本公式

对偶式

结合律

交换律

分配律

反演律

摩根定律

0-1律

互补律

重叠律

还原律

2、常用公式

逻辑代数的基本定律和恒等式

吸收律

常用

恒等式

名称

基本公式

对偶式

3、基本公式的证明

例证明

，

列出等式、右边的函数值的真值表

(真值表证明法)

0

1·1=0

0

1+1=0

00

11

1

1·0=1

0

1+0=0

01

10

1

0·1=1

0

0+1=0

10

01

1

0·0=1

1

0+0=1

11

00

A+B

A+B

AB

AB

逻辑代数的基本定律和恒等式

2.1.2逻辑代数的基本规则

1、代入规则

规则：在任何一个含有变量A的逻辑等式中，若以一函数式取代该等式中所有A的位置，该等式仍然成立。

例如：在B(A＋C)＝BA＋BC中，

将所有出现A的地方都用函数E＋F代替，则等式仍成立，

即得：

扩展：摩根定理对任意多个变量都成立。

若取L＝CD代替等式中的A，得：

例如：二变量表示的摩根定理

四变量

2.反演规则：

在使用反演规则时需注意遵守以下两个原则：

“先括号、然后乘、最后加”的运算优先次序；

不属于单个变化量上的非号应保留不变。

2.1.2逻辑代数的基本规则

例：试求的非函数。

【解】按照反演定理，得：

0-1律

例：试求的非函数。

【解】按照反演定理，得：

不属于单个变化量上的非号应保留不变

2.1.2逻辑代数的基本规则

例:逻辑函数的对偶式为

3.对偶规则：

当某个逻辑恒等式成立时，则该恒等式两侧的对偶式也相等。这就是对偶规则。利用对偶规则，可从已知公式中得到更多的运算公式，例如，吸收律

对偶式：在一个逻辑式L中,若将其中所有的“+”变成“·”，“·”变成“+”，“0”变成“1”，“1”变成“0”，所得函数式即为原函数式的对偶式，记作：L’。

例：

01

02

逻辑函数的代数法化简

由逻辑状态表直接写出的逻辑式及由此画出的逻辑图，一般比较复杂；

若经过简化，则可使用较少的逻辑门实现同样的逻辑功能，从而可节省器件，降低成本，提高电路工作的可靠性。

利用逻辑代数变换，可用不同的门电路实现相同的逻辑功能。

逻辑函数的代数法化简

“或-与”表达式

“与非-与非”表达式

“与-或-非”表达式

“或非－或非”表达式

“与-或”表达式

1、逻辑函数的最简与-或表达式

在若干个逻辑关系相同的与-或表达式中，将其中包含的与项数

最少，且每个与项中变量数最少的表达式称为最简与-或表达式。

2、逻辑函数的化简方法

化简的主要方法：

１．公式法（代数法）

２．图解法（卡诺图法）

代数化简法：

运用逻辑代数的基本定律和恒等式进行化简的方法。

逻辑函数的代数法化简

逻辑函数的代数法化简

利用A+A＝1将两项并为一项，且消去一个变量。

（1）并项法

化简

逻辑函数的代数法化简

（2）吸收法

A+AB=A(1+B)=AB

利用A+AB=A消去多余的项AB。

吸收

化简

【解】

吸收

逻辑函数的代数法化简

吸收

化简

（2）吸收法

A+AB=A(1+B)=AB

利用A+AB=A消去多余的项AB。

吸收

逻辑函数的代数法化简

化简

吸收

吸收

吸收

吸收

吸收法

逻辑函数的代数法化简

（3）消去法（消元法）

化简

吸收

吸收

利用A+AB=A+B消去多余变量A。

根据代入规则，A、B可