数字电子技术基础第二章课件.ppt

1、数字电子技术基础（第五版）教学课件清华大学 阎石 王红 联系地址：清华大学 自动化系 邮政编码：100084 电子信箱：wang_ 联系电话：(010)62792973第二章第二章 逻辑代数基础逻辑代数基础2.1 概述 基本概念逻辑：事物的因果关系逻辑运算的数学基础：逻辑代数在二值逻辑中的变量取值：0/12.2 逻辑代数中的三种基本运算 与与（AND）或或（OR）非非（NOT）以A=1表示开关A合上，A=0表示开关A断开；以Y=1表示灯亮，Y=0表示灯不亮；三种电路的因果关系不同：与 条件同时具备，结果发生 Y=A AND B =A&B=AB=AB或 条件之一具备，结果发生 Y=A OR B

2、=A+B非 条件不具备，结果发生 ANOTYA几种常用的复合逻辑运算 与非 或非 与或非几种常用的复合逻辑运算 异或 Y=A B几种常用的复合逻辑运算 同或 Y=A B2.3.1 基本公式2.3.2 常用公式2.3 逻辑代数的基本公式和常用公式2.3.1 基本公式 根据与、或、非的定义，得表2.3.1的布尔恒等式证明方法：推演 真值表公式（17）的证明（公式推演法）：左右BCABCCBABCACABACABA)()(1公式（17）的证明（真值表法）：2.3.2 若干常用公式2.4 逻辑代数的基本定理 2.4.1 代入定理 -在任何一个包含A的逻辑等式中，若以另外一个逻辑式代入式中A的位置，则等

3、式依然成立。2.4.1 代入定理 应用举例：式（17）A+BC =(A+B)(A+C)A+B(CD)=(A+B)(A+CD)=(A+B)(A+C)(A+D)2.4.1 代入定理 应用举例：式（8）CBABCACBABCBBABA)()()(代入以2.4 逻辑代数的基本定理 2.4.2 反演定理 -对任一逻辑式原变量反变量反变量原变量，0110YY变换顺序变换顺序 先括号，先括号，然后乘，最后加然后乘，最后加不属于单个变量的不属于单个变量的上的反号保留不变上的反号保留不变2.4.2 反演定理 应用举例：DCBDACBCADCCBAYCDCBAY)()(2.5.1 逻辑函数 Y=F(A,B,C,)

4、-若以逻辑变量为输入，运算结果为输出，则输入变量值确定以后，输出的取值也随之而定。输入/输出之间是一种函数关系。注：在二值逻辑中，输入/输出都只有两种取值0/1。2.5 逻辑函数及其表示方法2.5.2 逻辑函数的表示方法 真值表 逻辑式 逻辑图 波形图 卡诺图 计算机软件中的描述方式各种表示方法之间可以相互转换真值表 逻辑式 将输入/输出之间的逻辑关系用与/或/非的运算式表示就得到逻辑式。逻辑图 用逻辑图形符号表示逻辑运算关系，与逻辑电路的实现相对应。波形图 将输入变量所有取值可能与对应输出按时间顺序排列起来画成时间波形。卡诺图 EDA中的描述方式 HDL(Hardware Descripti

5、on Language)VHDL(Very High Speed Integrated Circuit )Verilog HDL EDIF DTIF 。举例：举重裁判电路)(CBAY 各种表现形式的相互转换：真值表 逻辑式例：奇偶判别函数的真值表 A=0,B=1,C=1使 ABC=1 A=1,B=0,C=1使 ABC=1 A=1,B=1,C=0使 ABC=1这三种取值的任何一种都使Y=1,所以 Y=?真值表 逻辑式：1.找出真值表中使 Y=1 的输入变量取值组合。2.每组输入变量取值对应一个乘积项，其中取值为1的写原变量，取值为0的写反变量。3.将这些变量相加即得 Y。4.把输入变量取值的所有

6、组合逐个代入逻辑式中求出Y，列表 逻辑式 逻辑图1.用图形符号代替逻辑式中的逻辑运算符。)(CBAY 逻辑式 逻辑图1.用图形符号代替逻辑式中的逻辑运算符。2.从输入到输出逐级写出每个图形符号对应的逻辑运算式。)(BAB)(BAA)()(BABABABABABABABABA)()()(波形图 真值表最小项 m：m是乘积项 包含n个因子 n个变量均以原变量和反变量的形式在m中出现一次2.5.3 逻辑函数的两种标准形式 最小项之和 最大项之积最小项举例：两变量A,B的最小项 三变量A,B,C的最小项）4个（22ABBABABA,）8个（32ABCCABCBACBABCACBACBACBA,最小项的

7、编号：ABCCABCBACBABCACBACBACBA最小项的性质 在输入变量任一取值下，有且仅有一个最小项的值为1。全体最小项之和为1。任何两个最小项之积为0。两个相邻的最小项之和可以合并，消去一对因子，只留下公共因子。-相邻：仅一个变量不同的最小项 如 BACCBABCACBABCACBA)(与逻辑函数最小项之和的形式：例：),()(),(763mBCAABCCABAABCCABBCCABCBAY利用公式利用公式可将任何一个函数化为可将任何一个函数化为1 AA im逻辑函数最小项之和的形式：例：),()(),(763mBCAABCCABAABCCABBCCABCBAY利用公式利用公式可将任

8、何一个函数化为可将任何一个函数化为1 AA im逻辑函数最小项之和的形式：例：),()(),(763mBCAABCCABAABCCABBCCABCBAY利用公式利用公式可将任何一个函数化为可将任何一个函数化为1 AA im逻辑函数最小项之和的形式：例：DCBAACDBAADCBCDBDDCBDBCAADCBACBDBCDCBADCBAY)()(.)()(),(逻辑函数最小项之和的形式：例：DCBAACDBAADCBCDBDDCBDBCAADCBACBDBCDCBADCBAY)()(.)()(),(逻辑函数最小项之和的形式：例：DCBAACDBAADCBCDBDDCBDBCAADCBACBDBC

9、DCBADCBAY)()(.)()(),(逻辑函数最小项之和的形式：例：DCBAACDBAADCBCDBDDCBDBCAADCBACBDBCDCBADCBAY)()(.)()(),(最大项：M是相加项；包含n个因子。n个变量均以原变量和反变量的形式在M中出现一次。如：两变量A,B的最大项）4个（22BABABABA,最大项的性质 在输入变量任一取值下，有且仅有一个最大项的值为0；全体最大项之积为0；任何两个最大项之和为1；只有一个变量不同的最大项的乘积等于各相同变量之和。最大项的编号：CBACBACBACBACBACBACBACBA imYikkmYikkmY)(kikkikMmY2.6 逻辑

10、函数的化简法 逻辑函数的最简形式 最简与或 -包含的乘积项已经最少，每个乘积项的因子也最少，称为最简的与-或逻辑式。CBACYACDCBABCY212.6.1公式化简法 反复应用基本公式和常用公式，消去多余的乘积项和多余的因子。例：DBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY )()()(2.6.1公式化简法 反复应用基本公式和常用公式，消去多余的乘积项和多余的因子。例：DBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY )()()(2.

11、6.1公式化简法 反复应用基本公式和常用公式，消去多余的乘积项和多余的因子。例：DBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY )()()(2.6.1公式化简法 反复应用基本公式和常用公式，消去多余的乘积项和多余的因子。例：DBCBADCDBCBADEBAADCDBCBACDEBACBADCDBCBACCBADEBADBCACBADCDBCBACY )()()(2.6.1公式化简法 反复应用基本公式和常用公式，消去多余的乘积项和多余的因子。例：DBCBADCDBCBADEBAADCDBCBACDEBACBADCDB

12、CBACCBADEBADBCACBADCDBCBACY )()()(2.6.2 卡诺图化简法 逻辑函数的卡诺图表示法 实质：将逻辑函数的最小项之和的以图形的方式表示出来 以2n个小方块分别代表 n 变量的所有最小项，并将它们排列成矩阵，而且使几何位置相邻的两个最小项在逻辑上也是相邻的（只有一个变量不同），就得到表示n变量全部最小项的卡诺图。表示最小项的卡诺图 二变量卡诺图 三变量的卡诺图 4变量的卡诺图表示最小项的卡诺图 二变量卡诺图 三变量的卡诺图 4变量的卡诺图表示最小项的卡诺图 二变量卡诺图 三变量的卡诺图 4变量的卡诺图 五变量的卡诺图用卡诺图表示逻辑函数1.将函数表示为最小项之和的形

13、式 。2.在卡诺图上与这些最小项对应的位置上添入1，其余地方添0。im用卡诺图表示逻辑函数),()()(),(15111098641mCDDCDCCDBADBACCDCBABADBADCBADCBAY例：用卡诺图表示逻辑函数 用卡诺图化简函数 依据：具有相邻性的最小项可合并，消去不同因子。在卡诺图中，最小项的相邻性可以从图形中直观地反映出来。合并最小项的原则：两个相邻最小项可合并为一项，消去一对因子 四个排成矩形的相邻最小项可合并为一项，消去两对因子 八个相邻最小项可合并为一项，消去三对因子两个相邻最小项可合并为一项，消去一对因子 化简步骤：-用卡诺图表示逻辑函数 -找出可合并的最小项 -化简

14、后的乘积项相加（项数最少，每项因子最少）用卡诺图化简函数卡诺图化简的原则 化简后的乘积项应包含函数式的所有最小项，即覆盖图中所有的1。乘积项的数目最少，即圈成的矩形最少。每个乘积项因子最少，即圈成的矩形最大。例：CBCBCACACBAY),(ABC例：CBCBCACACBAY),(CBCABAABC例：CBCBCACACBAY),(ABCCBBACA例：CBCBCACACBAY),(CBCABACBBACA化 简 结 果 不 唯 一例：ABCDDCACBADCDCAABDABCY 例：DCACBADCDCAABDABCY ABCDDA 约束项 任意项 逻辑函数中的无关项：约束项和任意项可以写入

15、函数式，也可不包含在函数式中，因此统称为无关项。2.7具有无关项的逻辑函数及其化简2.7.1 约束项、任意项和逻辑函数式中的无关项2.7.2 无关项在化简逻辑函数中的应用 合理地利用无关项，可得更简单的化简结果。加入（或去掉）无关项，应使化简后的项数最少，每项因子最少 从卡诺图上直观地看，加入无关项的目的是为矩形圈最大，矩形组合数最少。ABCD=0DCB+ADD+ABCD+ABCCB+ADCD+ABCBACD+BADCBABCDADCBAY 给定约束条件为：给定约束条件为：例：ABCD=0DCB+ADD+ABCD+ABCCB+ADCD+ABCBACD+BADCBABCDADCBAY 给定约束条件为：给定约束条件为：例：ABCDDADA=0DCB+ADD+ABCD+ABCCB+ADCD+ABCBACD+BADCBABCDADCBAY 给定约束条件为：给定约束条件为：例：例：086421514131211105 mmmmmmm:),(m)D,C,B,A(Y约束条项约束条项ABCDDCDBDAY2.8 用multisim进行逻辑函数的化简与变换例:已知逻辑函数Y的真值表如下,试用multisim求出Y的逻辑函数式,并将其化简为与-或形式