数字逻辑第2章(1).pptVIP

反演定理 （摩根定理——Morgan定理） 用真值表证明： 用基本公理证明摩根定理的过程，见教材P31。 摩根定理是一个十分重要的定理，它证明了变量进行 “与”和“或”运算时的互补效应。常用于逻辑函数的化简及 逻辑变换。 它提供了将原变量与运算的非改成反变量或运算的简便方法。 它提供了将原变量或运算的非改成反变量与运算的简便方法。 多余项定理 （包含律） 关于（a）的证明： 该包含律说明：如果与或表达式中，两个与项分别包含 同一因子的原变量和反变量，而两与项的剩余因子包含在第 三个与项中，则第三个与项是多余的。 2.3.3 逻辑代数的基本规则 ●代入规则 任何一个含有变量x的逻辑等式，如果将所有出现x的地方 都代之以一个逻辑函数H，则此等式仍然成立。 利用代入规则可以证明n变量的摩根定理，即： 证明等式（b）成立 以此类推，则得 应用：将较复杂逻辑函数中的某一部分或公共部分代之 以变量，达到简化的目的，便于分析。 ●反演规则（香农定理——Shannon定理） 从原函数求反函数的过程称之为反演。 求任何函数的反函数时，可将该函数的所有变量取反； 并将函数中“0”变成“1”，“1”变成“0”；且运算符“+” 变成“?”，“?”变成“+”；即可得反函数。 在使用反演规则时应注意： （1）必须保持原有的运算次序，必要时添加各种括号。 （2）不属于单个变量上的非号保留，而非号下面的函数式 按反演规则变换。 解：利用反演规则可得： 也可利用反演律求得： 其结果与直接利用反演规则的运算结果相同。 注意：反演律是逻辑运算中使用的定律公式，可以获得多种反函数的表达形式；反演规则是求反函数的一种简便方法。 例：已知 利用反演规则，其反函数为 ●对偶规则 对偶函数：对于任何逻辑函数F，将该函数中的所有 变量保持不变；并将函数中“0”变成“1”，“1”变成“0”； 且运算符“+”变成“?”，“?”变成“+”；得到的新函数称为 原函数的对偶函数，记为F。 对偶规则：如果函数F是函数F的对偶函数，那么 F也是F的对偶函数。如果函数F、G相等，它们的 对偶函数F、G也相等，即若F=G，则F=G。 前面讨论的公理、定理中式（a）和式（b）均为对偶的。 因此，若式（a）成立，按对偶规则，式（b）必定成立。 利用对偶规则，使需要证明和记忆的公式减少一半，且 为函数的形式变换和简化带来方便。 求对偶函数时，也应适当地添加括号，以保持原函数中的运算顺序不变。 有些逻辑函数的对偶函数就是原函数本身，即F’=F。 此时，称函数F为自对偶函数。 例：F = A， 则 F ’ = A 练习1： 已知F= 则反函数 = 对偶函数 = 如果一个函数的表达式中，含有⊕ 、☉运算符： 利用反演规则求反函数时或 利用对偶规则求对偶函数时 在求对偶函数时不要对求出的对偶式再进行变换！ 注意： 按对偶规则写出其对偶式： 例. 已知函数 ☉ ⊕ ☉ ☉ ⊕ 2.4 逻辑函数的性质 前面讨论的与、或、非三种基本逻辑运算，可以组合 起来实现任何逻辑函数；采用对应的与门、或门、非门可以组合起来构造具有各种逻辑功能的逻辑电路。 实际工程设计中的基本要求是：最少的门电路、最少的 门的输入端、最少的门电路类型。 显然，仅采用与门、或门、非门构造逻辑电路，不能 满足工程设计的基本要求。所以，在实际应用的基本 逻辑器件中，还有与非门、或非门、与或非门、异或 门等，称为复合逻辑门。 2.4.1 复合逻辑 1. 与非逻辑（NAND） 与非逻辑是“与”和“非”的复合逻辑，它的逻辑表达式为： 逻辑功能：只有输入端全为1时，输出才为0。 只要有一个变量取值为0，F就为1； 只有所有变量均取值为1，F才为0。 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 F A B C 与非逻辑真值表 与非门的逻辑符号(三变量) A B C F A B C F 小规模集成电路74LS00集成了4个双输入与非门 结论：有了与非门，就可构成实现各种逻辑功能的电路。 A B F1 “1” A F2 B “1” A F3 “1” 2. 或非逻辑（NOR） 或非逻辑是“或”和“非”的复合逻辑，其逻辑表达式为： 只要有一个变量取值为1，F就为0； 只有所有变量均取值为0，F才为1。 1 00 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1