Mapas de Karnaugh

Electrnica Digital Luis Montiel

Mapas de Karnaugh
Un mapa de Karnaugh (tambin conocido como tabla de Karnaugh o diagrama de Veitch, abreviado como KMapa o KV-Mapa) es un diagrama utilizado para la minimizacin de funciones algebraicas booleanas .

Obtener la funcin de un Mapa de Karnaugh es el procedimiento inverso a la de la realizacin del mapa. Un termino de la funcin coloca uno o mas "unos" en el mapa de Karnaugh. Tomar esos unos, agrupndolos de la forma adecuada, nos permite obtener los trminos de la funcin

Mapas de Karnaugh
Externamente, un mapa de Karnaugh consiste de una serie de cuadrados, cada uno de los cuales representa una lnea de la tabla de verdad. Puesto que la tabla de verdad de una funcin de N variables posee 2N filas, el mapa K correspondiente debe poseer tambin 2N cuadrados Cada cuadrado alberga un 0 un 1, dependiendo del valor que toma la funcin en cada fila. Las tablas de Karnaugh se pueden utilizar para funciones de hasta 6 variables.

Reglas
Los lazos de minterms (minitrminos) o maxterms (maxitrminos) son en base a la potencia del sistema binario. Los lazos van a ser horizontales y verticales; los diagonales no estn permitidos. En un lazo las variables que cambien se deben eliminar. Las variables que no cambien se deben representar en dicho lazo. Hacer la menor cantidad de lazos o grupos con la mayor cantidad de maxterms y minterms. Una expresin de dos niveles sdp se considerar la expresin mnima si: No existe otra expresin equivalente que incluya menos productos. Y No hay otra expresin equivalente que conste con el mismo numero de productos, pero con un menor numero de literales.

Simplificacin
La minimizacin de funciones sobre el mapa de Karnaugh se aprovecha del hecho de que las casillas del mapa estn arregladas de tal forma que entre una casilla y otra, en forma horizontal o vertical existe ADYACENCIA LOGICA. Esto quiere decir que entre una casilla y otra solo cambia una variable. Definimos los mintrminos adyacentes desde el punto de vista lgico como dos mintrminos que difieren solo en una variable. Agrupando casillas adyacentes obtenemos trminos productos que eliminan las variables que se complementan, resultando esto en una versin simplificada de la expresin. El procedimiento es el de agrupar "unos" adyacentes en el mapa; cada grupo corresponder a un termino producto, y la expresin final dar un OR (suma) de todos los trminos producto. Se busca obtener el menor numero de trminos productos posible, lo que implica que cada termino producto debe contener el mayor numero de mintrminos posibles.

la funcin est expresada en forma cannica

A B f=ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ C D

Puede verse que a medida que agrupamos mayor cantidad de "unos", el termino tiene menos literales. El agrupamiento se hace con una cantidad de "unos" que son potencias de 2. As agrupamos 2 mintrminos, 4 mintrminos y 8 mintrminos. Cada vez que aumentamos, el termino va eliminando una variable. En una funcin de 4 variables, un termino que tenga un solo "uno" tendr las cuatro variables. De hecho es un termino cannico. Al agrupar dos mintrminos eliminaremos una variable y el termino quedar de tres variables. Si agrupamos cuatro "unos" eliminaremos dos variable quedando un termino de dos variables y finalmente si agrupamos ocho "unos" se eliminaran tres variable para quedar un termino de una variable. Todo esto se debe a la adyacencia entre casillas y cada vez que agrupamos, se eliminan las variables que se complementan.