Un mapa de Karnaugh provee una manera alternativa de simplificación de
circuitos lógicos. En lugar de usar las técnicas de simplificación con el álgebra de Boole, tú puedes transferir los valores lógicos desde una función booleana o desde una tabla de verdad a un mapa de Karnaugh. El agrupamiento de ceros 0 y unos 1 dentro del mapa te ayuda a visualizar las relaciones lógicas entre las variables y conduce directamente a una función booleana simplificada. El mapa de Karnaugh es a menudo usado para simplificar los problemas lógicos con 2, 3 o 4 variables. Vamos a indicar cada uno de los pasos para obtener la expresión MSP (mínima suma de productos). Para ello vamos a ilustrarlo con el ejemplo: F(x, y, z) = x’ y’ z’ + x’ y’ z + x’ y z’+ x y’ z’+ x y z’ Los pasos a seguir para conseguir reducir esta expresión son: 1. Convertir la expresión a una suma de productos si es necesario. Esto se puede realizar de varias maneras: Algebraicamente. Construyendo una tabla de verdad, trasladando los valores al mapa de Karnaugh. Esta es la forma que vamos a utilizar. 2. Cubrir todos los unos del mapa mediante rectángulos de 2N elementos, donde N = 0 número de variables. Ninguno de esos rectángulos debe contener ningún cero (tal y como indicábamos en el apartado anterior). Para minimizar el número de términos resultantes se hará el mínimo número posible de rectángulos que cubran todos los unos. Para minimizar el número de variables se hará cada rectángulo tan grande como sea posible. 3. Encontrarla MSP (suma de productos mínima). Ojo porque podemos encontrarnos con que puede haber más de una MSP. Cada rectángulo pertenece a un término producto. Cada término se define encontrando las variables que hay en común en tal rectángulo. En nuestro ejemplo tenemos F(X, Y, Z) = Z’ + X’Y’ nótese que las variables resultado son las que tienen un valor común en cada rectángulo. Agrupación de rectángulos. Cuando tenemos distintas posibilidades de agrupar rectángulos hay que seguir ciertos criterios: 1 Localiza todos los rectángulos más grandes posibles, agrupando todos los unos. Estos se llamarán implicantes primos.
2 Si alguno de los rectángulos anteriores contiene algún uno que no aparece en
ningún otro rectángulo entonces es un implicante primo esencial. Éstos han de aparecer en el resultado final de manera obligatoria. El resto de implicantes primos se podrán combinar para obtener distintas soluciones. Véase este ejemplo que ilustra lo que les planteamos. Aquí los implicantes primos son cada uno de los diferentes rectángulos obtenidos. Los primos implicantes esenciales son el rectángulo rojo y el verde, por contener unos que no son cubiertos por otros rectángulos. Así todas las posibles soluciones han de contener estos dos implicantes. Solución: F( X, Y, Z, T ) = X’Y’ + XYT’ + XZT Funciones no especificadas completamente (Don’t care). La especificación básica de una función de conmutación (función booleana) es la tabla de verdad que muestra la lista de todas las combinaciones posibles de las variable y el valor que asumirá la o las salidas para todas esas combinaciones. Hasta ahora hemos supuesto que los valores de verdad se especifican estrictamente para todas las 2n combinaciones de entradas posibles, siendo n el número de variables de entrada. Sin embargo, no siempre es así. Existe la posibilidad que ciertas combinaciones de entrada, debido a restricciones externas, no se produzcan nunca. Esto no quiere decir que si estas entradas prohibidas se produjeran, el circuito no responderá de alguna forma, de h echo cualquier circuito de conmutación responderá de alguna forma a cualquier entrada. Sin embargo dado que la entrada no puede ocurrir nunca, no importa si el circuito responderá a la salida con un cero o con un uno a esta combinación de entrada prohibida, cuando se presentan estas situaciones se dice que la salida es No Especificada (Don’t care) esto se indica en la tabla de verdad y el mapa de Karnaught correspondiente con una X en el lugar del 1 o 0. Esta X en el mapa Karnaught la utilizamos como un comodín, haciéndola valer 0 o 1 según nuestra conveniencia a la hora de minimizar. Ejercicios. Ejercicio 2. Ejercicio 4 Ejercicio 5