Teorema de consenso

En álgebra Booleana, el teorema del consenso o la regla de consenso[1]​ es la identidad: El consenso o resolvente de los términos

Es la conjunción de todos los literales únicos de los términos, excluyendo el literal que aparece innegado en in término y negado en el otro.

incluye un término que es negado en

(o viceversa), el término de consenso

es falso; es decir, no hay término de consenso.