ALGEBRA BOOLEANA

1. COMPUERTAS LGICAS
Las compuertas lgicas son dispositivos funcionan igual que una calculadora, de un lado ingresas los datos, sta realiza una operacin, y finalmente, te muestra el resultado.

Cada una de las compuertas lgicas se las representa mediante un Smbolo, y la operacin que realiza (Operacin lgica) se corresponde con una tabla, llamada Tabla de Verdad, vamos con la primera...
.: Compuerta NOT

Se trata de un inversor, es decir, invierte el dato de entrada, por ejemplo; si pones su entrada a 1 (nivel alto) obtendrs en su salida un 0 (o nivel bajo), y viceversa. Esta compuerta dispone de una sola entrada. Su operacin lgica es s igual a a invertida

.: Compuerta AND

Una compuerta AND tiene dos entradas como mnimo y su operacin lgica es un producto entre ambas, no es un producto aritmtico, aunque en este caso coincidan. *Observa que su salida ser alta si sus dos entradas estn a nivel alto*

.: Compuerta OR

Al igual que la anterior posee dos entradas como mnimo y la operacin lgica, ser una suma entre ambas... Bueno, todo va bien hasta que 1 + 1 = 1, el tema es que se trata de una compuerta O Inclusiva . *Es decir, basta que una de ellas sea 1 para que su salida sea tambin 1*

RESUMEN GRFICO DE LAS 3 COMPUERTAS PRESENTADAS:

Compuertas Lgicas Combinadas.

Al agregar una compuerta NOT a cada una de las compuertas anteriores, los resultados de sus respectivas tablas de verdad se invierten, y dan origen a tres nuevas compuertas llamadas NAND y NOR ... Veamos ahora como son y cual es el smbolo que las representa...
.: Compuerta NAND

Responde a la inversin del producto lgico de sus entradas, en su representacin simblica se reemplaza la compuerta NOT por un crculo a la salida de la compuerta AND.

.: Compuerta NOR

El resultado que se obtiene a la salida de esta compuerta resulta de la inversin de la operacin lgica o inclusiva es como un no a y/o b. Igual que antes, solo agregas un crculo a la compuerta OR y ya tienes una NOR.

2. LEYES DEL LGEBRA BOOLEANA

1. Leyes de idempotencia a+a=a 2. Ley de Involucin ( a) = a 3. Conmutativa a+b=b+a 4. Asociativa (a + b) + c = a + ( b + c ) 5. Distributiva a+(bc)=(a+b)(a+c) 6. Identidad a+0=a a0=0 7. Absorcin a+ab=a 8. de De Morgan (a + b) = a b 9. Complementos a + a = 1 1 = 0 10. Simplificacin ab + ab= a a (a+b) = ab (a+b)(a+b) = a a + ab = a + b a a = 0 = 1 (a b) = a + b a(a+b)=a a 1= a a+1=1 a (b + c) = ab + ac (a b) c = a (b c) a.b=b.a a = a a.a=a

.: Leyes de De Morgan

Se trata simplemente de una combinacin de compuertas, de tal modo de encontrar una equivalencia entre ellas, esto viene a consecuencia de que en algunos casos no dispones del integrado que necesitas, pero si de otros que podran producir los mismos resultados que ests buscando. Para interpretar mejor lo que viene, considera a las seales de entrada como variables y al resultado como una funcin entre ellas. El smbolo de negacin (operador NOT) lo representar por "~" o por un apstrofe simple () , por ejemplo: a . ~ b significa a AND NOT b, y equivale a ab
.: 1 Ley De Morgan

El producto lgico negado de varias variables lgicas es igual a la suma lgica de cada una de dichas variables negadas. Si tomamos un ejemplo para 3 variables tendramos.. ~ (a.b.c) = ~a + ~b + ~c (abc) = a b c El primer miembro de esta ecuacin equivale a una compuerta NAND de 3 entradas, representada en el siguiente grfico y con su respectiva tabla de verdad.

El segundo miembro de la ecuacin se lo puede obtener de dos formas...

Fjate que la tabla de verdad es la misma, ya que los resultados obtenidos son iguales. Acabamos de verificar la primera ley.
.: 2 Ley De Morgan

