Algebra de Booleana

Introducción. La lógica binaria es utilizada en computadoras y dispositivos digitales, el costo

de los circuitos que se implementan, es de suma importancia, por tanto el simplificar tales
circuitos es una necesidad, la cual se logra con algebra booleana.

El algebra de booleana, como cualquier sistema deductivo se define como un conjunto de

elementos, un conjunto de operadores y varios axiomas o postulados

Axiomas del algebra booleana.

1(a) La estructura es cerrada con respecto al operador “+”.
1(b) La estructura es cerrada con respecto al operador “∙”.
2(a) El elemento 0 es un elemento de identidad con respecto a +; es decir, X+0=0+X=X.
2(b) El elemento 1 es un elemento de identidad con respecto a ∙ ;es decir, X∙1=1∙X=X.

3(a) La estructura es conmutativa con respecto a +; es decir, X+Y=Y+X.

3(b) La estructura es conmutativa con respecto a ∙ ; es decir, X∙Y=Y∙X.
4(a) El operador ∙ es distributivo sobre +; es decir, X∙(Y+Z)=XY+XZ.
4(b) El operador + es distributivo sobre ∙ ; es decir X+(YZ)=(X+Y)∙(X+Z).
5(a) Para cada elemento X Ɛ B y X Ɛ B; X + X =1.

5(b) X ∙ X = 0.
6 Existen al menos 2 elementos X,Y Ɛ B, por tal X≠Y.

El axioma 4b, es muy diferente al algebra convencional. Procederemos a realizar su

demostración, utilizando tablas de verdad.
Observando el axioma 4b, consta de 3 variables: X,Y,Z; también contienen 3 términos de 2
variables y 2 operaciones entre los términos.
Por tener X,Y,Z, las entradas son 3. Recordando que (YZ) es una operación lógica AND; (X+Y)
es una operación lógica OR; (X+Z) una OR; X con (YZ) una operación OR y (X+Y) con (X+Z)
una operación AND. Entonces evaluamos.

pág. 1 Profe Isidro Melchor Osorio

Tala de vedad del axioma 4b.

Entradas
XYZ (YZ) X+(YZ) (X+Y) (X+Z) (X+Y)(X+Z)
000 0 0 0 0 0
001 0 0 0 1 0
010 0 0 1 0 0

011 1 1 1 1 1
100 0 1 1 1 1
101 0 1 1 1 1
110 0 1 1 1 1
111 1 1 1 1 1

Observando la columna de la salida X+(YZ) y la columna de la salida (X+Y)(X+Z), observamos

que son iguales sus columnas, por tanto la igualdad del axioma 4b es correcta.

pág. 2 Profe Isidro Melchor Osorio

 Teoremas de Algebra Booleana
Existe el termino de “dualidad”, el cual es entre 2 expresiones booleanas, entre ellas están
intercambiadas los elementos(0,1) en su respectiva posición y también el operador
lógico(∙,+). Como ejemplo observen los pasado axiomas, cada uno posee (a) y (b), pues los
teoremas también.
Teoremas:
T1a X+X=X

T1b X∙X=X

T2a X+1=1
T2b X∙0=0

T3 involución(este posee solamente uno) X =X

T4a asociativa X+(Y+Z)=(X+Y)+Z

T4b “ X(YZ)=(XY)Z

T5a De Morgan (X+Y) = X Y

T5B “ “ (X Y) = X + Y

T6a absorción X+XY=X

T6b “ X (X+Y)=X

La demostración de los teoremas es por medio de los axiomas. Si tienen curiosidad lo

pueden checar en la biografia que les mande.
El axiomas 5a, 5b, 4b se aplican estrictamente para únicamente la variable indicada.
Para el resto de axiomas y la totalidad de teoremas, se aplican come se denotan para
variables y también se puede considerar X, Y, Z como términos compuestos por variables.
Veremos los siguientes ejemplos:

pág. 3 Profe Isidro Melchor Osorio

pág. 4 Profe Isidro Melchor Osorio
pág. 5 Profe Isidro Melchor Osorio
pág. 6 Profe Isidro Melchor Osorio