Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebra de Boole
Algebra de Boole
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.
a 0 1
S 0 1
b) Unin
FUNCION
TABLA DE VERDAD
a 0 0 1 1
b 0 1 0 1
b) Unin
FUNCION
S = a.b
TABLA DE VERDAD
a 0 0 1 1 b 0 1 0 1 S 0 0 0 1
a) Negacin
TABLA DE VERDAD
FUNCIN
S !a
a 0 1
S 1 0
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 ,. Se comprueba que:
a a !1 aa ! 0
a!a
a b c ! a bc a bc ! a b c
b. Identidad
c. Propiedad distributiva
TEOREMAS
a+1=1 a.0=0 a+a=a a.a=a Ley de Absorcin a+a.b=a a.(a+b)=a
. EJERCICIOS