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.