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
x x = x
Deduccin:
x x = (x x) + 0 por el postulado 2(a) de Huntington
= (x x) + (x x) 5(b)
= x (x + x) 4(a)
= x 1 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
x 0 = 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 1 0 = 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 + x y = x 1 + x y = x por el postulado 2(b) de Huntington
= x (1 + y) 4(a)
= x (y + 1) 3(a)
= x 1 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:
z0 = 1
z1 = 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
1 0 0 1 1 1
0 0 0 0 1 1
1 1 1 1 0 1
1 1 1 0 0 1
1 0 0 1 1 0
0 0 0 0 1 0
1 0 1 1 0 0
0 0 1 0 0 0
S x y y z y x
Tabla de verdad de la funcin S = x y + z