UNIVERSIDAD MARIANO GALVEZ INGENIERIA EN SISTEMAS CURSO DE LOGICA PLAN FIN DE SEMANA

SIMPLIFICACION DE CIRCUITOS LOGICOS

Edgar Nicols Ezequiel Garca Media Laura Mara Estrada Martnez Juan Jos Martnez Ramrez Merli Roxana Rodas Cristian de la Cruz Liberato Heber Josu Quiche Ambrocio Mara Victoria Garca Ixchop 4 de Junio de 2011

2890-11-8473 2890-11-7477 2890-11-13321 2890-11-0790 2890-11-0789 2890-11-10784 2890-07-16442

SIMPLIFICACION DE CIRCUITOS LGICOS:

Una vez que se obtiene la expresin booleana para un circuito lgico, podemos reducirla a una forma ms simple que contenga menos trminos, la nueva expresin puede utilizarse para implantar un circuito que sea equivalente al original pero que contenga menos compuertas y conexiones.

SIMPLIFICACIN ALGEBRAICA.
El lgebra booleana (Algebra de los circuitos lgicos tiene muchas leyes o teoremas muy tiles tales como : 1. Ley de Morgan : o 1. A + B = AB

2. AB = A + B 2. Ley Distributiva : o 3. A+(BC) = (A+B)(A+C)

4. A(B+C) = AB+AC

Ademas de las leyes formales para las funciones AND y OR :  5. A0 = 0 ; A+0 = A

6. A1 = A ; A+1 = 1 7. AA = A ; A+A = A 8. AA = 0 ; A+A = 1

y la Ley de la Involucin:  9. A(negada) = A

Considerar la expresin booleana AB + AB + AB = Y, un diagrama lgico de sta expresin aparece en la Figura 1. Observar que deben utilizarse seis puertas para implementar este circuito lgico, que realiza la lgica detallada en la tabla de verdad (Tabla 1)

Figura 1: Circuito lgico no simplificado

ENTRADAS B 0 0 1 1 A 0 1 0 1

SALIDA Y 0 1 1 1

Tabla 1: Tabla de verdad de la funcin OR

Figura 2: Circuito lgico simplificado

Aplicando el lgebra booleana : AB + AB + AB = Y RAZONES = AB + (AB + AB) , Propiedad asociativa = AB + B(A+A) , 4. [A(B + C) = AB + AC] = AB + B1 , 8. [A + A = 1] = AB + B , 6. [B1 = B] = B + AB , Propiedad conmutativa

= (B + A)(B + B) , 3. [A + (BC) = (A + B)(A + C)] = (B + A)1 , 8. [A + A = 1] = B + A , 6. [A * 1 = A] Concluimos entonces que una sola puerta OR de dos entradas realiza la misma funcin ( De hecho la tabla 1 corresponde a la funcin OR !)

EXPRESIONES BOOLENAS EN FORMA DE MINTERMS (SUMA DE PRODUCTOS).

Cuando se comienza un problema de diseo lgico, lo normal es construir primero una tabla de verdad, que detalle la operacin exacta del circuito digital. Considerar la tabla de verdad 2, que contiene las variables C, B y y A. Observar que slo dos combinaciones de variables generan una salida 1. Estas combinaciones se muestran en la lineas octava y segunda (sombreadas) de la tabla de verdad. La linea 2 se lee una entrada no C Y (AND) una entrada no B Y (AND) una entrada A generan una salida I . Esto se muestra en la parte derecha de la linea 2 con la expresin booleana CBA. La otra combinacin de variables que genera un 1 se muestra en la linea 8 de la tabla de verdad. La linea 8 se lee una entrada C Y (AND) una entrada B Y (AND) una entrada A generan una salida 1. La expresin booleana de la linea 8 aparece a la derecha y es C B A. Estas dos posible combinaciones se relacionan mediante el operador OR para formar la expresin booleana completa de la tabla de verdad, que se muestra en la tabla 2, como C B A + CB A = Y. Esta expresin, a veces, se denomina forma en suma de productos de la expresin booleana. Los ingenieros tambin llaman a esta forma, forma de minterms. Esta expresin puede traducirse al patrn AND-OR de puertas lgicas. El diagrama lgico de la Figura 5.3.c realiza la lgica descrita por la expresin booleana C B A + C B A = Y , y genera la tabla de verdad 2.

Figura 3: Circuito lgico equivalente AND-OR

ENTRADAS C B A

SALIDAS Y

0 0 0 0 1 1 1 1

0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1

0 1 0 0 0 0 0 1 CBA CBA

CBA + CBA = Y
Tabla 2: Expresin booleana

El procedimiento tpico que se sigue en el trabajo de diseo lgico consiste en construir primero una tabla de verdad. A continuacin, determinar una expresin booleana en forma de minterms a partir de la tabla de verdad. Finalmente, dibujar el circuito lgico AND-OR a partir de la expresin booleana en minterms.

UTILIZACIN DE LA LGICA NAND Y NOR.

La lgica NAND y NOR se utiliza para simplificar circuitos compuestos, por puertos AND, OR y NOT, en circuitos compuestos nicamente por puertas NAND o nicamente por puertas NOR. Esta lgica se fundamenta en la ley de la Involucin (A = A), la cual puede representarse por :

, teniendo en cuenta que una puerta NOT es equivalente a :

la lgica NAND se utiliza para simplificar circuitos AND-OR como se ilustra en el siguiente ejemplo :

Figura 5: Circuito lgico NAND

Observar que negamos las entradas de la puerta OR, al igual que las salidas de las puertas AND (1 y 2). Dado que la linea E solo se neg una sola vez (A la entrada de la puerta OR), la negamos otra vez con una puerta NOT, para que el circuito no se altere, y teniendo en cuenta la ley de la Involucin; es decir E = E. De manera similar la lgica NOR se utiliza para simplificar circuitos OR-AND como se ilustra en el siguiente ejemplo :

Figura 6: Circuito lgico NOR

Observar que tanto para la utilizacin de la lgica NAND como para la NOR, sobre cualquier linea se niega dos veces : la ley de la Involucin. ,lo cual es consistente con

DIAGRAMAS DE KARNAUGH
Es un metodo grafico que se utiliza para simplificar circuitos lgicos en un proceso simple y ordenado. Es metodo que se basa en los teoremas booleanos estudiados anteriormente y su utilidad practica se limita a 5 variables. Las reglas a seguir son las siguientes: o o A partir de la tabla de verdad sacar las expresiones booleanas en forma de minterns o maxterms. Colocar los 1 corespondientes en el diagrama por cada grupo de variables operadas por AND si es en forma de minterns u operadas por OR si es en forma de maxterms. Agrupar los 1 adyacentes (las agrupaciones se realizan en grupos de 2, 4, 8 1) Eliminar las variables que aparezcan con su complemento. Enlazamos con OR los resultados obtenidos (si es en forma de minterns) o con AND (si es en forma de maxterms).

o o o

Tomemos la tabla de verdad 5. Lo primero que debemos hacer es sacar las expresiones booleanas correspondientes:

A 0 0 1 1 Q=(AB)+(AB)+(AB)
Tabla 5

B 0 0 0 1

Q 0 1 1 1 AB AB AB

Luego procedemos a colocar cada 1 correspondiente en el diagrama por cada grupo de variables operadas con AND (para nuestro ejemplo). Los diagramas de Karnaugh pueden presentarse de dos maneras diferentes: la americana y la alemana, demos un vistazo a dichas presentaciones:

Figura 7: Diagramas de Karnaugh para 2 variables

Figura 8: Diagramas de Karnaugh para 3 variables

Figura 9: Diagramas de Karnaugh para 4 variables

Ahora que conocemos las maneras en que se pueden presentar las diagramas procedemos a colocar los 1 correspondientes por cada grupo de variables operadas con AND (en nuestro ejemplo)

Figura 10: Colocacin de los unos en el mapa de Karnaugh

Luego procedemos a agrupar los 1 adyacentes que se encuentren en el diagrama, estas agrupaciones se realizan en grupos de 2, 4, o de 8 "1" . Debemos tratar en lo posible de no realizar tantas agrupaciones.

Figura 11: Agrupacin de trminos Despues de realizar las agrupaciones eliminanos por cada grupo las variables que aparezcan con su complemento. En el agrupamiento de 2 "1" se elimina una variable; en el agrupamiento de 4 "1" se eliminan 2 variables y en el agrupamiento de 8 "1" se eliminan 3 variables.

Figura 12: Eliminacin de trminos

Por ultimo enlazamos con OR (ya que nuestro ejemplo es en forma de minterns) los resultados que obtuvimos de la eliminacin de variables. Q = A +B De esta manera la ecuacion logica Q=(AB)+(AB)+(AB) nos quedara reducida a una puerta OR

DIAGRAMAS DE KARNAUGH CON 5 VARIABLES

Para realizar simplificaciones con 5 variables se utilizan los llamados diagramas bidimensionales, en donde un plano nos indica la quinta variable y el otro plano su complemento, veamos:

Figura 13: Diagrama de Karnaugh para 5 variables

Realicemos un ejercicio para asimilar la simplificacion con 5 variables. Tomemos la siguiente tabla de verdad:

A B 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1

C 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0

D 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0

E Q 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0

1 1 1 1 1 1 1 1 1 1 1 1 1 1

0 0 0 1 1 1 1

0 1 1 0 0 1 1

1 0 0 0 1 0 0 0 1 0 0 0 1 0

Tabla 6: Tabla de verdad de cinco variables

Luego procedemos a sacar la ecuacin no simplificada Q = ABCDE + ABCDE + ABCDE + ABCDE + ABCDE + ABCDE + ABCDE

Despus que obtenemos la ecuacin no simplificada pasamos los 1 correspondientes al diagrama y realizamos las agrupaciones. Si existen agrupaciones que ocupan el mismo lugar en ambos planos, los reflejamos para obtener una ecuacin ms simplificada. El proceso de simplificacin es el mismo que utilizamos anteriormente.

Figura 14: Simplificacin de diagramas de Karnaugh de 5 variables

De esta manera obtenemos la siguiente ecuacin: Q = ABCD + ACD + ABCDE

CONDICIONES NO IMPORTA
En muchos circuitos lgicos hay condiciones de entrada para las que no se especifican los niveles de salida, en la mayora de los casos es por que estas condiciones nunca se presentaran o simplemente el nivel lgico de la salida es irrelevante.

A 0 0 0 0 1 1 1 1

B 0 0 1 1 0 0 1 1

C 0 1 0 1 0 1 0 1

Q 0 0 0 X X 1 1 1 ABC ABC ABC

Tabla 7

En la tabla de verdad no se especifica el nivel de salida para las condiciones "0,1,1" y "1,0,0". En su lugar se coloca una x que representa la condicin no importa. La persona que este realizando la simplificacin tiene la libertad de determinar el nivel lgico para la salida de la condicin "no importa", con el fin de producir la expresin mas simple. Realicemos la simplificacin:

Figura 15: Simplificacin de diagramas de Karnaugh con condiciones "no importa"

de esta manera obtenemos que: Q = A. En muchos casos se trabaja con el cdigo BCD, sabemos que en este codigo existen 6

cobinaciones que son prohibidas (1010,1011,1101, 1110,1111), estas condiciones tambien son llamadas condiciones no importa.

8 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

4 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

2 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

Q 0 0 0 0 0 0 0 0 0 1 X X X X X X

Tabla 8: Trminos irrelevantes en los nmeros BCD

Figura 16: Simplificacin

Bibliografa
http://ladelec.com/teoria/electronica-digital/169-simplificacion-de-circuitos-logicos.html