1.2. Algebra de Boole.

1.2.1. Definicin y postulados.

Un lgebra de Boole es toda clase o conjunto de elementos que pueden tomar
dos valores perfectamente diferenciados, que designaremos por 0 y 1 y que estn
relacionados por dos operaciones binarias denominadas suma (+) y producto (.)
(la operacin producto se indica en general simplemente mediante la ausencia de
smbolo entre dos variables) lgicos que cumplen los siguientes postulados:
a) Ambas operaciones son conmutativas, es decir, si a y b son elementos del
lgebra, se verifica:
a+b=b+a

a.b=b.a

b) Dentro del lgebra existen dos elementos neutros, el 0 y el 1, que cumplen la

propiedad de identidad con respecto a cada una de dichas operaciones:
0+a=a

1.a=a

c) Cada operacin es distributiva con respecto a la otra:

a . (b + c) = a . b + a . c

a + (b . c) = (a + b) . (a + c)

d) Para cada elemento, a, del lgebra existe un elemento denominado, , tal que:
a+=1

a.=0

Este postulado define realmente una nueva operacin fundamental que es la

inversin o complementacin de una variable. La variable se encuentra siempre
en un estado binario contrario al de a.
La primera ecuacin expresa la imposibilidad de que a y tomen el valor lgico
cero al mismo tiempo y la segunda ecuacin indica que nunca pueden tener el
valor lgico uno al mismo tiempo.
De lo explicado anteriormente se deduce que el lgebra de Boole es un ente
matemtico. En realidad, son fsicamente varios los conjuntos que poseen dos
operaciones binarias que cumplen los postulados desarrollados. Ejemplos de
estos conjuntos son el lgebra de las proposiciones formales y el lgebra de la
conmutacin formad tambin por elementos que pueden tomar dos estados
perfectamente diferenciados.
Los primeros circuitos de conmutacin o lgicos utilizados han sido los
contactos, y aunque poco a poco han sido desplazados por los circuitos

electrnicos, pueden ser empleados para memorizar ms fcilmente las leyes del
lgebra de Boole antes expresadas y los teoremas que desarrollaremos
seguidamente.
La operacin suma se asimila a la conexin en paralelo de contactos y la
operacin producto a la conexin en serie. El inverso de un contacto es otro cuyo
estado es siempre opuesto del primero, es decir est cerrado cuando aquel est
abierto y viceversa. El elemento 0 es un contacto que est siempre abierto y el
elemento 1 un contacto que est siempre cerrado. Adems se considera una
funcin de transmisin entre los dos terminales de un circuito de contactos, que
toma el valor 1, cuando existe un camino para la circulacin de corriente entre
ellos (cortocircuito) y el valor 0 al no existir dicho camino (Circuito abierto).

1.2.2. Teoremas.
Basndose en los postulados anteriores se deducen los teoremas que
expondremos seguidamente. Su demostracin se puede realizar algebraicamente
mediante la llamada tabla de verdad. La tabla de verdad de una expresin
algebraica binaria representa los valores que dicha expresin puede tomar para
cada combinacin, de estados de las variables que forman parte de la misma. Dos
expresiones algebraicas que tienen la misma tabla de verdad son equivalentes.
Teorema 1: Cada identidad deducida de los anteriores postulados del lgebra de
Boole permanece vlida si la operacin + y . y los elementos 0 y 1 se intercambian
entre si.
Este principio, llamado de dualidad, se deduce inmediatamente de la simetra
de los cuatro postulados con respecto a ambas operaciones y ambos elementos
neutros.
Teorema 2: Para cada elemento a de un lgebra de Boole se verifica:
a+1=1

a.0=0

Teorema 3: Para cada elemento a de un lgebra de Boole se verifica:

a+a=a

a.a=a

Teorema 4: Para cada par de elementos de un lgebra de Boole a y b, se verifica:

a +ab = a

a . (a + b) = a

Esta ley se llama de absorcin.

Teorema 5: En lgebra de Boole, las operaciones suma y producto son
asociativas:
a + (b + c) = (a + b) + c = a + b + c
a . (b . c) = ( a . b) . c = a . b . c
Teorema 6: Para todo elemento de un lgebra de Boole se verifica:
=a
Teorema 7: En toda lgebra de Boole se verifica:

Estas igualdades se llaman leyes de De Morgan.