数字电路与逻辑设计知识讲稿.pptVIP

（6）A(AB)’=AB’ A’(AB)’=A’ 证明：A(AB)’ =A(A’+B’) =AA’+AB’ =AB’ 证明：A’(AB)’ =A’(A’+B’) =A’A’+A’B’ =A’(1+B’) =A’ 交叉互换律 （7）AB+A’C =(A+C)(A’+B) 证明：(A+C)(A’+B) =AA’+AB+A’C+BC =AB+A’C+BC =AB+A’C 2.3 逻辑代数的基本定理 ①代入定理： 在一个逻辑等式两边出现某个变量（逻辑式）的所有位置都代入另一个变量（逻辑式），则等式仍然成立。 例：已知(AB)’=A’+B’ 在等式两边出现B的所有位置都代入BC 左边(A(BC))’=A’+(BC)’=A’+B’+C’ 右边A’+(BC)’ = A’+B’+C’ 等式仍然成立 例：已知(A+B)’=A’B’，在等式两边B的位置都代入B+C 左边(A+(B+C))’=A’(B+C)’=A’B’C’ 右边 A’B’= A’(B+C)’=A’B’C’ 等式仍然成立 ②反演定理 对一个逻辑函数Y进行如下变换： 将所有的“·”换成