La suma lgica negada de varias variables lgicas es igual al producto de cada una de dichas variables negadas... ~ (a + b + c) = ~a . ~b . ~c (a+b+c) = a b c El primer miembro de esta ecuacin equivale a una compuerta NOR de 3 entradas y la representamos con su tabla de verdad...

El segundo miembro de la ecuacin se lo puede obtener de diferentes forma, aqu cit solo dos...

Nuevamente... Observa que la tabla de verdad es la misma que para el primer miembro en el grfico anterior. Acabamos as de verificar la segunda ley de De Morgan.

Para concluir... Con estas dos leyes puedes llegar a una gran variedad de conclusiones, por ejemplo...

Para obtener una compuerta AND puedes utilizar una compuerta NOR con sus entradas negadas, o sea... a . b = ~( ~a + ~b) ab = (a+b) Para obtener una compuerta OR puedes utilizar una compuerta NAND con sus entradas negadas, es decir... a + b =~( ~a . ~b) a+b= (a b) Para obtener una compuerta NAND utiliza una compuerta OR con sus dos entradas negadas, como indica la primera ley de De Morgan... ~ (a.b) = ~a + ~b (ab) = a + b Para obtener una compuerta NOR utiliza una compuerta AND con sus entradas negadas, ...eso dice la 2 ley de De Morgan ~(a + b) = ~a . ~b (a+b) = a b

3. Funciones y operadores lgicos.

A estas alturas ya estamos muy familiarizados con las funciones de todos los operadores lgicos y sus tablas de verdad, todo vino bien..., pero... qu hago si dispongo de tres entradas (a, b y c) y deseo que los estados altos slo se den en las combinaciones 0, 2, 4, 5 y 6 (decimal)...? Cmo combino las compuertas...? y lo peor, Qu compuertas utilizo?
.: Mapas de Karnaugh

Podra definirlo como un mtodo para encontrar la forma ms sencilla de representar una funcin lgica. Esto es... Encontrar la funcin que relaciona todas las variables disponibles, de tal modo que el resultado sea el que se est buscando. Para esto vamos a aclarar tres conceptos que son fundamentales

a)- Minitrmino Es cada una de las combinaciones posibles entre todas las variables disponibles, por ejemplo con 2 variables obtienes 4 minitrminos; con 3 obtienes 8; con 4, 16 etc., como te dars cuenta se puede encontrar la cantidad de minitrminos haciendo 2n donde n es el nmero de variables disponibles. b)- Numeracin de un minitrmino Cada minitrmino es numerado en decimal de acuerdo a la combinacin de las variables y su equivalente en binario as...

Bien... El Mapa de Karnaugh representa la misma tabla de verdad a travs de una matriz, en la cual en la primer fila y la primer columna se indican las posibles combinaciones de las variables. Aqu tienes tres mapas para 2, 3 y 4 variables...

Analicemos el mapa para cuatro variables, las dos primeras columnas (columnas adyacentes) difieren slo en la variable d, y c permanece sin cambio, en la segunda y tercer columna (columnas adyacentes) cambia c, y d permanece sin cambio, ocurre lo mismo en las filas. En general se dice que... Dos columnas o filas adyacentes slo pueden diferir en el estado de una de sus variables Observa tambin que segn lo dicho anteriormente la primer columna con la ltima seran adyacentes, al igual que la primer fila y la ltima, ya que slo difieren en una de sus variables

c)- Valor lgico de un minitrmino es el que resulta de la operacin que se realiza entre las variables. lgicamente 0 1.

Lo que haremos ahora ser colocar el valor de cada minitrmino segn la tabla de verdad que estamos buscando. Observa la tabla de verdad del lado derecho y su matriz equivalente del lado izquierdo.

El siguiente paso, es agrupar los unos adyacentes (horizontal o verticalmente) en grupos de potencias de 2, es decir, en grupos de 2, de 4, de 8 etc... y nos quedara as...

Te preguntars que pas con la fila de abajo. Recuerda que la primer columna y la ltima son adyacentes, por lo tanto sus minitrminos tambin lo son. De ahora en adelante a cada grupo de unos se le asigna la unin (producto lgico) de las variables que se mantienen constante (ya sea uno o cero) ignorando aquellas que cambian, tal como se puede ver en esta imagen...

