PONTIFICIA UNIVERSIDAD CATLICA MADRE Y MAESTRA FACULTAD DE CIENCIAS DE LAS INGENIERAS DEPARTAMENTO DE INGENIERA ELECTRNICA

ASIGNATURA CLAVE TITULO PRESENTADO POR

: : : :

Laboratorio de Sistemas Digitales ST-ITE-426-P-071

Diseo de Circuitos Lgicos(Mapa de Karn.)

Michael Pea G. (2007-1858), Jonathan Prez

(2008-0821) y Mara Teresa Lpez (2007-0606)

PROFESOR

Ing. Jos A. Pea

FECHA REALIZACION : FECHA ENTREGA :

10 de marzo del 2012

17 de marzo del 2012

SANTIAGO, REPUBLICA DOMINICANA

Indice
Pag.

Objetivos

Materiales Utilizados

Teora Relacionada

Procedimiento

10

Conclusin

13

Objetivos
a) Disear dos circuitos lgicos y comprobar su funcionamiento mediante las tablas de verdad. b) Aplicar el mapa de Karnaugh en la simplificacin de ecuaciones lgicas.

Materiales Utilizados

Cables conectores Digital Lab Compuertas lgicas TTL(7411N, HD74LS32P, 7408, 7432, 7404)

Teora Relacionada

El mapa de Karnaugh es un mtodo grfico que se utiliza para simplificar una ecuacin lgica para convertir una tabla de verdad a su circuito lgico correspondiente en un proceso simple y ordenado. Aunque un mapa de Karnaugh (que de aqu en adelante se abreviar como mapa K) se puede utilizar para resolver problemas con cualquier numero de variables de entrada, su utilidad practica se limita a seis variables. El siguiente anlisis se limitara a problemas de hasta cuatro entradas , ya que los problemas con cinco y seis entradas son demasiado complicados y se resuelven mejor con un programa de computadora. Formato del mapa de Kamaugh El mapa K, al igual que una tabla de verdad, es un medio para demostrar la relaci6n entre las entradas l6gicas y la salida que se busca. La figura +-11 da tres ejemplos de mapas K para dos, tres y cuatro variables, junto con las tablas de verdad correspondientes. Estos ejemplos ilustran varios puntos importantes: 1. La tabla de verdad da el valor de la salida X para cada combinaci6n de valores de entrada. El mapa K proporciona la misma informaci6n en un formato diferente. Cada caso en la tabla de verdad corresponde a un cuadrado en el mapa. Por ejemplo, en la figura 4-1 (a),

Figura 4-1 Mapas de Karnaugh y tablas de verdad para (a) dos, (b) tres y (c) cuatro variables.

la condicion A = 0, B = 0 en la tabla de verdad corresponde al cuadrado A' B' en el mapa K. Ya que la tabla de verdad muestra X = 1 para este caso, se coloca un 1 en el cuadrado A'B' en

el mapa K. En forma similar, la condicion A = 1, B =1 en la tabla de verdad corresponde al cuadrado AB del mapa K, ya que X = 1 para este caso, se coloca un 1 en el cuadrado AS. Los dems cuadrados se llenan con ceros. Esta misma idea se utiliza en los mapas de tres y cuatro variables que se muestran en la figura. 2. Los cuadrados del mapa K se marcan de modo que los cuadrados horizontalmente adyacentes so1o difieran en una variable. Por ejemplo, el cuadrado superior de la izquierda del mapa de cuatro variables es A'B'C'D' en tanto que el cuadrado que se encuentra a la derecha es A'B'C'D (solo la variable D es diferente). De la misma manera, los cuadrados verticalmente adyacentes difieren so1o en una variable. Por ejemplo, el cuadrado superior izquierdo esA'B'C'D' en tanto que el que se encuentra a la derecha es A'BC'D' (solo la variable B es diferente). Note que cada cuadrado del renglon superior se considera adyacente al correspondiente cuadrado del renglon inferior .Por ejemplo, el cuadrado A'B'CD del renglon superior es adyacente al cuadrado AB'CD del rengl6n inferior porque so1o difieren en la variable A. Haga de cuenta que la parte superior del mapa se dobla hasta tocar la parte inferior. Asimismo, los cuadrados del extremo izquierdo de la columna son adyacentes a los del extremo derecho de la columna. 3. A fin de que los cuadrados que son adyacentes tanto vertical como horizontalmente difieran en una sola variable, el marcado de arriba hacia abajo debe hacerse en el orden indicado, -A'B', A' B, AB, AB'. Lo anterior tambin es vlido para el marcado de izquierda a derecha: 4. Una vez que el mapa K se ha llenado con ceros y unos, la expresi6n de suma de productos para la salida X se puede obtener operando con OR aquellos que contienen un 1. En el mapa con tres variables de la figura 411(b), los cuadrados A'B'C', A'BC', A BC' y ABC contienen un 1, de modo que X = A'B'C' + A'B'C + A'BC' + ABC'. Agrupamiento La expresin de salida X se puede simplificar adecuadamente combinando los cuadros en el mapa K que contengan 1. El proceso para combinar estos unos se denomina agrupamiento. Agrupamiento de grupos de dos (pares) La figura 4-12(a) es el mapa K de una tabla de verdad con tres variables. Este mapa contiene un par de unos que son verticalmente adyacentes entre si; el primero representa

