SESIN: 1

TEMA 1: LGEBRA DE BOOLE

DE: 3

OBJETIVO: Capacitar al participante en el uso de herramientas algebraicas para resolver problemas lgicos
de carcter secuencial.

DEFINICION
El Algebra de Boole es toda clase o conjunto de elementos que pueden tomar dos valores perfectamente
diferenciados, que designaremos por 0 y 1, y que estn relacionados por dos operaciones binarias denominadas
suma (+) y producto (.) (La operacin producto se indica generalmente mediante la ausencia de smbolo entre dos
variables lgicos).
Cumplen las siguientes Propiedades:
a) Ambas operaciones son conmutativas, es decir si a y b son elementos del lgebra, se verifica:
+ =+
=
b) Dentro del lgebra existen dos elementos neutros, el 0 y el 1, que cumplen la propiedad de identidad con
respecto a cada una de dichas operaciones:
0+ =
1 =
c) Cada operacin es distributiva con respecto a la otra:
( + ) = +
+ ( ) = ( + ) ( + )
d) Para cada elemento a del lgebra existe un elemento denominado , tal que:
+ = 1
= 0
Este postulado define realmente una nueva operacin fundamental que es la inversin o complementacin de una
variable. La variable se encuentra siempre en un estado binario contrario al de a. La tabla de verdad de la
inversin o complemento, es:

0 1
1 0
La operacin suma se asimila a la conexin en paralelo de contactos y la operacin producto a la conexin en
serie. El inverso de un contacto es otro cuyo estado es siempre el opuesto del primero, es decir est cerrado cuando
aqul est abierto y viceversa. El elemento 0 es un contacto que est siempre abierto y el elemento 1 un contacto
que est siempre cerrado. Adems, se considera una funcin de transmisin entre los dos terminales de un circuito
de contactos, que toma el valor I, cuando existe un camino para la circulacin de corriente entre ellos (corto
circuito) y el valor 0 si no existe dicho camino (circuito abierto).

TEOREMAS DE ALGEBRA DE BOOLE

Teorema 1. Para cada elemento a del lgebra de Boole se verifica:

+1=1
0=0
Teorema 2. Para cada elemento a del lgebra de Boole se verifica:
+ =
=
Teorema 3. Para cada par de elementos del lgebra de Boole a y b se verifica:
+ =
( + ) =
Esta ley se llama Ley de Absorcin.

Teorema 4. En el lgebra de Boole, las operaciones suma y producto son asociativas.

+ ( + ) = ( + ) + = + +
() = ())

Teorema 5. Para todo elemento a del lgebra de Boole se verifica:

=
Teorema 6. En toda lgebra de Boole se verifica:

+ + + =

= + + +
A estas igualdades se les denomina Leyes de Morgan.

Aplicando la ley de Morgan a las operaciones fundamentales tenemos:

=
=
+
+ =
+ =

Ejercicios del tema 1:

1) Convierta las siguientes ecuaciones Booleanas en esquemas de contactos:
1.1 1 = + ( )

1.2 2 = (
+ ) ()
1.3 3 =
+
2) Para el control de cierto motor, se especifica que tanto el arranque como el paro, se debern ejecutar con
un solo botn. Determine el esquema de contactos para dicho control (NOTA: Puede utilizar los recursos
que crea convenientes).