Consensus Theorem: AB + A’C + BC = AB + A’C