A'BC' y, el segundo ABC'. Note que en estos dos trminos slo la variable A aparece en forma normal y complementada (B y C' permanecen sin cambio). Estos dos trminos se pueden agrupar (combinar) para dar un resultante que elimine la variable A, ya que sta aparece en forma normal y complementada. Esto se demuestra fcilmente como sigue:

Este mismo principio es vlido para cualquier par de unos vertical u horizontalmente adyacentes. La figura 4-12(b) muestra un ejemplo de dos unos horizontalmente adyacentes. Estos se pueden agrupar y luego eliminar la variable C, ya que aparecen en forma no complementada y complementada para dar una resultante de X = A' B.

Otro ejemplo se da en la figura 412{c). En un mapa K los cuadrados de los renglones superior e inferior se consideran adyacentes. Asi, los dos unos en este mapa se pueden repetir para dar una resultante de A'B'C' + AB'C' + B'C'.

La figura 4-12(d) muestra un mapa K que tiene dos pares de unos que se pueden agrupar. Los dos unos en el rengln superior son horizontalmente

adyacentes. Los dos unos en el rengln inferior son, asimismo, adyacentes puesto que en un mapa K los cuadrados de las columnas de los extremos izquierdo y derecho se consideran adyacentes. Cuando se agrupa el par superior de unos, la variable D se elimina (ya que aparece como D y D') para dar el trmino A'B'C. El agrupamiento del par inferior elimina la variable C para dar el trmino AB'C'. Estos dos trminos se operan con OR a fin de obtener el resultado final para X. Para resumir lo anterior: El agrupamiento de un par de unos adyacentes en un mapa K elimina la variable que aparece en forma complementada y no complementada. Agrupamiento de grupos de cuatro (cudruples) Un mapa K puede contener Un grupo de cuatro unos que sean adyacentes entre s. Este grupo se denomina cudruple. La figura 4-13 muestra varios ejemplos de cudruples. En la parte (a) los cuatro unos son verticalmente adyacentes y en la parte (b) son horizontalmente adyacentes. El mapa K de la figura 4 13(c) contiene cuatro unos en un cuadrado y se consideran adyacentes entre s. Los cuatro unos en la figura 4-13(d) tambin son adyacentes igual que los de la figura 4 - 13(e) ya que, como mencionamos anteriormente. los renglones superior e inferior y las columnas de los extremos izquierdo y derecho se consideran adyacentes entre s. Cuando se repite un cudruple, el trmino resultante contiene slo las variables que no cambian de forma para todos los cuadrados del cudruple. Por ejemplo, en la figura 4 - 13(a) los cuatro cuadrados que contienen un uno son A'B'C, A'BC, ABC y AB'C. El anlisis de estos trminos revela que solamente la variable C permanece sin alterarse (A y Baparecen en forma complementada y no complementada). De este modo, la expresin resultante para X es simplemente X = C. Esto se puede demostrar de la siguiente manera:

Para poner otro ejemplo, consideramos las figura 4 - 13(d), donde los cuatro cuadrados que contienen unos son ABC'D', A'B'C'D', ABCD', y AB'CD'. El anlisis de estos trminos indica que slo las variables A y D' permanecen sin cambios, as que la expresin simplificada para X es X = AD Esto se puede probar de la misma manera anteriormente utilizada. El lector debe verificar cada uno de los otros casos de la figura 4 -13 para comprobar que sean las expresiones indicadas para X. Para resumir: El agrupamiento cudruple de unos elimina las dos variables que aparecen en la forma complementada y no complementada. Agrupamiento de grupos en ocho (octetos) Un grupo de ocho unos que son adyacentes entre s se denominaocteto. En la figura 4-14 se dan varios ejemplos de octetos. Cuando

porque solo una de ellas permanece inalterada. Por ejemplo, el anlisis de los ocho cuadrados agrupados en la figura 14 14(a) muestra que so1o la variable B est en la misma forma para los ocho cuadrados; las otras variables aparecen en forma complementada y no complementada. As, para este mapa, X = B. El lector puede verificar los resultados de los otros ejemplos en la figura 4 - 14.

Procedimiento

1. Disear una mquina de servir jugos en una cafetera con, tres pulsadores de entrada a, l, y n y tres bombillos como salida. Cada una de estas vlvulas controla una salida de tanque de agua, limn, y naranja. a) Hacer la tabla de verdad.
a 0 0 0 0 1 1 1 1 l 0 0 1 1 0 0 1 1 n 0 1 0 1 0 1 0 1 Sa 0 0 0 0 1 1 1 0 Sl 0 0 0 0 0 0 1 0 Sn 0 1 0 0 0 1 0 0

