Teoremas Booleanos

Los teoremas booleanos son enunciados siempre verdaderos, lo que permite la manipulación de expresiones algebraicas, facilitando el análisis ó
síntesis de los circuitos digitales. Los teoremas booleanos son los siguientes:
X + 0 = X
X + 1 = 1
X·0 = 0
X·1 = X
(X’)’=X
X + X = X
X·X = X
X + X’ = 1
X.X’= 0
X + XY = X
X +X’·Y = X + Y
X·Y + X·Y’ = X (Teorema de combinación)
(X +Y)(X + Y’) = X + X·Y’ + X·Y = X
X·Y + X·Z + Y·Z’ = XZ + Y·Z’ (Consenso)