in Booleschen Algebren für alle Elemente x, y und z gültige Rechenregel \begin{eqnarray}(x\wedge y)\vee (\bar{x}\wedge z)=(x\wedge y)\vee (\bar{x}\wedge z)\vee (y\wedge z).\end{eqnarray}

y ∧ z heißt Konsensus von x ∧ y und \(\bar{x}\wedge z\).