一、基本公式
1、变量与常量运算规则：
2、重叠率：
3、互补率：
4、交换率、结合律 、以及分配律
5、反演律：
6、还原律：
二 、常用公式
1、A+A*B = A
2、A+A`*B = A+B
由：A+B*C = (A+B)*(A+C)
得：A+A`*B = (A+A`)*(A+B) = (A+B)
3、A*B+A*B` = A
4、A*(A+B) = A
5、A*B + A`*C + B*C = A*B + A`*C；
A*B + A`*C + B*C*D = A*B + A`*C
证明：A*B + A`*C + B*C*D = A*B + A`*C + A*B*C*D + A`*B*C*D = AB(1+CD) + A`C(1+BD) = AB + A`C;
6、A*(A*B) `= A*B`；
A`*(AB)` = A`;
三、定理
1、带入定理
在任何一个包含变量A的逻辑等式中，若以另一个逻辑式代入式中所有A的位置，则等式仍然成立。
2、反演定理
对于任意一个逻辑式Y，若将其中所有的*换成+，+换成*，0换成1，1换成0，原变量换成反变量，反变量换成原变量，则得到的结果就是Y`，即反演定理。
注意：不属于单个变量上的反号保留不变。
3、对偶定理
若两逻辑式相等，则它们的对偶式也相等，即对偶定理。
对偶式：对于任意一个逻辑式Y，若将其中所有的*换成+，+换成*，0换成1，1换成0，则得到的结果就是Y的对偶式。
四、参考
《数字电子技术基础》，阎石版。
