3.1. INTRODUCCIN George Boole cre el lgebra que lleva su nombre en el primer cuarto del siglo XIX.

Pretenda explicar las leyes fundamentales de aquellas operaciones de la mente humana por las que se rigen los razonamientos. En esa poca nadie pudo prever la utilizacin de este lgebra en el diseo de circuitos digitales. Como veremos las operaciones se realizarn mediante relaciones lgicas, lo que en el lgebra convencional son las sumas y multiplicaciones. Las variables con las que opera son las binarias 1 y 0 (verdadero o falso). Los signos 1 y 0 no expresan cantidades, sino estados de las variables. Podemos decir, que el sistema de numeracin binario y el lgebra de Boole constituyen la base matemtica para el diseo y construccin de sistemas digitales. Se define Funcin Lgica a toda variable binaria cuyo valor depende de una expresin formada por otras variables binarias relacionadas mediante los signos + y x. Por ejemplo: S=(a.b)+b.c. Siendo S la funcin, mientras que a, b y c son las variables. Esta funcin la leeramos de la siguiente forma: si a y b o b y c son verdaderas(1) la funcin lgica S es verdadera(1). Mediante contactos podramos explicar o aclarar la funcin lgica.

Tablas de verdad.- A travs de las tablas de verdad se puede conocer tericamente el comportamiento de las funciones lgicas, en funcin de los niveles que se aplican a la entrada. Ms adelante veremos como adems nos van a servir para disear circuitos digitales. 3.2. FUNCIONES BSICAS BOOLEANAS a) Igualdad FUNCIN S=a TABLA DE VERDAD a S 0 0 1 1 SMIL CON CONTACTOS

b) Unin (funcin =O) FUNCIN TABLA DE VERDAD

S = a+b

a 0 0 1 1 SMIL CON CONTACTOS

b 0 1 0 1

S 0 1 1 1

c) Interseccin (funcin Y) FUNCIN TABLA DE VERDAD a b 0 0 0 1 1 0 1 1 SMIL CON CONTACTOS

S = a.b

S 0 0 0 1

d) Negacin (funcin NO) Tambin denomina funcin complemento FUNCIN TABLA DE VERDAD a S 0 1 1 0 SMIL CON CONTACTOS

3.3. POSTULADOS DEL LGEBRA DE BOOLE a) Las operaciones del lgebra de Boole son conmutativas. a+b=b+a a.b=b.a

b) Identidad 0+a=a 1.a=a c) Cada operacin es distributiva respecto de la otra: a . (b + c) = a . b + a . c a + b . c = (a + b) . (a + c) d) Para cada elemento "a" existe un elemento complementario , a . Se comprueba que:

a a 1 a a
a a

a b c a b c

a b c a b c

3.5. EL LGEBRA DE BOOLE EN LENGUAJE DE CONTACTOS POSTULADOS a. Propiedad conmutativa

a+b a.b b. Identidad

b+a b.a

0+a=a c. Propiedad distributiva

1.a=a

a . (b + c )

a.b+a.c

a + (b . c)

(a + b) . (a + c) d. Complementario o inversin

a a 1

a a

TEOREMAS Teorema 2

a+1=1 Teorema 3

a.0=0

a+a=a Teorema 4. Ley de Absorcin

a.a=a

a+a.b=a

a.(a+b)=a

EJERCICIOS DE TAREA ENTREGAR PARA LA CLASE 1. a b c a b c a b c a b c 2. (a b) (a b) a b c a b 3. a b c d 4. a a b

a b c d

a b c d

a b c d

5. a (a b a b a b c a b c a) 6. a b c a b c 7. a b c d a b 8. a b c d a b 9. a b c a b c 10. (a b) (c a)

a b c a b c a b c c d c d a b c d a b c d a b c d a b c d a b c d a b c d

a b c a b c