LGEBRA BOOLIANA _________________________________________________________________________

LGEBRA BOOLIANA
Los conjuntos y las proposiciones poseen propiedades anlogas , es decir , que cumplen leyes idnticas . Son estas leyes las que se emplean para definir una estructura matemtica abstracta llamada lgebra Booliana , por el nombre del matemtico George Boole ( 1813 1864 ) . Definicin : Un lgebra Booliana es un conjunto A dotado de dos operaciones binarias llamadas : suma ( + ) y producto ( * ) y tal que cumplen las propiedades de : 1 ) Clausura : a , b A , (a + b) A

(a * b) A
a * b = b * a

2 ) Conmutatividad : a + b = b + a 3 ) Asociatividad :

(a + b) + c = a + (b + c) (a * b) * c = a * (b * c)

4 ) Distributividad :

a + (b * c) = (a + b) * (a + c) a * (b + c) = (a * b) + (a * c)

5 ) Elementos neutros : i ) Existe neutro aditivo ( O ) tal que a + O = O + a = a a * U = U * a = a

ii ) Existe neutro multiplicativo ( U ) tal que 6 ) Complemento :

a A , existe a A , llamado complemento de A , tal que :

a + a = U

a * a = O

_________________________________________________________________________ ELIANA DEVIA S . 1

LGEBRA BOOLIANA _________________________________________________________________________

Observacin : Ejemplos :

Una operacin binaria cumple ley de clausura .

1) A = { 1,0} + 1 0 1 1 1 0 1 0

* 1 0 1 1 0 0 0 0

Con las operaciones as definidas , ( A , + , * ) es un lgebra Booliana . 2 ) Sea una familia de conjuntos , cerrada respecto a las operaciones de unin , interseccin y complemento , entonces ( , , ) es un lgebra Booliana , y el conjunto Universal es el elemento unidad ( neutro multiplicativo ) y el conjunto es el elemento cero ( neutro aditivo ) . 3 ) Sea el conjunto de las proposiciones generadas por las variables p , q , r , , entonces ( , , ) es un lgebra Booliana .

Observacin :

Como los conjuntos y las proposiciones son ejemplos clsicos del lgebra Booliana , se puede denotar las operaciones de un lgebra Booliana por : ( , ) por : ( , ) .

_________________________________________________________________________ ELIANA DEVIA S . 2

LGEBRA BOOLIANA _________________________________________________________________________

DUALIDAD EN UN LGEBRA BOOLIANA Definicin : El dual de un enunciado en un lgebra Booliana ( A , + , * ) es el enunciado que resulta intercambiando + por * y los elementos neutros U y O en el enunciado original . (U + a) * (b + O) = b , (O * a) + (b * U) = b Observaciones : i ) El dual de cada axioma en un lgebra Booliana es tambin un axioma . ii ) El dual de un teorema en un lgebra Booliana es tambin un teorema . el dual es :

Ejemplo :

TEOREMAS FUNDAMENTALES EN UN LGEBRA BOOLIANA 1) a + a = a 2) a + U = U 3 ) ( a ) = a 4) U = O ; O = U Leyes de De Morgan (a * b) = a + b ; ; a * a = a a * O = O Ley de involucin Leyes de idempotencia

5) (a + b) = a * b

_________________________________________________________________________ ELIANA DEVIA S . 3

LGEBRA BOOLIANA _________________________________________________________________________

ORDEN EN UN LGEBRA BOOLIANA Teorema : Sea a , b A un lgebra Booliana . Entonces las siguientes condiciones son equivalentes : i) iii ) Definicin : a * b O a + b U ii ) a + b b

iv ) a * b a

Sea a , b A un lgebra Booliana . Se dice que : a es anterior a b , denotado por a

b , si es vlida una

de las propiedades del teorema anterior . Ejemplos : 1) Sea ( , , ) un lgebra Booliana de conjuntos , entonces A es anterior a B significa que A B , es decir , si A B , entonces se verifica que : i) iii ) 2) A A

B =

ii ) iv )

A A

B = B B = A

B = U

Sea ( , , ) un lgebra Booliana de proposiciones , entonces p es anterior a q significa que p implica lgicamente a q , es decir , p q .

Teorema :

La relacin definida en un lgebra Booliana por a i) ii ) reflexibilidad : a antisimtrica : a

b , es

una relacin de orden parcial en A , es decir , se cumple :

a b

, a A.
b

a = b

_________________________________________________________________________ ELIANA DEVIA S . 4

LGEBRA BOOLIANA _________________________________________________________________________

iii ) transitividad : a

b b

Teorema :

Sea a , b A un lgebra Booliana , entonces : i ) a + b = sup { a , b } ii ) a * b = inf { a , b }

Observacin :

Un conjunto parcialmente ordenado A , tal que para cualquier a , b A , existen : inf { a , b } y sup { a , b } , se llama un RETCULO . Por lo tanto , un lgebra Booliana es un tipo especial de retculo .

DISEOS DE CIRCUITOS CONMUTADORES Sean A y B interruptores elctricos . Sean A y A interruptores tales que cuando el uno est abierto , el otro est cerrado y viceversa . Dos interruptores A y B se pueden conectar por un alambre en serie o en paralelo . A B

Conexin en serie : A B A

B Conexin en paralelo : A B

_________________________________________________________________________ ELIANA DEVIA S . 5

LGEBRA BOOLIANA _________________________________________________________________________

Un circuito conmutador Booliano es un dispositivo de alambres e interruptores que se puede construir mediante combinaciones en serie y en paralelo y por lo tanto se le puede describir con los conectivos . Ejemplos : 1) B A A A 2) A B

( B A )

A B C (A

B ) [ ( A C ) B ]

Para averiguar el funcionamiento de un circuito conmutador Booliano se construye una tabla semejante a las tablas de verdad para las proposiciones : Para el ejemplo 1 : A 1 1 0 0 B 1 0 1 0 A 0 0 1 1 B A 1 0 1 1 A

( B A )
1 0 0 0

La corriente pasar solamente si estn cerrados A y B .

_________________________________________________________________________ ELIANA DEVIA S . 6

LGEBRA BOOLIANA _________________________________________________________________________

Para el ejemplo 2 : A 1 1 1 1 0 0 0 0 B 1 1 0 0 1 1 0 0 C 1 0 1 0 1 0 1 0 A 0 0 0 0 1 1 1 1 1 B A B A C 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 1 0 1 3 1

B
1 0 0 0 1 1 0 0

3 2 1 0 1 1 1 1 0 0 se

Toda combinacin de interruptores mediante los conectivos llaman tambin Polinomios Boolianos . Ejercicios : 1 ) Determinar el polinomio Booliano para : i) B A A C

ii ) A

C B B C

_________________________________________________________________________ ELIANA DEVIA S . 7

LGEBRA BOOLIANA _________________________________________________________________________

2 ) Construir un circuito para los polinomios Boolianos : i) (A

B ) [ A ( B A B ) ] C ( A B C )

ii ) ( A B )

3 ) Construir las tablas de verdad para los polinomios Boolianos anteriores . ( Ejercicios 1 y 2 ) .

_________________________________________________________________________ ELIANA DEVIA S . 8