数字逻辑电路 - layout.ppt

第3章 布尔代数与逻辑函数化简 布尔代数是逻辑电路分析和设计的重要数学工具。 3.1 基本公式和规则 3.1.1 基本公式 表 3-1 基本公式 3.1.1 基本公式 由表3－1可看出每个定律都是成对出现的，它们互为对偶式（关于对偶概念在基本法则将会介绍）。 这些定律可以直接代入“0”、“1”取值，也可用真值表加以验证。前6个比较直观，我们不证明了。其余的我们证明对偶式中的一个即可。 分配律前一种形式与代数一样，易理解，后一种分配关系是加对乘的分配，是普通代数中没有的，故又称为特殊分配律，它的正确性可用真值表验证。 3.1.2 基本法则 逻辑代数中有三个基本法则，掌握了这些法则可将原有的公式加以扩展或推出一些新的公式。 ① 代入法 由于逻辑变量及函数运算结果只能取值0或1，因此逻辑等式中的任何变量或相应部分用一个变量代替，等式仍然成立。 ②对偶法则 ③ 反演法则 反演法则的目的是能够较快的写出函数的反函数，将原式按下述过程即可求得其反函数。 ③ 反演法则 3.1.3 基本公式应用 ① 等式的证明 ② 逻辑函数不同形式的转换 由于与或形式物理意义明确，与真值表相对应，且对应的基本公式较为熟悉，故在一般情况下，函数均以“与或”形式给出。 3.2.1 逻辑函数与逻辑图 3.2.1 逻辑函数与逻辑图 逻辑函数化简遵循以下原则 例1 例1 例3 解法1 F=ABC+ABC+AB (吸收律1 ABC+ABC=AB) 例3 F=ABC+ABC+ABC+ABC+ABC + ABC （等幂律） 例4 F=AD+AD+AB+AC+BD+ACEG+BEG+DEGH 3.2.2与或逻辑函数化简举例 通过以上各例可看出代数法化简存在如下问题： 3.3 卡诺图化简 3.3.1 卡诺图化简的基本原理 3.3.1 卡诺图化简的基本原理 3.3.2 逻辑函数的标准式 ——最小项标准式 1.定义 最小项标准式是以“与或”形式出现的标准式 最小项—含有逻辑函数的全部变量的与项。且在一个与项中，它使F=1。每个变量只能以原反变量出现一次。 如三变量最小项用下表表示。为表示方便，将最小项进行编号mi 其下标与二进制数一致。 3.3.2 逻辑函数的标准式 ——最小项标准式 2.如何由一般式获得最小项标准式 采用缺什么变量就补什么变量 ①代数法 ②真值表法 3.3.2 逻辑函数的标准式 ——最小项标准式 3.最小项的性质 3.3.3 卡诺图结构 卡诺图的特点就是保证逻辑相邻与几何位置相邻一一对应。通过用格雷码标注实现。 3.3.3 卡诺图结构 需要指出的是，一个平面只能完整反映二变量的相邻关系。多于二变量的逻辑相邻关系，除了几何位置相邻外，还应加上对折重叠相邻。如四变量，m5 从几何位置上其相邻项有m1、m4、m7 和 m13; 而m8 从几何位置上只有 m12 ，m9 与之相邻，另二个相邻项通过对折重叠项找出，以aa线对折重叠项是m0;以bb线对折重叠项是m10。故m8的逻辑相邻项为m0、m9、m10、m12。 3.3.4 逻辑函数的卡诺图表示法 3.3.4 逻辑函数的卡诺图表示法 逻辑函数的真值表与卡诺图有一一对应的关系，卡诺图中的每一方格对应真值表中的一项。 3.3.5 最小项合并规律 3.3.5 最小项合并规律 2. 四个相邻项可合并为一项，消去二个取值不同的变量，保留相同的变量，如图（b）所示。 3.3.5 最小项合并规律 3. 八个相邻项可合并为一项，消去三个取值不同的变量，保留相同变量，如图（c）所示。 3.3.6 用卡诺图化简与或式 3.3.6 用卡诺图化简与或式 下面通过若干例子说明卡诺图的化简方法 3.3.6 用卡诺图化简与或式 下面通过若干例子说明卡诺图的化简方法 3.3.6 用卡诺图化简与或式 下面通过若干例子说明卡诺图的化简方法 3.3.6 用卡诺图化简与或式 3.3.6 用卡诺图化简与或式 3.3.6 用卡诺图化简与或式 3.3.6 用卡诺图化简与或式 3.3.6 用卡诺图化简与或式 例4 化简F (ABCD) =∑(0,2,5,6,7,8,9,10,11,14,15) 解 卡诺图如下图所示： 3.3.7 其它逻辑形式的化简 3.3.7 其它逻辑形式的化简 把下面例题中的函数化简成最简的与或、与非－与非式、与或非式、或与式、或非－或非式 3.3.7 其它逻辑形式的化简