Source: wikibot/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.