Un mapa de Karnaugh (tambin conocido como tabla de Karnaugh o diagrama de Veitch, abreviado como K-Mapa o KV-Mapa) es un diagrama utilizado

para la simplificacin de funciones algebraicas booleanas. El mapa de Karnaugh fue inventado en 1950 por Maurice Karnaugh, un fsico y matemtico de los laboratorios Bell. Los mapas K aprovechan la capacidad del cerebro humano de trabajar mejor con patrones que con ecuaciones y otras formas de expresin analtica. 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. Simplificacin de funciones con mapas de Karnaugh Obtener la funcin de un Mapa de Karnaugh es el procedimiento inverso a la de la realizacin del mapa. Un trmino de la funcin coloca uno o ms "unos" en el mapa de Karnaugh. Tomar esos unos, agrupndolos de la forma adecuada, nos permite obtener los trminos de la funcin. Utilizaremos los Mapas de Karnaugh para obtener una funcin mnima de dos niveles Suma de Productos. Una expresin de dos niveles SDP se considerar la expresin mnima si: y y No existe otra expresin equivalente que incluya menos productos.

No hay otra expresin equivalente que conste con el mismo nmero de productos, pero con un menor nmero de literales.

Observe que hablamos de una expresin mnima. Esto porque pueden existir varias expresiones distintas, pero equivalentes, que satisfagan esta definicin y tengan el mismo nmero de productos y literales. 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 lgica. Esto quiere decir que entre una casilla y otro 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 trmino producto, y la expresin final dar un OR (suma) de todos los trminos producto. Se busca obtener el menor nmero de trminos productos posible, lo que
implica que cada termino producto debe contener el mayor numero de mintrminos posibles.

Antes de comenzar formalmente con la discusin sobre minimizacin veamos por un momento el siguiente mapa de Karnaugh, resultado de la funcin:

Como podemos notar, la funcin est expresada en forma cannica, por lo que cada mintrmino "colocar" un 1 en su casilla correspondiente como se muestra en el mapa de Karnaugh correspondiente.

Supongamos por un momento que agrupemos los "unos" del mapa de Karnaugh como se muestra en la figura. Segn esto tenemos cuatro trminos que son:

Termino I: Termino II:

(Agrupa 8 unos y es de una variable) (Agrupa 4 unos y es de dos variables)

Termino III: Termino IV:

(Agrupa 2 unos y es de tres variables) (Agrupa 1 uno y es de cuatro variables)

Puede verse que a medida que agrupamos mayor cantidad de "unos", el trmino 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 trmino va eliminando una variable. En una funcin de 4 variables, un trmino que tenga un solo "uno" tendr las cuatro variables. De hecho es un trmino cannico. Al agrupar dos mintrminos eliminaremos una variable y el trmino quedar de tres variables. Si agrupamos cuatro "unos" eliminaremos dos variable quedando un trmino de dos variables y finalmente si agrupamos ocho "unos" se eliminaran tres variable para quedar un trmino de una variable. Todo esto se debe a la adyacencia entre casillas y cada vez que agrupamos, se eliminan las variables que se complementan. En el ejemplo anterior la funcin obtenida es:

Si agrupamos la funcin de la siguiente manera podemos simplificar ms la funcin ya que se unen ms unos con sus adyacentes.

Obteniendo como resultado:

Para simplificar funciones utilizando mapas de Karnaugh hay que tener en cuenta que:
y y

Cada casilla (mintrmino) en un mapa de Karnaugh de n variable tiene n casillas adyacentes lgicamente, de modo que cada par de casillas defiere en una variable. Al combinar las casillas en un mapa de Karnaugh, agruparemos un nmero de mintrminos que sea potencia de dos. As agrupar dos casillas eliminamos una variable, al agrupar cuatro casillas eliminamos dos variables, y as sucesivamente. En general, al agrupar 2n casillas eliminamos n variable. Debemos agrupar tantas casillas como sea posible; cuanto mayor sea el grupo, el termino producto resultante tendr menos literales. Es importante incluir todos los "unos" adyacentes a un mintrmino que sea igual a uno. Para que hayan menos trminos en la funcin simplificada, debemos formar el menor nmero de grupos posibles que cubran todas las casillas (mintrminos) que sean iguales a uno. Un "uno" puede ser utilizado por varios grupos, no importa si los grupos se solapan. Lo importante es que si un grupo est incluido completamente en otro grupo, o sus "unos" estn cubiertos por otros grupos, no hace falta incluirlo como termino.

Terminologa para la simplificacin: Implicante: Conjunto de unos en un mapa de Karnaugh que representa un trmino producto de variables. Se denomina implicante porque cuando este trmino toma el valor 1, implica que tambin la funcin toma el valor 1. Un mintrmino solo es un implicante. Implicante Primo: Implicante que no est incluido completamente dentro de otro implicante. No puede combinarse con otro implicante para eliminar un literal. Implicante Primo Esencial: Implicante primo que contiene uno o ms mintrminos que no estn incluidos en cualquier otro implicante primo.

