Mapas de Karnaugh y método de Quine McCluskey Ing. Mónica Patricia René_2010 1Ing. Mónica P. René_2010.

Presentación del tema: "Mapas de Karnaugh y método de Quine McCluskey Ing. Mónica Patricia René_2010 1Ing. Mónica P. René_2010."— Transcripción de la presentación:

1 Mapas de Karnaugh y método de Quine McCluskey Ing. Mónica Patricia René_2010 1Ing. Mónica P. René_2010

2 Introducción  Vimos como representar funciones de conmutación con tablas de verdad, implementándolas con compuertas lógicas.  Además mediante el álgebra de Boole, reducimos dichas funciones de conmutación para que puedan emplearse el mínimo número posible de compuertas lógicas.  Cuando la función de conmutación depende de muchas entradas, el método para reducir la función mediante teoremas y postulados del álgebra booleana se vuelve tedioso.  Además una misma función se puede expresar algebraicamente de distintas maneras.  Los métodos que veremos a continuación remedian estas dificultades. 2Ing. Mónica P. René_2010

3 Mapas de Karnaugh  Como una tabla de verdad, el mapa de Karnaugh de una función, especifica el valor de dicha función para todas las combinaciones de valores de las variables independientes (entradas).  Es un diagrama en forma de matriz de cuadros, donde cada cuadro corresponde a un minitérmino de la función.  Las expresiones simplificadas, que se generan del mapa, siempre están en una de las dos formas estándar: suma de minitérminos o producto de maxitérminos.  La expresión más simple no es única. 3Ing. Mónica P. René_2010

4 Mapas de Karnaugh de dos y tres variables  Para dos variables, existen 4 minitérminos, por lo tanto 4 cuadros en la matriz.  Ejemplo A,B: variables de entrada AB 00 01 10 11 m 0 m 2 m 1 m 3 A B 0 0 1 1 02 13 A B 0 0 1 1 0010 0111 A B 4Ing. Mónica P. René_2010

5  Se pueden leer los minitérminos igual que en una tabla de verdad.  Cada 1 contenido en el mapa corresponde a un término producto de F.  Un 1 contenido en la celda 00, indica que A´B´ es un término producto de F.  Los términos productos ubicados en celdas adyacentes, pueden combinarse, dado que solo difieren en una sola variable.  A´B´ y A´B se combinan para formar A´.  Lo anterior se indica mediante un lazo que envuelve a los correspondientes unos sobre el mapa. Ejemplo Para la siguiente tabla de verdad construya el mapa de K. Mapas de Karnaugh de dos y tres variables ABF 001 011 100 110 5Ing. Mónica P. René_2010

6  Para tres variables:  Los términos productos situados en celdas adyacentes se pueden combinar utilizando el teorema XY´+XY=X  Por ejemplo el término producto 00 1 (A´B´C) se puede combinar con tres términos producto como se ve en la fig.  Las filas superiores e inferiores del mapa también son adyacentes ( 100 con 110 y 000 con 010 ) ABCF 0000 0010 0101 0111 1001 1010 1101 1110 Mapas de Karnaugh de dos y tres variables 6Ing. Mónica P. René_2010

7  Dada la expansión en términos producto de una función, puede representarse sobre un mapa colocando unos en las celdas que corresponden a lo minitérminos de la función y ceros en las celdas restantes. Mapas de Karnaugh de dos y tres variables 7Ing. Mónica P. René_2010

8  Si una función se especifica en forma algebraica, no es necesario expandirla en términos producto antes de representarla sobre un mapa.  Por ejemplo suponiendo que f(a,b,c,d)=abc´+b´c+a´ construiremos el mapa como se muestra:  El término abc’ es 1 cuando a= 1, y bc= 10, por lo que colocamos un 1 en la celda que corresponde a la columna a= 1 y la fila bc= 1 0  El término b´c es 1 cuando bc=0 1,por lo que colocamos un 1 en ambas celdas de la fila bc=0 1 del mapa.  El término a´ es 1 cuando a=0, por lo que colocamos un 1 en todas las celdas de la columna a=0 del mapa. Nota: dado que hay un 1 en la celda abc=00 1 no tenemos que colocar un segundo 1 ahí, ya que x+x=x Mapas de Karnaugh de dos y tres variables 8Ing. Mónica P. René_2010

9  Ejemplo de deducción de una expresión simplificada utilizando un mapa de Karnaugh. F(a,b,c)=a´b´c+a´bc+ab´c  Rellenamos el mapa con los términos producto correspondientes.  Agrupamos mediante los lazos.  Simplificamos. F(a,b,c)=a´c+b´c Mapas de Karnaugh de dos y tres variables 9Ing. Mónica P. René_2010

