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 necesaria, la cual se logra con algebra booleana.

El algebra de booleana, como cualquier sistema deductivo ee 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 terminos.
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.
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.