Diagramas o mapas de Karnaugh

Los diagramas de Karnaugh sirven principalmente para minimizar expresiones del tipo suma
de productos o productos de sumas, obteniendo otra suma de productos o producto de
sumas. La expresin obtenida ser mnima, por ejemplo para suma de productos, si no
existe otra con menor nmero de sumandos ni otra con igual nmero de sumandos con
menor cantidad de variables.

Hasta ahora, para obtener la forma cannica de una funcin, se deba armar la tabla de
verdad de la misma y obtener la funcin expresada por suma de productos o productos de
sumas. Mediante Karnaugh representamos la funcin y se obtiene directamente la forma
cannica, considerando los unos o ceros obtenidos del diagrama.

Una suma de productos se realiza circuitalmente con dos niveles de compuertas donde cada
sumando representa una compuerta, y cada letra del producto es una entrada de
compuerta.
El costo que representa adicionar una compuerta es mucho mayor que colocar una
compuerta con mayor nmero de entradas. Luego dados dos circuitos equivalentes, ser
ms econmico aquel que contenga menos compuertas y si tienen igual nmero de
compuertas, aquel que tenga un menor nmero de entradas.

La propiedad ms importante del diagrama de Karnaugh es la adyacencia de las celdas ya
que si en dos celdas adyacentes existen unos (que representan minitrminos de la funcin)
se puede realizar la operacin de sacar factor comn entre dichas celdas y eliminar as una
variable. Dos celdas son adyacentes si no difieren en ms de un bit.

Por ejemplo en un diagrama de Karnaugh de cuatro variables, dos minitrminos adyacentes
difieren entre s en una sola variable. Cuatro minitrminos adyacentes difieren entre s en
dos variables, teniendo en comn las dos restantes. Ocho minitrminos adyacentes difieren
entre s en tres variables, teniendo una sola variable en comn.

As como cada sumando de una funcin se representa por un nmero de minitrminos que
es potencia de dos (1,2,4,8,16...) de manera inversa cada lazo posible de minitrminos
adyacentes slo puede abarcar 1,2,4,8,... minitrminos.

Se llama subcubo de orden n al lazo de 2
n
minitrminos. Un lazo de un minitrmino
es un lazo 2
0
y conforma un cubo de orden cero. Un lazo 2
1
es el que conforma un cubo de
orden uno.
Si todas las celdas de un diagrama de Karnaugh estn cubiertas por unos, entonces las
funcin es verdadera y resulta F=1. De manera inversa, si no existe ningn minitrmino
entonces la funcin es falsa y resulta F=0.

Implicantes primos: Son los mayores subcubos (lazos) que se pueden encontrar en un
diagrama tales que dos cualquiera de ellos, no puede ser enlazado a su vez por otro
subcubo de orden mayor que los contenga, proporcionando una simplificacin adicional.

Los implicantes primos pueden compartir minitrminos entre s.

Cuando un implicante primo tiene por los menos un minitrmino libre, es decir, no
compartido con ningn otro subcubo, se denomina trmino esencial y debe aparecer
necesariamente en el resultado final.

Cuando un implicante primo tiene todos sus minitrminos compartidos con otros implicantes
primos se dice que es un implicante primo no esencial y no debe aparecer en el resultado
final.


Reglas para simplificar una funcin mediante el diagrama de Karnaugh

a) Representar la funcin en el diagrama
b) Determinar los implicantes primos para lo cual se debe:
- Enlazar cada uno de los minitrminos aislados no adyacentes a ningn otro
minitrmino (subcubo de orden cero)
- Enlazar los pares de unos adyacentes entre s (subcubos de orden uno) que no
pueden formar parte de un subcubo de mayor orden.
- Continuar la bsqueda de cubos de mayor orden hasta cubrir todos los unos de la
funcin.
- Determinar los implicantes primos esenciales.
- Los unos de la funcin que no han sido enlazados por dichos trminos esenciales,
deben cubrirse con el menor nmero de implicantes no esenciales

Redundancias:

