ALGEBRA DE BOOLE

El lgebra booleana, como cualquier otro sistema matemtico

deductivo, puede definirse con un conjunto de elementos, un conjunto
de operadores y un nmero de axiomas no probados o postulados. En
1854 George Boole present un tratamiento sistemtico de la lgica, y
desarroll para este propsito un sistema algebraico que ahora se
conoce como lgebra booleana. En 1938 C. E. Shannon introdujo un
lgebra booleana de dos valores denominada lgebra de interruptores,
en la cual demostr que las propiedades de los circuitos elctricos y
estables con interruptores, pueden representarse con esta lgebra. Para
la definicin formal del lgebra booleana, se emplean los postulados
formulados por E. V. Hungtington en 1904. Estos postulados o axiomas
no son nicos para definir el lgebra booleana. Se han usado otros
conjuntos de postulados. [6]
El lgebra booleana es una estructura algebraica definida en un
conjunto de elementos B junto con dos operadores binarios + y
siempre y cuando se cumpla con 6 postulados de Huntington
Postulados de Huntington

1
a) B es un conjunto cerrado respecto al operador +
b) B es un conjunto cerrado respecto al operador

Un conjunto B esta cerrado respecto a un operador binario si, para

cada par de elementos de B, el operador binario especifica una regla
para obtener un nmero nico de B. Por lo tanto:

x, y B 1(a) x + y B 1(b) x y B
Postulados de Huntington

2
a) Existe un elemento identidad en el conjunto B para el operador +
b) Existe un elemento identidad en el conjunto B para el operador

Un conjunto B tiene un elemento identidad respecto a una operacin

binaria * en B si existe un elemento Z B con la propiedad: Z * x = x *
Z = x para cualquier x B. Por lo tanto en el lgebra boolena los
elementos identidad son: 0 para la operacin + y 1 para la operacin

x, Z B 2(a) x + Z = Z + x = x 2(b) x Z = Z x = x
Postulados de Huntington

3
a) B es un conjunto conmutativo respecto al operador +
b) B es un conjunto conmutativo respecto al operador

Un operador binario * en un conjunto B se dice que es conmutativo

siempre que: x * y = y * x para x, y B. Por lo tanto:

x, y B 3(a) x + y = y + x 3(b) x y = y x
Postulados de Huntington

4
a) es distributivo sobre +
b) + es distributivo sobre a

Si * y son dos operadores binarios en un conjunto B , se dice que * es

distributivo sobre siempre que: x*(y z) = (x * y) (x * z). Por lo tanto:
x, y, z B
4(a) x (y + z) = (x y) + (x z) 4(b) x + (y z) = (x + y) (x + z)
Postulados de Huntington

5
Para cada elemento x B, existe un elemento x B (llamado
complemento de x) tal que:

a) x + x = 1
b) x x = 0
Postulados de Huntington

6
Existen al menos 2 elementos x, y B tales que x z y.

B = {0,1]
Postulados de Huntington

El lgebra booleana se parece en algunos

aspectos al lgebra ordinaria. Sin embargo, se
debe tener cuidado de no sustituir las reglas del
lgebra boleana por las reglas de el lgebra
tradicional cuando no son aplicables.
Teoremas del lgebra de Boole

1a
x+x=x
Deduccin:
x + x = (x + x) 1 por el postulado 2(b) de Huntington
= (x + x) (x + x) 5(a)
= x + (x x) 4(b)
=x+0 5(b)
=x 2(a)
Teoremas del lgebra de Boole

1b
xx=x
Deduccin:
xx = (x x) + 0 por el postulado 2(a) de Huntington
= (x x) + (x x) 5(b)
= x (x + x) 4(a)
=x1 5(a)
=x 2(b)
Teoremas del lgebra de Boole

2a
x+1=1
Deduccin:
x + 1 = 1 (x + 1) por el postulado 2(b) de Huntington
= (x + x) (x + 1) 5(a)
= x + (x 1) 4(b)
= x + x 2(b)
=1 5(a)
Teoremas del lgebra de Boole

2b
x0=0
Deduccin:
x 0 = 0 + (x 0) por el postulado 2(a) de Huntington
= (x x) + (x 0) 5(b)
= x (x + 0) 4(a)
= x x 2(a)
=0 5(b)
Teoremas del lgebra de Boole

3
(x)=x

Deduccin:
Si x = 1
x'= 0 por el postulado 5
5(a) x + x = 1 o 1+0=1
5(b) x x = 0 o 10=0
Entonces el complemento de 0 es 1 por lo tanto:
x'= 0 o (x) = 1 = x
Teoremas del lgebra de Boole

4a
x + (x y) = x

Deduccin:
x+xy=x1+xy=x por el postulado 2(b) de Huntington
= x (1 + y) 4(a)
= x (y + 1) 3(a)
=x1 2(a)
=x 2(b)
Teoremas del lgebra de Boole

4b
x ( x + y) = x
Deduccin:
x ( x + y) = (x + 0) ( x + y) por el postulado 2(a) de Huntington
= x + (0 y) 4(b)
= x + (y 0) 3(b)
=x+0 2(b)
=x 2(a)
Teoremas del lgebra de Boole

Otros teoremas vlidos para la lgebra boleana:

5. Teorema asociativo.
x + (y + z) = (x + y) + z
x (y z)= (x y) z

6. Teorema de Morgan
(x + y) = x y
(x y) = x + y

7. Teorema de Adyacencia Lgica

x y + x y = x
(x + y) (x + y) = x
Funciones Booleanas

Una funcin booleana es una expresin formada

por variables binarias, los operadores OR, AND,
NOT y el signo de igual. Tambin puede estar
presente el parntesis y el smbolo de negacin.
Funciones Booleanas

La Operacin OR se define as:

z0 + 0 = 0
z0 + 1 = 1
z1 + 0 = 1
z1 + 1 = 1
Funciones Booleanas

La funcin AND se define de la siguiente manera:

z0 0 = 0
z0 1 = 0
z1 0 = 0
z1 1 = 1
Funciones Booleanas

La funcin NOT (negacin) se define como se

muestra a continuacin:

z 0 = 1
z 1 = 0
Funciones Booleanas

Un ejemplo de funcin boleana seria:

S = x y + z

Para conocer el valor de S para diferentes valores

de las variables x, y, z se genera la tabla de
verdad de la funcin.
Funciones Booleanas
x y z y x y S
0 0 0 1 0 0
0 0 1 1 0 1
0 1 0 0 0 0
0 1 1 0 0 1
1 0 0 1 1 1
1 0 1 1 1 1
1 1 0 0 0 0
1 1 1 0 0 1
Tabla de verdad de la funcin S = x y + z