《数字电子技术基础》第六版3.逻辑函数独有的基本定理a.互补律：4044b.重叠律:A·A=AA+A=Ac.非非律：（A三Ad.吸收律:A+AB=AA(A+B) = A4BVC4-4Be.摩根定律：CAB4B链接B注：以上定律均可由真值表验证
《数字电子技术基础》第六版 a. 互补律： A•A =0 A+A =1 b. 重叠律：A · A = A A + A = A c. 非非律： (A) =A d. 吸收律：A + A B = A A (A+B) = A A+AB=A+B e. 摩根定律： (AB) =A+B (A+B) =A B 注：以上定律均可由真值表验证 3.逻辑函数独有的基本定理 链接B
《数字电子技术基础》第六版2.3.2若干常用公式表2.3.2为常用的一些公式表2.3.2常用公式序号公式21A+A·B=A22A+A'B=A+B23A·B+A·B'=A24A(A+ B)= A25A.B+A'.C+BC=A.B+A'.CA·B+A'.C+BCD= A·B+ A'.C26A.(A.B)'= A.B'A'·(A·B)= A
《数字电子技术基础》第六版 2.3.2 若干常用公式 表2.3.2为常用的一些公式 序号 2 1 2 2 2 3 2 4 2 5 2 6 公 式 A B + A B = A A(A+ B) = A A B + AC + B C = A B + AC A(A B) = A B A (A B) = A A + A B = A A + AB = A + B A B + AC + BCD = A B + AC 表2.3.2 常用公式
《数字电子技术基础》第六版说明：1.A+AB=A：在两个乘积项相加时，如果其中一项包含另一项，则这一项是多余的，可以删掉；2.A+A'B=A+B：在两个乘积项相加时，如果其中一项含有另一项的取反因子，则此取反因子多余的，可从该项中册删除；3.AB+AB'=A：在两个乘积项相加时，如果它们其中的一个因子相同，而另一个因子取反，则两项合并，保留相同因子；4.A（A+B）=A：在当一项和包含这一项的和项相乘时，其和可以消掉
《数字电子技术基础》第六版 说明： 1. A＋AB＝A：在两个乘积项相加时，如果其中一 项包含另一项，则这一项是多余的，可以删掉； 2. A＋AB＝A＋B：在两个乘积项相加时，如果其中 一项含有另一项的取反因子，则此取反因子多余的， 可从该项中删除； 3. AB＋A B ＝A：在两个乘积项相加时，如果它们 其中的一个因子相同，而另一个因子取反，则两项合 并，保留相同因子； 4. A（A＋B）＝A：在当一项和包含这一项的和项相 乘时，其和项可以消掉
《数字电子技术基础》第六版5.AB+A'C+BC=AB+A'C：在三个乘积项相加时，如果前两中的一个因子互为反，那么剩余的因子组成的另一项则是多余的，可以删掉；公式AB+A'C+BCD=AB+A'C的原理和上述相同6.A（AB）＇=AB＇：如果某项和包含这一项的乘积取反相乘时，则这一项可以删掉；7.A＇（AB）＇=A＇：当某个项取反和包含这一项的乘积项取反相乘时，则只保留这个取反项以上的公式比较常用，应该能熟用，为以后逻辑函数的化简打好基础
《数字电子技术基础》第六版 5.AB＋A C＋BC ＝ AB＋A C ：在三个乘积项相加 时，如果前两项中的一个因子互为反，那么剩余的因 子组成的另一项则是多余的，可以删掉； 公式AB＋ A C＋BCD ＝ AB＋A C 的原理和上述相同 6. A（A B） ＝A B ：如果某项和包含这一项的乘 积项取反相乘时，则这一项可以删掉； 7. A （A B） ＝A ：当某个项取反和包含这一项 的乘积项取反相乘时，则只保留这个取反项 以上的公式比较常用，应该能熟用，为以后 逻辑函数的化简打好基础
《数字电子技术基础》第六版2.4逻辑代数的基本定理2.4.1代入定理内容：任何一个含有变量A的等式，如果将所有出现A的位置都用同一个逻辑函数G来替换，则等式仍然成立。利用代入定理可以证明一些公式，也可以将前面的两变量常用公式推广成多变量的公式
《数字电子技术基础》第六版 2.4 逻辑代数的基本定理 2.4.1 代入定理 内容：任何一个含有变量A 的等式，如果将所有出 现 A 的位置都用同一个逻辑函数G来替换，则等式 仍然成立。 利用代入定理可以证明一些公式，也可以将 前面的两变量常用公式推广成多变量的公式