Consensus Theorem in Digital Logic
Consensus Theorem:
AB + A’C + BC = AB + A’C
The conjunctive dual of this equation is:
(A+B).(A’+C).(B+C) = (A+B).(A’+C)