En un circuito de n entradas son posibles 2n combinaciones de variables de entrada. En
ciertas aplicaciones algunas de dichas combinaciones puede no existir o no tener sentido. En
aplicaciones del tipo decimal es comn tomar slo 10 de las 16 combinaciones posibles con
cuatro variables de entrada. En ese caso se plantea que las seis combinaciones restantes
son redundantes, pudiendo ser utilizadas para la simplificacin del circuito, ya que se asume
que nunca se presentar dicha combinacin en las entradas. En el diagrama de Karnaugh
las redundancias se representan con un letra x .

Veamos esto en forma prctica:
Es un mtodo para encontrar la forma ms simplificada de representar una funcin lgica.

Esto es... Encontrar la funcin que relaciona todas las variables disponibles de tal modo que
el resultado sea la mnima expresin.

Para esto vamos a aclarar tres conceptos que son fundamentales

a)- Minitrmino Es cada una de las combinaciones posibles entre todas las variables
disponibles, por ejemplo con 2 variables obtienes 4 minitrminos; con 3 obtienes 8; con 4,
16 etc., como te dars cuenta se puede encontrar la cantidad de minitrminos haciendo 2
n

donde n es el nmero de variables disponibles.

b)- Numeracin de un minitrmino Cada minitrmino es numerado en decimal de
acuerdo a la combinacin de las variables y su equivalente en binario as...

El Mapa de Karnaugh representa la misma tabla de verdad a travs de una matriz, en la
cual en la primer fila y la primer columna se indican las posibles combinaciones de las
variables. Aqu tienes tres mapas para 2, 3 y 4 variables...

Analicemos el mapa para cuatro variables, las dos primeras columnas (columnas
adyacentes) difieren slo en la variable d, y c permanece sin cambio, en la segunda y tercer
columna (columnas adyacentes) cambia c, y d permanece sin cambio, ocurre lo mismo en
las filas. En general se dice que...

Dos columnas o filas adyacentes slo pueden diferir en el estado de una de sus
variables

Observa tambin que segn lo dicho anteriormente la primer columna con la ltima seran
adyacentes, al igual que la primer fila y la ltima, ya que slo difieren en una de sus
variables

c)- Valor lgico de un minitrmino (esos que estaban escritos en rojo), bien, estos
deben tener un valor lgico, y es el que resulta de la operacin que se realiza entre las
variables. lgicamente 0 1

Lo que haremos ahora ser colocar el valor de cada minitrmino segn la tabla de verdad
que estamos buscando, por ejemplo:

El siguiente paso, es agrupar los unos adyacentes (horizontal o verticalmente) en grupos de
potencias de 2, es decir, en grupos de 2, de 4, de 8 etc. y nos quedara as...

Te preguntars que pas con la fila de abajo... bueno, recuerda que la primer columna y la
ltima son adyacentes, por lo tanto sus minitrminos tambin lo son.

De ahora en ms a cada grupo de unos se le asigna la unin (producto lgico) de las
variables que se mantienen constantes (ya sea uno o cero) ignorando aquellas que
cambian, tal como se puede ver en esta imagen...

Para terminar, simplemente se realiza la suma lgica entre los trminos obtenidos dando
como resultado la funcin que estamos buscando, es decir...
f = (~a . ~b) + (a . ~c)
Puedes plantear tu problema como una funcin de variables, en nuestro ejemplo quedara
de esta forma...
f(a, b, c) = S(0, 1, 4, 6)
F es la funcin buscada
(a, b, c) son las variables utilizadas
(0, 1, 4, 6) son los minitrminos que dan como resultado 1 o un nivel alto.
S La sumatoria de las funciones que producen el estado alto en dichos minitrminos.
Slo resta convertir esa funcin en su circuito elctrico correspondiente. Veamos, si la
funcin es...
f = (~a . ~b) + (a . ~c) o sea...

(NOT a AND NOT b) OR (a AND NOT c)
El esquema elctrico que le corresponde es el que viene a continuacin...

El resultado de todo este lo, es un circuito con la menor cantidad de compuertas posibles,
lo cual lo hace ms econmico, por otro lado cumple totalmente con la tabla de verdad
planteada al inicio del problema, y a dems recuerda que al tener menor cantidad de
compuertas la transmisin de datos se hace ms rpida.
Puedes bajarte de la pgina de la ctedra un pequeo programa de simulacin de mapas de
karnaugh para practicar distintas simplificaciones.