Informacin complementaria

Tema : Mapas de Karnaugh Autor: Ingeniero Javier Grando

Desarrollo
Los denominados Mapas de Karnaugh son herramientas que utiliza el lgebra booleana para la simplificacin de premisas lgicas complejas. Cuando se tiene una funcin lgica, su tabla de verdad es la que explcitamente marca cuales son las premisas verdades. Las tablas o mapas de Karnaugh permiten implementar esa funcin lgica de manera fcil y econmica .

Es decir el mtodo contribuye a simplificar las premisas lgicas que participan de la funcin Ejemplo: a continuacin se muestra una funcin lgica de tres variables. La tabla de verdad que vincula a estas 3 variables es la siguiente:

F = A B C + A B C + A BC + A B C + A B C + A B C Una vez obtenida la funcin lgica, se implementa el mapa de Karnaugh.

Este mapa tiene 8 casillas que corresponden a 2n, donde n = 3 (nmero de variables (A, B, C)) La primera fila corresponde a A = 0 La segunda fila corresponde a A = 1 La primera columna corresponde a BC = 00 (B=0 y C=0) La segunda columna corresponde a BC = 01 (B=0 y C=1) La tercera columna corresponde a BC = 11 (B=1 y C=1) La cuarta columna corresponde a BC = 10 (B=1 y C=0)

En el mapa de Karnaugh se han puesto "1" en las casillas que corresponden a los valores de F = "1" en la tabla de verdad. Tomar en cuenta la numeracin de las filas de la tabla de verdad y la numeracin de las casillas en el mapa de Karnaugh. Para proceder con la simplificacin, se crean grupos de "1"s que ocupen cuadrados adyacentes ( siempre en potencias de 2 : 1, 2, 4, 8, 16, etc. ) Los "1"s deben estar adyacentes (no en diagonal) y mientras ms "1"s tenga el grupo, mejor. La funcin mejor simplificada es aquella que tiene el menor nmero de grupos con el mayor nmero de "1"s en cada grupo

Se ve del grfico que hay dos grupos cada uno de cuatro "1"s, (se permite compartir casillas entre los grupos). La nueva expresin de la funcin boolena simplificada se deduce del mapa de Karnaugh. - Para el primer grupo (rojo): la simplificacin da B (los "1"s de la tercera y cuarta columna) corresponden a B sin negar)

- Para el segundo grupo (azul): la simplificacin da A (los "1"s estn en la fila inferior que corresponde a A sin negar) Entonces el resultado es F = B + A F = A + B Ejemplo: Una tabla de verdad como la de la derecha da la siguiente funcin booleana: F = ABC + AB C + A B C + A B C Se ve claramente que la funcin es un reflejo del contenido de la tabla de verdad cuando F = "1" Con esta ecuacin se crea el mapa de Karnaugh y se escogen los grupos. Se lograron hacer 3 grupos de dos "1"s cada uno. Se puede ver que no es posible hacer grupos de 3, porque 3 no es potencia de 2. Se observa que hay una casilla que es compartida por los tres grupos. La funcin simplificada es: F = AB + A C + B C Grupo en azul: AB, grupo marrn:AC, grupo verde:BC

Ejemplo Practico :

Situacin problemtica : La lgica de un descuento. Un club deportivo de la ciudad de Buenos Aires est organizando un show en su estadio trayendo una mega estrella del espectculo, con el objetivo de recaudar fondos, para ampliar sus instalaciones. El club quiere brindarles a sus socios y a las personas del interior algn tipo de beneficio. Para ello se ha decidido, otorgar un descuento del 25%, a las personas que cumplan con las premisas enumeradas a continuacin:

1.- Ser socio del club habilita directamente a gozar del descuento , independientemente del lugar donde vivan o la forma de pago . 2.- Si la persona que quiere adquirir una entrada no es socio del club, pero es del interior, con el solo hecho de adquirir 10 entradas , gozar del descuento . 3.- Si la persona , no es del club ( no socio ) , tampoco vive en el interior , pero adquiere 10 entradas o ms , tendr derecho al descuento siempre y cuanto pague en efectivo . Por otro lado el club va a beneficiar con una devolucin de $ 100.- a los 10 primeros socios que se presenten a adquirir sus entradas y que estn al da con su cuota social. Esta devolucin se har en la siguiente cuota social. Consignas abiertas: 1. Identificar cules son las premisas o variables lgicas ( a, b, c, d) insertas en el problema que contemplan el descuento del 25%. 2. Cuantas son las opciones que pueden armarse tomando todas las premisas del problema y contemplan el descuento del 25% ? 3. Construir la tabla de verdad donde se grafiquen las condiciones en las que se otorga el descuento. 4. Construir el mapa de Karnaugh con las condiciones mencionadas y llevar la ecuacin lgica a su mnima expresin

5. Verificar la funcin obtenida con el objetivo de analizar si la misma cumple con las premisas que se mencionan en el problema. Respuestas : Resolucin a la consigna N 1.- Variables lgicas a: socio del club b: residente en el interior c: compra de 10 entradas o ms d: forma de pago ( contado- efectivo ) Nota: Segn el valor lgico de las premisas ( 1 , 0 verdadero , falso ) ser la ecuacin final que permitir o no gozar del descuento

Resolucin a la consigna N 2.- Las opciones mximas son 16 , ya que son 4 premisas que se presentan en el problema

Resolucin a la consigna N 3.- Tabla de verdad :

Resolucin a la consigna N 4.- Mapa de Karnaugh

4.1 Agrupaciones posibles

Resolucin a la consigna N 5.- Funcin que resulta de la simplificacin mediante mapa de Karnaugh ( ver tabla de verdad ) : - Conclusiones

Del anlisis de la tabla y minimizacin mediante karnough se deduce los siguiente como formula minimizada

Analizando la lgica final concluimos que : a) Si alguien es socio , la ecuacin final f se hace verdadera . Cuando la premisa a toma el valor 1 , las dems premisas de la frmula carecen ya de valor lgico . b) si el valor de a no es igual a verdadero ( esto es: que un posible comprador no es socio, a=0 ), toman importancia el resto de los sumandos. En otras palabras si un posible comprador no es socio, necesito saber si es del interior o no, cul va a ser su forma de pago o la cantidad que va a comprar . Las formas contemplan estas consideraciones.

c) La premisa b.c indica que no siendo socio , va a ser verdadera cuando sean verdaderas b y c al mismo tiempo . Esto es: que sean del interior y que compren 10 o ms entradas . Sin importar el valor que tome la variable d (ya que la misma habla representa la forma de pago).

d) La premisa restante hace lugar a quienes no son socios y a quienes tampoco son del interior . En este caso slo pueden acceder al descuento si compran ms de 10 entradas ( premisa c ) y pagan de contado-efectivo (premisa d).

Conclusin : Trabajar con metodologas de mnima como la de Karnaugh permiten visualizar el problema de manera simplificada . Cuando estas premisas se traducen en circuitos electrnicos o algoritmos implica reduccin de componentes o pasos de programa , o lo que es lo mismo que ahorros en tiempo y dinero .