10  Si queremos encontrar el complemento de la función mostrada en el ejemplo anterior, simplemente cambiamos en el mapa los 0 por 1 y los 1 por 0. F´(a,b,c)=(a´b´c+a´bc+ab´c)´  Simplificamos como se explicó. F´(a,b,c)=c´+ab Mapas de Karnaugh de dos y tres variables 10Ing. Mónica P. René_2010

11  Si queremos expresar la función F como un producto de sumas(o productos de maxitérminos), buscamos el complemento de dicha función simplificamos y luego aplicamos el teorema de Morgan, para volver a complementar, y poder expresar F finalmente como un producto de maxitérminos.  Para el ejemplo anterior donde F(a,b,c)=a´b´c+a´bc+ab´c vimos como encontrar F´(a,b,c)=c´+ab  Ahora aplicando el teorema de Morgán, para volver a complemetar: (F’)’ = F = c (a’ +b’) producto de maxitérminos Ing. Mónica P. René_201011 Mapas de Karnaugh de dos y tres variables

12  Las siguientes figuras muestran la distribución de un mapa K de cuatro variables:  La definición de celdas adyacentes se amplia, no sólo las filas superior e inferior son adyacentes, sino que también lo son la primera y la última columna. Mapas de Karnaugh de cuatro variables 12Ing. Mónica P. René_2010

13 Ejemplos Checar concepto de desbordamiento pag. 16 Fundamentos de diseño lógico, Charles H. Roth, Jr., 5 ª ed. Thomson Problemas 5.3, a),b)c) 5.4 5.5 (observación la operación EQU (equivalencia)=XNOR) 5.6 (solo hallar la suma mínima de productos de cada función) 13Ing. Mónica P. René_2010

14 Método de Quine McCluskey  Este método proporciona un procedimiento simplificado y sistémico que puede programarse en una computadora.  Se utiliza cuando el número de variables es más grande o se tienen que simplificar varias funciones y ya no es aconsejable utilizar mapas de K. 14Ing. Mónica P. René_2010

15  El procedimiento consta de dos pasos: Eliminar tantos literales como sea posible de cada término, aplicando sistemáticamente el teorema XY+XY´=X. Los términos resultantes se denominan resultantes primos. Utilizar un gráfico de implicantes primos para seleccionar un conjunto mínimo de implicantes primos que, combinados mediante la operación OR, equivalgan a la función que se va a simplificar y que contenga un número mínimo de literales. Método de Quine McCluskey 15Ing. Mónica P. René_2010

16 Procedimiento:  La función debe estar dada como una suma de minitérminos ( o suma de productos).  De no estar en la forma anterior, deberá expandirse a una suma de minitérminos según los procedimientos vistos en temas anteriores.  Se forman sistemáticamente todos los implicantes primos de la función, combinando los minitérminos.  Los minitérminos se representarán en notación binaria y se combinarán utilizando el teorema de absorción XY+XY´=X  Donde X representa un producto literal e Y es una sola variable Método de Quine McCluskey 16Ing. Mónica P. René_2010

17 Ej. Para hallar todos los implicantes primos, deben compararse todos los pares posibles de producto y combinarse siempre que se pueda. Veamos mediante un ejemplo como formar la tabla de determinación de implicantes primos. Método de Quine McCluskey 17Ing. Mónica P. René_2010

18 Veamos un ejemplo, dada la siguiente función encuentre los implicantes primos Dividimos los minitérminos en grupos, numerados según la cantidad de unos contenidos en dichos minitérminos: Luego, dos términos podrán combinarse si difieren en exactamente una variable. Compararemos los términos del grupo 0 con los del grupo 1. Método de Quine McCluskey 18Ing. Mónica P. René_2010

19 GRUPOCOLUMNA 1 COLUMNA 2 COLUMNA 3 0000000,1 000- 0,2 00-0 0,8 -000 0,1,8,9-00- 1 100010,2,8,10-0-0 200100,8,1,9-00- 81000 1,5 0-01 1,9 -001 2,6 0-10 2,10 -010 8,9 100- 8,10 10-0 0,8,2,10-0-0 2 501012,6,10,14--10 601102,10,6,14--10 91001 10010 3 70111 1411105,7 01-1 6,7 011- 6,14 -110 10,14 1-10 Método de Quine McCluskey Tabla 1 19Ing. Mónica P. René_2010

20 Se combinan a´b´c´d´+a´b´c´d=a´b´c´ Se combinan a´b´c´d´+a´b´cd´=a´b´d´ Se combinan a´b´c´d´+ab´c´d´=b´c´d´ Los términos anteriores se combinan para eliminar una variable, utilizando el teorema de absorción XY+XY´=X Los términos de la columna 2 se dividen también en grupos según la cantidad de unos que contienen. Los términos del primer grupo de la columna 2 solo tienen que compararse con los términos del segundo grupo que contengan guiones en las mismas posiciones, a´b´c´+ab´c´=b´c´. El término resultante se enumera en la columna 3. Luego repetimos el procedimiento anterior para la columna 3. Método de Quine McCluskey 20Ing. Mónica P. René_2010

