数字电路与逻辑设计课程特点1数字电路重要的专业基教材.ppt

（ 5 ） 证明： C A AB BC C A AB ? ? ? ? 在一个与或表达 式中，如果一个与 项中的一个因子的 反是另一个与项的 一个因子，则由这 两个与项其余的因 子组成的第三个与 项是多余项。 D AB ABC ? ? BC A ABC C A AB ? ? ? ? C A AB ? ? CD D AB ABC CD D B A ABC ? ? ? ? ? ? ) ( ) ( A A BC C A AB BC C A AB ? ? ? ? ? ? 例： ) 1 ( ) 1 ( B C A C AB ? ? ? ? D B A ABC ) ( ? ? ? 推论： 例： C A AB BCDE C A AB ? ? ? ? FG C CD D AB ABC FG C CD D B A ABC ? ? ? ? ? ? ? ? ) ( 在一个与或表达 式中，如果一个与项 中的一个因子的反是 另一个与项的一个因 子，则包含这两个与 项其余因子作为因子 的与项是多余项 。 D B A ABC ) ( ? ? ? （ 6 ） 证明： 证明： ) )( ( B A C A C A AB ? ? ? ? 交叉互换律 （ 7 ） 证明： A AB A ? ? B A AB A ? ? B A B A A A B A A AB A ? ? ? ? ? ? ) ( B A A A B A A AB A ? ? ? ? ? ? ? ) ( BC C A AB A A B A C A ? ? ? ? ? ? ) )( ( BC C A AB ? ? ? A B A ? ? ? ) 1 ( C A AB ? ? 2.3 逻辑代数的基本定理 ①代入定理： 在一个逻辑等式两边出现某个变量（逻辑 式）的所有位置都代入另一个变量（逻辑式），则等式 仍然成立。 例：已知 在等式两边出现 B 的所有位置都代入 BC 左边 右边 等式仍然成立 例：已知 在等式两边 B 的位置都代入 B+C 左边 右边 等式仍然成立 B A AB ? ? C B A BC A BC A ? ? ? ? ? ) ( C B A BC A ? ? ? ? B A B A ? ? ? C B A C B A C B A ? ? ? ? ? ? ? ? ) ( C B A C B A B A ? ? ? ? ? ? ? ②反演定理 对一个逻辑函数 Y 进行如下变换： 将所有的“ · ” 换成“ ＋ ”， “ ＋ ”换成“ · ” ， “ 0 ” 换成“ 1 ” ， “ 1 ” 换成“ 0 ” ， 原变量 换成 反变量 ， 反变量 换成 原变量 ， 则得到函数 Y 的反函数 例： 注意两点：保持原函数中逻辑运算的优先顺序；逻辑式上 （不是单个变量上）的反号可以保持不变。 Y D AC B A Y ? ? ? D C A B A Y ? ? ? ? ) ( ③对偶定理 对一个逻辑函数 Y 进行如下变换： 将所有的“ · ” 换成“ ＋ ”， “ ＋ ”换成“ · ” ， “ 0 ” 换成“ 1 ” ， “ 1 ” 换成“ 0 ” ， 则得到函数 Y 的对偶函数 Y 。 例： Y 1 =A·(B+C) Y 1 =A+B· C Y 2 =A·B+A·C Y 2 =(A+B)· (A+C) 对偶规则：如果两个函数相等，则它们的对偶函数亦相等。 例：已知 A· (B+C)=A· B+A· C 则两边求对偶 A+B· C=(A+B)· (A+C) ) )( ( 3 D C B A Y ? ? ? CD AB Y ? ? 3 CD B A Y ) ( 4