Consensus theorem

In Boolean algebra, the consensus theorem is a simplification of the following terms:


 * xy + x'z + yz = xy + x'z

The dual of this equation is:


 * (x + y)(x' + z)(y + z) = (x + y)(x' + z)

The consensus term refers to the redundant term.

In digital logic, including the consensus term can eliminate race hazards.

Teorema del consensus