b) Obtener ecuacin y simplificarla por lgebra booleana. Sa = a*~l*~n + a*~l*~n = a(~l*~n + ~l*n + l*~n) = a(~l(n+~n) + l*~n) = a(~l(n+~n) + l*~n) Sa= a(~l + ~n) Sl = a*l*~n Sn = ~a*~l*n + a*~l*n = ~l*n(a+~a) Sn = ~l*n c) Implementacin de diagramas lgicos Con pulsadores:

Con relevadores:

Con compuertas lgicas:

d) Armar el circuito y comprobar mediante tabla de verdad Comprobado 2. Disear el circuito lgico para activar una serie de bombas dependiendo de la presin a) Hacer la tabla de verdad.
PSI 0 10 20 30 40 50 60 70 80 90 100 110 120 A 0 0 0 0 0 0 0 0 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 D 0 1 0 1 0 1 0 1 0 1 0 1 0 B10 1 1 1 1 0 1 0 1 0 1 0 0 0 B20 1 1 1 1 1 0 0 1 1 0 0 0 0 B40 1 1 1 1 1 1 1 1 0 0 0 0 0

130 140 150

1 1 1

1 1 1

0 1 1

1 0 1

0 0 0

0 0 0

0 0 0

b) Obtener ecuacin y simplificarla usando el mapa de Karnaugh. B10\ ab ab ab ab cd 1 cd 1 1 1 cd 1 1 cd 1

B10 = ad + ab + bcd B10 = a(b+d) + bcd

B20\ cd cd cd ab 1 1 1 ab 1 1 ab ab 1 B20 = ab + acd + acd + bcd B20 = a(b+cd) + cd(a+b) B40\ cd cd ab 1 1 ab 1 1 ab ab B40 = ab + ac + acd B40 = a(b + c + cd) cd 1

cd 1

cd 1 1

c) Implementar diagramas lgicos

Con pulsadores:

Con relevadores:

Con compuertas lgicas:

d) Armar el circuito y comprobar mediante tabla de verdad Comprobado

Conclusin

En esta practica pudimos ver como se trabaja con el lgebra de Boole y el mapa de Karnaugh para la simplificacin de circuitos lgicos. Los objetivos que eran crear una maquina de jugo que tiene 3 salidas(agua, limn, naranja) y un sistema neumtico para unas bomba. El resultado del procedimiento(lgebra booleana y mapa de Karnaugh) 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 a dems al tener menor cantidad de compuertas la transmisin de datos se hace ms rpida, esto es importante recordar. Solucionamos ambos problemas de diseo de circuitos y los objetivos de esta practica fueron alcanzados satisfactoriamente.