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
por el postulado 2(b) de Huntington 5(a) 4(b) 5(b) 2(a)

Deduccin: x + x = (x + x) 1 = (x + x) (x + x) = x + (x x) =x+0 =x

Teoremas del lgebra de Boole

1b

xx=x
por el postulado 2(a) de Huntington 5(b) 4(a) 5(a) 2(b)

Deduccin: xx = (x x) + 0 = (x x) + (x x) = x (x + x) =x1 =x

Teoremas del lgebra de Boole

2a

x+1=1
por el postulado 2(b) de Huntington 5(a) 4(b) 2(b) 5(a)

Deduccin: x + 1 = 1 (x + 1) = (x + x) (x + 1) = x + (x 1) = x + x =1

Teoremas del lgebra de Boole

2b

x0=0
por el postulado 2(a) de Huntington 5(b) 4(a) 2(a) 5(b)

Deduccin: x 0 = 0 + (x 0) = (x x) + (x 0) = x (x + 0) = x x =0

Teoremas del lgebra de Boole

(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
por el postulado 2(b) de Huntington 4(a) 3(a) 2(a) 2(b)

Deduccin: x+xy=x1+xy=x = x (1 + y) = x (y + 1) =x1 =x

Teoremas del lgebra de Boole

4b

x ( x + y) = x
por el postulado 2(a) de Huntington 4(b) 3(b) 2(b) 2(a)

Deduccin: x ( x + y) = (x + 0) ( x + y) = x + (0 y) = x + (y 0) =x+0 =x

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 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 y 1 1 0 0 1 1 0 0 x y 0 0 0 0 1 1 0 0 S 0 1 0 1 1 1 0 1

Tabla de verdad de la funcin S = x y + z