Un sistema de elementos B y dos operaciones binarias cerradas (·) y (+) se

denomina ALGEBRA de BOOLE siempre y cuando se cumplan las

siguientes propiedades:

1.- Propiedad conmutativa:

A+B=B+A

A·B=B·A

2. Propiedad distributiva:

A·(B+C) = A·B + A·C

A + B·C = (A+B)·(A+C)

3. Elementos neutros diferentes

A+0=A

A·1=A

4. Siempre existe el complemento de A, denominado A’

A + A’ = 1

A · A’ = 0

TEOREMA DE MORGAN

LEYES DE DEMORGAN: para cada par de elementos de B, se verifica:

(A+B)’ = A’·B’

(A·B)’ = A’ + B’

Teorema de asociatividad: cada uno de los operadores binarios (+) y (·) cumple

la propiedad asociativa:

A+(B+C) = (A+B)+C

A·(B·C) = (A·B)·C
De Morgan, amigo de George Boole, aplicando el principio de dualidad, demostró la
siguiente igualdad booleana:

La segunda igualdad es la dual de la primera.

Podemos demostrar por inducción mediante tablas de la verdad que las igualdades son
ciertas:

Tambien podemos demostrar algebraicamente que la igualdad es cierta, aplicando el

elemento neutro:

Si cogemos A como la función de la parte derecha de la igualdad y como A

negado la parte de la derecha de la igualdad, tenemos:

Y como sabemos que A negado multiplicado

por A nos da 0, nos queda 0+0=0

Sabemos que 0+0 es 0 con lo cual cumplimos que 0=0

De igual manera podriamos demostrar el teorema de Morgan dual.