Mapas de Karnaugh

Los MAPAS DE KARNAUGH son esquemas de representacin del hipercubo figura 2.1 presentamos los mapas correspondientes a . . En la

Figure 2.1: Mapas de Karnaugh correspondientes a La manera de leerlos se ajusta a varias convenciones y conveniencias:

Cada entrada en un mapa representa un vrtice en el hipercubo. En esa entrada se puede colocar un valor 0 o 1 asignado al correspondiente vrtice por una funcin . As pues cada mapa representa a una funcin booleana. Dos entradas vecinas por una arista forman una arista en el hipercubo. Por ejemplo, para las entradas marcadas en el mapa

corresponden a la arista tal que

&

Cuatro entradas en una misma columna, en un mismo rengln o con un vrtice comn forman una ``cara'', es decir un cubo cuya dimensin es 2. Por ejemplo, para las entradas marcadas en el mapa

corresponden a la cara tal que

&

Las lneas ``fronterizas'' en un mapa han de identificarse (tal como si los mapas estuvieran dibujados en un toro). Por ejemplo, para en el mapa

las entradas marcadas con

forman la arista

&

&

y las entradas marcadas con , con las esquinas como vrtice comn, forman la cara & :

En el mapa de vecinas.

, casillas correspondientes en ambos mapas de dimensin 4 son

Ocho casillas que contengan coordenadas constantes, es decir tres coordenadas variables, forman un cubo de dimensin 3. De manera sucesiva, un mapa de dimensin dimensin superpuestos. puede verse como dos mapas de

Ejemplo 1.6 Se quiere construir un circuito que reciba un dgito decimal y lo incremente en 3. Explicacin. Ya que hemos de necesitar 4 bits para representar a los , donde ,

dgitos decimales. Si expresamos a un dgito como , entonces se ha de calcular presentamos los valores de cada en trminos de . Table 2.1:

. En la tabla 2.1

En la tabla 2.3 presentamos los correspondientes mapas de Karnaugh: Table 2.2: Mapas de Karnaugh del incrementador en tres de dgitos decimales.

(a)

(b)

(a)

(b)

En los mapas el valor significa un valor irrelevante (recurdese que slo nos interesan los 10 dgitos decimales. En la tabla 2.2 presentamos, en cada mapa, al conjunto de vrtices con valores 1 o como una unin de cubos maximales. A los valores que quedan fuera de los cubos marcados se les ha hecho tomar el valor 0. Cada cubo se nombra consecutivamente con una letra mayscula a partir de . As, las entradas marcadas con varias letras pertenecen a

varios cubos. Debajo de cada mapa ponemos a las correspondientes formas disyuntivas utilizando las frases correspondientes a los cuos maximales localizados. Estas expresiones son mnimas en cuanto a la longitud de las frases. Table 2.3: Cubos maximales en el incrementador en tres de dgitos decimales.

(a)

(b)

(a)

(b)

Para finalizar esta presentacin introductoria de los mapas de Karnaugh, mencionaremos que la enumeracin de las columnas y renglones en un tal mapa sigue el esquema de un CDIGO DE GRAY. Un tal cdigo es una enumeracin de los vrtices del hipercubo tal que cualesquiera dos vrtices consecutivos difieren en a lo sumo un bit. De hecho, un cdigo de Gray es un recorrido hamiltoniano de la grfica de adyacencias del hipercubo. Una manera de construir un cdigo de Gray se obtiene fcilmente por recursin. En efecto, denotemos por a la enumeracin del hipercubo de dimensin corresponda al cdigo de Gray a construir. Entonces: Caso base. Sea Caso recursivo. Escribamos anteponerle 0 a los elementos de la lista lista : . , . . La lista la obtenemos de que

y de anteponerle 1 a los elementos de la

En la tabla 2.4 presentamos el listado del cdigo de Gray Table 2.4: Cdigo de Gray para

siguiendo el algoritmo descrito. .

Hemos visto que para dos proposiciones es una tautologa. Si , para una proposicin
IMPLICANTE

se tiene

si y slo si

es una frase, es decir, una conjuncin de literales, siempre que , entonces se dice que la frase es un

de . La frase se dice ser un IMPLICANTE PRIMO de si es un implicante y adems ninguna subfrase de es un implicante. Es decir, los implicantes primos son las frases de longitudes minimales, las cuales a su vez corresponden a subcubos de dimensiones maximales includos en el soporte de . Ya que el soporte de la disyuncin de dos proposiciones es la unin de los soportes de esas proposiciones, tenemos que al expresar al soporte de una proposicin como una unin de subcubos maximales estamos, en realidad, expresando a esa proposicin como la disyuncin de sus implicantes primos, es decir, la expresamos en su forma disyuntiva mnima. El procedimiento de optimizacin con mapas de Karnaugh es puramente visual y consiste en localizar los cubos de dimensin maximal que cubran a los puntos marcados en un mapa. Ejemplo 1.7 Sea forma disyuntiva mnima de uno. , . La , consiste de 6 implicantes primos de 2 literales cada se muestran en el siguiente mapa de Karnaugh:

Explicacin. Los valores de verdad de

y ah vemos que su soporte es la unin de 6 aristas:

o, vistas en el mapa:

por tanto

. Se

tiene que es un implicante primo, pero es un implicante no-primo. El procedimiento de optimizacin con mapas de Karnaugh no es nada formalizable y es intil para valores de superiores a 5. Lo hemos presentado aqu como una mera curiosidad histrica.

MAPAS DE KARNAUGH

Reglas de simplificacin
1. Las agrupaciones son exclusivamente de unos. Esto implica que ningn grupo puede contener ningn cero.

2. Las agrupaciones nicamente pueden hacerse en horizontal y vertical. Esto implica que las diagonales estn prohibidas.

3. Los grupos han de contener 2n elementos. Es decir que cada grupo tendr 1,2,4,8... nmero de unos.

4. Cada grupo ha de ser tan grande como sea posible. Tal y como lo ilustramos en el ejemplo.

5. Todos los unos tienen que pertenecer como mnimo a un grupo. Aunque pueden pertenecer a ms de uno.

6. Pueden existir solapamiento de grupos.

7. La formacin de grupos tambin se puede producir con las celdas extremas de la tabla. De tal forma que la parte inferior se podra agrupar con la superior y la izquierda con la derecha tal y como se explica en el ejemplo.

8. Tiene que resultar el menor nmero de grupos posibles siempre y cuando no contradiga ninguna de las reglas anteriores. Esto es el nmero de grupos ha de ser minimal.