Consensus theorem
= Consensus theorem
{wiki=Consensus_theorem}
The Consensus theorem is a simplification rule used in Boolean algebra and digital logic design. It states that certain combinations of Boolean variables can be simplified, leading to more efficient expressions.