数字电子技术基础第五版 第二章.ppt

第二章 逻辑代数基础 2.1 概述 基本概念 逻辑： 事物的因果关系 逻辑运算的数学基础： 逻辑代数 在二值逻辑中的变量取值： 0/1 2.2 逻辑代数中的三种基本运算 与（AND） 或（OR） 非（NOT） 与(逻辑) 条件同时具备，结果发生。 Y=A AND B = AB=A·B=AB 或(逻辑) 条件之一具备，结果发生。 Y= A OR B = A+B 非(逻辑) 条件不具备，结果发生 几种常用的复合逻辑运算 与非 几种常用的复合逻辑运算 异或 Y= A ? B 几种常用的复合逻辑运算 同或 Y= A⊙B 2.3.1 基本公式 根据与、或、非的定义，得出下表的布尔恒等式 公式（17）的证明（公式推演法）： 公式（17）的证明（真值表法）： 2.3.2 若干常用公式 2.4 逻辑代数的基本定理 2.4.1 代入定理 在任何一个包含A的逻辑等式中，若以另外一个逻辑式代入到式中A的位置，则等式依然成立。 2.4.1 代入定理 应用举例1： 式（17） A+BC = (A+B)(A+C) A+B(EF) = (A+B)(A+EF) = (A+B)(A+E)(A+F) 应用举例2： 式 （8） 2.4.2 反演定理 对于任意一个逻辑式Y，若将其中所有的“ · ”换成“ + ”， “ + ” 换成“ · ”， 0换成1，1换成0，原变量换成反变量，反变量换成原变量，则得到的结果就是 。这个规律称为反演定理。 2.4.2 反演定理 -------对任一逻辑式 应用举例： 2.5.1 逻辑函数 2.5.2 逻辑函数的表示方法 真值表 逻辑式 逻辑图 波形图 卡诺图 计算机软件中的描述方式 各种表示方法之间可以相互转换。 逻辑式 将输入/输出之间的逻辑关系用与/或/非的运算式表示就得到逻辑式。 逻辑图 用逻辑图形符号表示逻辑运算关系，与逻辑电路的实现相对应。 波形图 将输入变量所有取值可能与对应输出按时间顺序排列起来画成时间波形。 卡诺图 EDA中的描述方式 HDL (Hardware Description Language) 举例：举重裁判电路 各种表达形式的相互转换： 真值表 逻辑式 找出真值表中使 Y=1 的输入变量取值组合。 每组输入变量取值对应一个乘积项，其中取值为1的写原变量，取值为0的写反变量。 将这些变量相加即得 Y。 逻辑式 逻辑图 用图形符号代替逻辑式中的逻辑运算符。 逻辑图 逻辑式 从输入到输出逐级写出每个图形符号对应的逻辑运算式。 波形图 真值表 详见教材P34-35，例2.5.5 2.5.3 逻辑函数的两种标准形式  一种是“最小项之和” ，另一种是“最大项之积”。 什么是最小项 m (miniterm) ？ m是乘积项； 包含n个因子； n个变量均以原变量和反变量的形式在m中只出现一次。 最小项举例： 两变量A, B的最小项 三变量A,B,C的最小项 最小项的编号： 最小项的性质 在输入变量任一取值下，有且仅有一个最小项的值为1。 全体最小项之和为1 。 任何两个最小项之积为0 。 两个相邻的最小项之和可以合并，消去一对因子，只留下公共因子。 相邻：仅一个变量不同的最小项 如 逻辑函数最小项之和的形式： 例1： 例2： 最大项M (maxterm)： M是相加项； 包含n个因子； n个变量均以原变量和反变量的形式在M中出现一次。 如：两变量A, B的最大项 最大项的性质 在输入变量任一取值下，有且仅有一个最大项的值为0； 全体最大项之积为0； 任何两个最大项之和为1； 只有一个变量不同的最大项的乘积等于各相同变量之和。 最大项的编号： 2.5.4 逻辑函数形式的变换(自学) 详见P38—P39。 通过例2.5.8 搞清楚用最小项表示逻辑函数时, 的关系. 2.6 逻辑函数的化