2011-2012-2学期数字电子技术电子教案(第02讲)新.pptVIP

于军制作 * 2.4.1 代入定理 在任何一个包含变量A的逻辑等式中，若以另外一个逻辑式代入式中所有A的位置，则等式仍然成立，这就是所谓的代入定理。 例2.4.1 用代入定理证明德·摩根定理也适用于多变量的情况。 今以（C+D）代入左边等式中 B 的位置，同时以（C·D）代入右边等式中 B 的位置，于是得到： 对一个乘积项或逻辑求反时，应在乘积项或逻辑式外边加括号，然后对括号内的整个内容求反。 此外，在对复杂的逻辑式进行运算时，应运算先括号里的内容，其次再算乘法，最后算加法。 §2-4 逻辑代数的基本定理 2.4.2 反演定理 反演定理为求取已知逻辑式的反逻辑式提供的方便。 对于任意一个逻辑式 Y ，若将其中所有的“ · ”换成“ + ”， “ + ”换成“ · ”，0换成1，1换成0，原变量换成反变量，反变量换成原变量，则得到的结果就是 ，这个规律称为反演定理。 在使用反演定理时，还需注意遵循以下两个规则： （1）仍需遵守“先括号，然后乘、最后加”的运算优先次序； （2）不属于单个变量上的反号应保留不变。 例2.4.2 已知 ，求 。 解： 例2.4.3 已知 ，求 。 解： 2.4.3 对偶定理 若两逻辑式相等，则它们的对偶式也相等，这就是对偶定理。 所谓对偶式是这样定义的：对于任何一个逻辑式Y，若将其中的“ · ”换成“ + ”， “ + ”换成“ · ”，0 换成 1，1 换成 0，则得到一个 新的逻辑式YD ，这个逻辑式YD 就称为逻辑式Y 的对偶式，或者 说Y和YD互为对偶式。 例2.4.4 试证明 解：首先写出等式两边的对偶式，得到 根据乘法分配律可知，这两个对偶式是相等的， 亦即 §2-5 逻辑函数及其表示方法 2.5.1 逻辑函数 如果以逻辑变量为输入，以运算结果为输出，则当输入变量值确定以后，输出的取值也随之而定。输出与输入之间乃是一种函数关系。这种函数关系称为逻辑函数，写作： 由于变量和输出（函数）的取值只有0和1两种状态，所以我们所讨论的都是二值逻辑函数。 例如：一个举重裁判电路。 若以1表示开关闭合，0表示开关断开；以1表示灯亮，0表示等暗，则指示灯Y是开关A、B、C的二值逻辑函数，即 任何一件具体的因果关系都可以用一个逻辑函数来描述。例如 2.5.2 逻辑函数的表示方法 常用的逻辑函数表示方法有：逻辑真值表，逻辑函数式（简称逻辑式或函数式）、逻辑图、波形图、卡诺图和硬件描述语言等。 一、逻辑真值表 将输入变量所有的取值下对应的输出值找出来，列成表格，即可得到真值表。 二、逻辑函数式 将输出与输入之间的逻辑关系写成与、或、非等运算的组合式，即逻辑代数式，就得到了所需的逻辑函数式。 三、逻辑图 将逻辑函数式中各变量之间的与、或、非等逻辑关系用图形符号表示出来，就可以画 出表示函数关系的逻辑图。 四、波形图 如果将逻辑函数输入变量每一种可能出现的取值与对应的输出值按时间顺序排列起来，就得到了表示该逻辑函数的波形图。这种波形图也称为时序图。 五、各种表示方法间的相互转换 1、真值表与逻辑函数式的相互转换 例2.5.1 已知一个奇偶判别函数的真值表，写出它的逻辑函数式。 解： （1）真值表转换为逻辑函数式 1）首先从真值表中找出所有使函数值等于1 的那些输入变量取值组合； 真值表转换为逻辑函数式的解题方法和步骤: 2）每一组使输出为1的输入变量取值下，必然有一个最小项的值等于1。取值为1的变量在这个最小项中写为原变量，取值为0的变量在这个最小项中写为反变量。 3）将所有的这些最小项相加，就得到了所求的逻辑函数式。 例2.5.2 已知逻辑函数 ，求它对应的真值表。 解： 将所有输入变量取值组合逐一代入逻辑式，得出输出的函数值，然后将输入与输出的取值对应列成表格，得到的就是 真值表。 逻辑函数式转换为真值表的解题方法和步骤: （2）逻辑函数式转换为真值表 例2.5.3 已知逻辑函数为 ，画出其对应的逻辑图。 2、逻辑函数式与逻辑图的相互转换 从给定的逻辑函数式转换为相应的逻辑图时，只要用逻辑图形符号代替逻辑函数式中的逻辑运算符号并按运算优先顺序将它们连接起来，就可