21 De la tabla anterior, los términos que no se han combinado con otros términos, se denominan implicantes primos. Luego la función es la suma de sus implicantes primos. Pero la expresión anterior todavía se puede reducir: Vamos a utilizar la segunda parte del método para encontrar un conjunto mínimo de implicantes primos. Método de Quine McCluskey 21Ing. Mónica P. René_2010 f = a v c v d + a v bd + a v bc + b ‘ c ‘ + b´d´ + cd´ Ý 1,5 ÞÝ 5,7 Þ Ý 6,7 ÞÝ 0,1,8,9 ÞÝ 0,2,8,10 ÞÝ 2,6,10,14 Þ

22 La segunda parte del método de Quine McCluskey emplea un gráfico de implicantes primos para seleccionar un conjunto mínimo de implicantes primos. A partir de la tabla anterior (tabla 1 ), se construye una tabla de implicantes primos como se muestra a continuación: Si un término producto está cubierto sólo mediante un implicante primo, entonces dicho implicante primo se denomina implicante primo esencial. Método de Quine McCluskey 0 1 2 3 4 5 6 7 8 9 10 14 (0,1,8,9) b´c´ (0,2,8,10) b´d´ (2,6,10,14) cd´ (1,5) a´c´d (5,7) a´bd (6,7) a´bc x x x ¤ x x x x x ¤ x x 22Ing. Mónica P. René_2010

23  Los implicantes primos esenciales son fáciles de encontrar y se deben incluir en la suma mínima de productos de la función.  Si una determinada columna contiene sólo una X, entonces la correspondiente fila es un implicante primo esencial.  En la tabla anterior, las columnas 9 y 14 contienen una sola X, por lo que b´c´y cd´ son implicantes primos esenciales.  Cada vez que se selecciona un implicante primo esencial, se debe tachar la fila correspondiente (ver líneas rojas en tabla siguiente).  Luego, las columnas que corresponden a todos los términos producto cubiertos por dichos implicantes primos también deben tacharse (ver líneas negras en tabla siguiente).  Veamos como queda la tabla. Método de Quine McCluskey 23Ing. Mónica P. René_2010

24 Luego se debe elegir un conjunto mínimo de implicantes primos para cubrir las restantes columnas. En este ejemplo a´bd cubre las dos columnas restantes. 0 1 2 3 4 5 6 7 8 9 10 14 (0,1,8,9) b´c´ (0,2,8,10) b´d´ (2,6,10,14) cd´ (1,5) a´c´d (5,7) a´bd (6,7) a´bc x x x ¤ x x x x x ¤ x x Método de Quine McCluskey 24Ing. Mónica P. René_2010

25 Cubriendo las dos columnas restantes (líneas violetas). Finalmente la suma mínima de productos resultante es: Ing. Mónica P. René_201025 Método de Quine McCluskey 0 1 2 3 4 5 6 7 8 9 10 14 (0,1,8,9) b´c´ (0,2,8,10) b´d´ (2,6,10,14) cd´ (1,5) a´c´d (5,7) a´bd (6,7) a´bc x x x ¤ x x x x x ¤ x x

26  Entonces luego de seleccionar los implicantes primos esenciales, los términos producto a los que cubren pueden eliminarse del gráfico de implicantes mínimos, tachando las correspondientes columnas.  Si los esenciales no cubren todos los términos producto, entonces son necesarios implicantes primos no esenciales.  En gráficos de implicantes primos más grandes, pueden emplearse procedimientos adicionales para reducir.  Los mapas K son útiles para funciones con tres a cinco variables.  El método de Quine McCluskey se puede utilizar en computadoras de alta velocidad para simplificar funciones con hasta 15 variables o más.  Para problemas con un gran número de variables pero pocos términos, la simplificación algebraica puede ser el método más sencillo. Método de Quine McCluskey 26Ing. Mónica P. René_2010

27 En las situaciones en las que no se requiera de una solución mínima o en las que obtener una solución mínima requiere de una potencia de cálculo excesiva, pueden utilizarse procedimientos herústicos. El método Espresso-II es uno de los métodos herústicos más populares, el cual puede generar soluciones mínimas aproximadas para una amplia variedad de problemas. Hasta el momento, sólo consideramos la implementación de una única función de conmutación. Método de Quine McCluskey 27Ing. Mónica P. René_2010

28 Problemas Fundamentos de diseño lógico, Charles H. Roth, Jr.,Thomson, 5 a ed.  6.2  6.3 Segundo trabajo práctico de laboratorio Método de Quine McCluskey 28Ing. Mónica P. René_2010