Teoremas

El teorema del consenso es muy útil para simplificar una expresión booleana. En una expresión de tipo se muestra que el término es redundante y puede eliminarsesemplficando en la expresión original. De hecho, si usted tiene que tener y, por lo que cualquiera de los dos términos, y deberán aplicar, si vale la pena o la pena.Teorema de consenso
 

Demostración La demostración del teorema es muy sencillo ya que sólo tiene que comprobar que el primer término de la igualdad de la izquierdaes equivalente a la segunda.

TEOREMA DE MORGAN
El Teorema de Morgan permite transformar funciones producto en funciones suma y viceversa. Su principal aplicaciónpráctica es realizarcircuitos digitales utilizando un solo tipo de compuerta. También es muy utilizado en el álgebra booleana para obtener el complemento de unaexpresión o una función, además para simplificar expresiones y funciones booleanas.
El teorema de Morgan es una herramienta muy útil para desarrollar circuitos digitales, yaque permite obtener la función de una compuerta lógica con la combinación de otras compuertas lógicas, por ejemplo se puede realizar la función de la compuerta NANDcon una compuerta OR y dos compuertas inversoras, y se puede obtener la función de una compuerta NOR con una compuerta AND y dos compuertas


inversoras. 
TEOREMADE INVOLUCION

Para demostrar el teorema de involución tenemos :
(a')' . a' = 0 ; (a')' + a' = 1
a . a' = 0 ; a + a' = 1
en consecuencia, tanto (a')' como a soncomplementos de a' por lo que, teniendo en cuenta el teorema anterior, se deberá cumplir :
(a')' = a
demostrado.








TEOREMA DE CANCELACION