冗余律

$$AB+\bar{A}C+BC=AB+\bar{A}C$$

有一个反的，不同的组合在一起的是多余的

证明：

$$\begin{array}{rl}AB+\bar{A}C+BC& =AB+\bar{A}C+ABC+\bar{A}BC\\ & =AB+\bar{A}C\end{array}$$

另法：

拓展规则，把 A 展开

思想是 A 分成 0 和 1 情况讨论