Para terminar, simplemente se realiza la suma lgica entre los trminos obtenidos dando como resultado la funcin que estamos buscando, es decir... f = (~a .~b) + (a . ~c) f= ab+ac

Puedes plantear tu problema como una funcin de variables, en nuestro ejemplo quedara de esta forma... f(a, b, c) = S(0, 1, 4, 6) F es la funcin buscada (a, b, c) son las variables utilizadas (0, 1, 4, 6) son los minitrminos que dan como resultado 1 o un nivel alto. Es decir, identifica cada uno de los renglones de la tabla de verdad que tienen un 1. S La sumatoria de las funciones que producen el estado alto en dichos minitrminos. Slo resta convertir esa funcin en su circuito elctrico correspondiente. Veamos, si la funcin es... f = (~a . ~b) + (a . ~c) o sea... f = a b + a c (NOT a AND NOT b) OR (a AND NOT c) El esquema elctrico que le corresponde es el que viene a continuacin...

El resultado de todo esto es un circuito con la menor cantidad de compuertas posibles, lo cual lo hace ms econmico, por otro lado cumple totalmente con la tabla de verdad planteada al inicio del problema, y adems recuerda que al tener menor cantidad de compuertas la transmisin de datos se hace ms rpida.

4. Expresiones Booleanas: Forma de Suma de Productos

Ejemplo de una expresin Boole :

xy + x y z + x y z

1) Literal : es una variable o una variable complementada. Por ejemplo: x , x z

2) Producto fundamental: es una literal o un producto de dos o mas literales en los cuales no hay dos literales con una misma variable. Por ejemplo: xyz xyz . Los siguientes productos no representan productos fundamentales pues tienen literales con la misma variable: xxy , xyy , xyy. Todo producto de lgebra booleana se puede reducir a cero o a un producto fundamental.

Ley de Absorcin
7. Absorcin a+ab=a a(a+b)=a

Un producto fundamental P1 , se dice que est incluido en otro producto fundamental P2 si las literales del primero estn tambin en el segundo. Observa los siguientes ejemplos:
P1 P2 P1 + P2 = P1

xy xz xz

xyz xyz xyz

xy+xyz = xy xz + xyz = xz xz + xyz = xz + xyz no aplica la simplificacin

pues el primer trmino no est totalmente incluido en el segundo

3) Suma de productos es una expresin booleana en la que cada uno de los elementos de la suma es un producto. Ejemplo: ab + c d

4) Forma de suma de productos: una expresin booleana se dice que est en la forma de suma de productos si es: un producto fundamental o la suma de dos o ms productos fundamentales ninguno de los cuales est incluido en otro.

La siguiente expresin booleana xy + xyz + xyz no est en la forma suma de productos porque, aunque todos sus elementos son productos fundamentales, hay un producto (xy ) que est incluido en otro (xyz). Aplicando la ley absorcin lo podemos convertir a la forma de suma de productos: xy + xyz + xyz = xy + xyz La expresin resultante xy + xyz cumple con estar en la forma de suma de productos pues est compuesta solo por productos fundamentales y adems ninguno de sus elementos est incluido en el otro.

4) Forma completa de suma de productos: Una expresin est en la forma completa de suma de productos si, adems de estar en forma de suma de productos, en cada producto se usan todas las variables. Observa la siguiente expresin, es una Suma de Productos: xxyyz + xxy + xyy + xyz Ahora vamos a reducir cada trmino a un producto fundamental (o a cero) y aplicar la ley de absorcin para asegurar que ningn trmino est incluido en otro y as lograr que la expresin cumpla con la Forma de Suma de Productos: xyz + xy + xyz xyz + xy (todos son productos fundamentales) (xy est incluido en xyz)

A continuacin aplicaremos las leyes del lgebra Boole para lograr que cada trmino incluya todas las variables. La expresin que resulta estar en la Forma Completa de Suma de Productos. xyz + xy multiplicamos el segundo trmino por (z+z) puesto que esa es la literal que le falta: = xyz + xy (z+z) = xyz + xyz+ xyz La expresin resultante est en la forma de suma completa de suma de productos.