1. 吸收定律

• AB+AB-->AB
• AB+A-->AB
• A(1+...)-->A

2. 反演定律（德摩根律）

• (AB)'=A'+B';
• (A+B)'=A'B';
• 若Y=逻辑式$\alpha$，那么将$\alpha$中的"与或"、"01"、"是非"都反转，则能得到反演式Y'（用于得到原函数的反函数）

对于前两个式子，类似于非门的分配律。

3. 对偶定律

• 若Y=逻辑式$\alpha$，那么将$\alpha$中的"与或"、"01"都反转，但不反转"是非"，则能得到对偶式Z（对偶式相同的两个原函数相同）

3.代入定律

• 如果一个逻辑式$\alpha$中包含A,那么将另一个逻辑式$\beta$代入A也成立。

类似于将函数B代入函数A的变量x中，不改变函数A的正确性。

常用的逻辑运算

1 = A+A' = 1+任意逻辑式
0 = AA' = 0任意逻辑式
A = AA = A+A

能提公共项解决的：
    1) A+AB=A
    2) AB+AB'=A

不能提项解决的：
    3) AA'型1：A+A'B=A+B

    4) AO型：A+BC=(A+B)(A+C)，将A看成1A=(1+B+C)A，拆开后因式分解解决

    4) AA'型2：AB+A'C+BC=AB+A'C，将BC看成是1BC=(A+A')BC，拆开后再提项解决

如果式子中带有求反：
    1) 用德摩根律将求反式大多消除，只留下一个变量的求反式即可

组合电路的构造

已知组合电路求逻辑含义

1. 抽象：将电路的输入抽象为ABCD等字母，根据门电路特性，求出最终输出的结果
2. 真值表：根据输入输出，列出真值表，如果直接从真值表中能得出电路逻辑，就不用化简了
3. 化简：使用逻辑运算化简或卡诺图化简
4. 结论：对比真值表和化简式，得出电路逻辑

已知逻辑含义求组合电路

1. 真值表：根据需求逻辑得出真值表
2. 化简：使用卡诺图化简
3. 结论：将化简式用门电路组合起来，形成电路

基本逻辑门与真值表的直接转化

• 假设有n个输入端

• 这个符号只是便于记忆和转化，不是逻辑门的符号

• AND 与门：[=n]

• OR 或门：[>=1]
• NOT 非门：[!]
• XOR 异或门：[奇]，异或性质：奇数个1为1，偶数个1为0
• XNOR 同或门：[偶]