---恢复内容开始---
常用公式
这些个公式实际上就是教人如何利用前面所述的定律，规则来进行简化或论证逻辑函数。
1.并项公式
从名字可以看出，方便逻辑运算时简化式子。AB+A‘B=B, （A+A‘=1,A‘是A变量的反变量，逻辑变量是二值逻辑，只能是0或者1），此处这种等式还可以进行对偶的扩展，
（A+B)(A‘+B)=B，这样也侧面说明对偶对于公式的论证是有帮助的。
2.销冗余因子公式
A+A‘B=A+B,从公式看确实是消除了左式中的一项的因子，证明过程：(A+A‘)(A+B)=A+B,这步是用了分配律的知识，逻辑运算中的分配律挺奇怪，尤其是本式中出现的分配律，
---恢复内容结束---
原文：http://www.cnblogs.com/wsw-bk/p/6373147.html