En el siguiente mapa de Karnaugh: Los trminos I II y III son implicantes primos El termino IV no es implicante primo Los trminos I y III son implicantes primos esenciales El termino II no es un implicante primo esenciales La funcin se obtiene con los trminos I y III Algoritmo de minimizacin mediante mapas de Karnaugh 1. Identificar los implicantes primos. Para esto se busca obtener los grupos con mayor cantidad de unos adyacentes. Los grupos deben contener un nmero de unos que son potencias de 2. 2. Identificar todos los implicantes primos esenciales 3. La expresin mnima se obtiene seleccionando todos los implicantes primos esenciales y el menor nmero de implicantes primos para cubrir los mintrminos no incluidos en los implicantes primos esenciales.

Ejemplo: Simplificar la siguiente funcin: 

Implicantes primos

Implicantes primos esenciales

Como resultado obtenemos que la funcin es:

Proyecto Asignado Disee, simule e implemente un circuito combinacional el cual tenga como finalidad de mostrar a travs de un display de siete segmentos las siguientes letras y smbolo: ING TED-602 tomando como base los arreglos de compuertas vistos anteriormente en el laboratorio de sistemas digitales. El siguiente proyecto debe contener la tabla de la verdad, las formas canoncas de las funciones de salida y sus simplificaciones por el algebra de Boole o mapas de Karnaugh, el diagrama lgico del circuito mostrando un ejemplo del mismo y finalmente una breve descripcin con criterio y observaciones del diseo. Para disear y simular el siguiente proyecto se utilizo la aplicacin (Logisim) como herramienta de apoyo. Tabla de la verdad:

Formas canoncas de las funciones y mapas de Karnaugh: Funcin a:

Funcin b:

Funcin c:

Funcin d:

Funcin e:

Funcin f:

Funcin g:

Diagrama lgico obtenido:

Diagrama lgico del circuito simplificado:

Ejemplos de la simulacin del circuito combinacional: Con 0000 muestra la letra I

Con 0001 muestra la letra N

Con 0111 muestra el numero 6

Descripcin del proyecto: El proyecto asignado est basado en realizar un circuito utilizando compuertas lgicas que muestre las siguientes letras y smbolo INGTED-602. Lo primero que se realizo fue la tabla de la verdad de dicho circuito colocando 7 salidas, que muestran las salidas del display (a, b, c, d, e, f y g), luego se procedi a colocarle una combinacin de cuatro variables a cada una de las letras asignadas; esto viene dado por la cantidad de elementos a mostrar por el display (en este caso son 10 elementos) guindonos por la siguiente formula donde para que abarcara la cantidad de elementos; quedando las combinaciones de la siguiente manera: Con 0000 se muestra I Con 0001 se muestra N Con 0010 se muestra G Con 0011 se muestra T Con 0100 se muestra E Con 0101 se muestra D Con 0110 se muestra - Con 0111 se muestra 6 Con 1000 se muestra 0 Con 1001 se muestra 2 Luego de obtener la tabla de la verdad del circuito se procedi a colocarlo en el simulador (Logisim) para obtener por medio de este el diagrama lgico. Procedimos a simplificar las salidas por medio del algebra de Boole para nuevamente colocarlo en el simulador para obtener el diagrama lgico lo mas simplificado posible de esta manera se reduce el costo del montaje.

Las cantidades de compuertas utilizadas son: 17 NOT 9 OR (dos entradas) 4 OR (tres entradas) 10 AND (dos entradas) 3 AND (tres entradas) 1 EXOR 1EX-NOR

Conclusin Para concluir el presente trabajo el cual tiene por ttulo circuito combinacional con compuertas se puede decir que; un circuito combinacional, como su nombre lo indica es un circuito cuya salida depende solamente de la combinacin de sus entradas en el momento que se est realizando la medida en la salida, es decir que sus salidas cambiaran si las entradas cambian esto viene dado a que cada una de las salidas poseen una funcin canonca y una tabla de la verdad que predecir el acontecimiento de la misma. Los circuitos de lgica combinacional estn constituidos por compuertas lgicas ya sean: NOT, OR, AND, EX-OR entre otras; el proyecto asignado tuvo como finalidad mostrar por medio de un display diez (10) elementos (INGTED-602) utilizando la tabla de la verdad del mismo; al introducirlo en el programa (Logisim) se obtuvo un diagrama lgico el cual se procedi a implementar en el protoboard. Es importante destacar que para entender dicho circuito y saber sus operaciones debe obtener primordialmente sus ecuaciones booleanas y su tabla de la verdad ya que a travs de ellas sabr la combinacin correcta para que ocurra el evento deseado. Este proyecto tiene como finalidad capacitar al estudiante en el rea de circuitos combinacionales; dotndolos de tal manera que el mismo sepa cmo reducir o simplificar circuitos con compuertas por medio del algebra de Boole o mapas de Karnaugh para as reducir el costo del circuito implementado.

Introduccin El siguiente documento estar enfocado en el tema de circuitos combinacionales con compuertas; como ya sabemos por medio de la informacin que nos muestra la practica N3 se les llama de esta manera ya que sus salidas estn determinadas solo por la combinacin de las entradas. Otra informacin que podr encontrar por medio de este informe es el mtodo aplicado para implementar un montaje en el protoboard, como realizar la tabla de la verdad para obtener la combinacin correcta, que servir para predecir el evento de mismo, como utilizar los mapas de Karnaugh y el algebra de Boole para reducir o simplificar las funciones canoncas del diagrama lgico que arroja el programa Logisim para reducir el costo a la hora de realizar el montaje.