Qu es un Mapa de Karnaugh?

Los Mapas de Karnaugh son una herramienta muy utilizada para la

simplificacin de circuitos lgicos. Cuando se tiene una funcin lgica con su
tabla de verdad y se desea implementar esa funcin de la manera ms
econmica posible se utiliza este mtodo.
Ejemplo: Se tiene la siguiente tabla de verdad para tres variables.
Se desarrolla la funcin lgica basada en ella. (primera forma cannica). Ver
que en la frmula se incluyen solamente las variables (A, B, C) cuando F
cuando es igual a "1".
Si A en la tabla de verdad es "0" se pone A, si B = "1" se pone B, Si C = "0" se
pone C, etc.

F = A B C + A B C + A BC + A B C + A B C + A B C
Una vez obtenida la funcin lgica, se implementa el mapa de Karnaugh.
Este mapa tiene 8 casillas que corresponden a 2n, donde n = 3 (nmero de
variables (A, B, C)). Ver el diagrama arriba a la derecha.
La
La
La
La
La
La

primera fila corresponde a A = 0

segunda fila corresponde a A = 1
primera columna corresponde a BC = 00 (B=0 y C=0)
segunda columna corresponde a BC = 01 (B=0 y C=1)
tercera columna corresponde a BC = 11 (B=1 y C=1)
cuarta columna corresponde a BC = 10 (B=1 y C=0)

En el mapa de Karnaugh se han puesto "1" en las casillas que corresponden

a los valores de F = "1" en la tabla de verdad. Tomar en cuenta la numeracin
de las filas de la tabla de verdad y la numeracin de las casillas en el mapa de
Karnaugh.
Para proceder con la simplificacin, se crean grupos de "1"s que tengan 1, 2, 4,
8, 16, etc. (slo potencias de 2). Los "1"s deben estar adyacentes (no
endiagonal) y mientras ms "1"s tenga el grupo, mejor.

La funcin mejor simplificada es aquella

que tiene el menor nmero de grupos con
el mayor nmero de "1"s en cada grupo
Se ve del grfico que hay dos grupos cada uno
de cuatro "1"s, (se permite compartir casillas
entre los grupos).
La nueva expresin de la funcin boolena simplificada se deduce del mapa de
Karnaugh.
- Para el primer grupo (rojo): la simplificacin da B (los "1"s de la tercera y
cuarta columna) corresponden a B sin negar)
- Para el segundo grupo (azul): la simplificacin da A (los "1"s estn en la fila
inferior que corresponde a A sin negar)

Entonces el resultado es F = B + A F = A + B
Ejemplo:
Una tabla de verdad como la de la derecha da la siguiente funcin booleana:
F = ABC + AB C + A B C + A B C
Se ve claramente que la funcin es un reflejo del contenido de la tabla de
verdad cuando F = "1"
Con esta ecuacin se crea el mapa de Karnaugh y se escogen los grupos. Se
lograron hacer 3 grupos de dos "1"s cada uno.
Se puede ver que no es posible hacer grupos de 3, porque 3 no es potencia de
2. Se observa que hay una casilla que es compartida por los tres grupos.

La funcin simplificada es: F = AB + AC + BC. Grupo en azul: AB, grupo

marrn: AC, grupo verde: BC

Minitrminos
Artculo principal: Minterm
Para una funcin booleana de variables
, un producto booleano en el
que cada una de las variables aparece una sola vez (negada o sin negar) es
llamadominitrmino. Es decir, un minitrmino es una expresin lgica
de n variables consistente nicamente en el operador conjuncin lgica (AND)
y el operador complemento o negacin (NOT).

Por ejemplo,
,
y
son ejemplos de minterms para una funcin
booleana con las tres variables , y .
Indexando minitrminos
En general, uno asigna a cada minterm (escribiendo las variables que lo
componen en el mismo orden), un ndice basado en el valor binario del
minterm.
Un trmino negado, como
es considerado como el nmero binario 0 y el
trmino no negado es considerado como un 1.
Por ejemplo, se asociara el nmero 6 con
, y nombraramos la expresin
con el nombre
. Entonces
de tres variables es
y
debera
ser

al ser

Se puede observar que cada minterm solo devuelve verdadero, (1), con una
sola entrada de las posibles.
Por ejemplo, el minitrmino 5,
es verdadero solo cuando a y c son ciertos
y b es falso - la entrada a = 1, b = 0, c = 1 da resultado 1.

Funcin equivalente
Si tenemos una tabla de verdad de una funcin lgica: f(a,b), es posible escribir
la funcin como "suma de productos". Por ejemplo, dada la tabla de verdad.
Observamos que las filas con resultado '1 son la primera y la cuarta, entonces
podremos escribir f como la suma de los minitrminos:

Si queremos verificar esto:

tendremos que la tabla de verdad de la funcin, calculndola directamente,

ser la misma.
Esta expresin aplicada a interruptores seria el de la figura, se puede ver que
hay dos ramas, en la superior dos interruptores inversos: a y b puestos en
serie, lo que es equivalente a ab, en la inferiores directos: a y b tambin en
serie que es equivalente a ab, estos dos circuitos puestos en paralelo resultan
ab + ab.

Maxitrminos
Artculo principal: Maxterm
Un maxitrmino es una expresin lgica de n variables que consiste
nicamente en la disyuncin lgica y el operador complemento o negacin. Los

maxterms sn una expresin dual de los minitrminos. En vez de usar

operaciones AND utilizamos operaciones OR y procedemos de forma similar.
Por ejemplo, los siguientes trminos cannicos son maxitrminos:

Dualizacin
El complemento de un minterm es su respectivo maxitrmino. Esto puede ser
fcilmente verificado usando laLey de De Morgan. Por ejemplo:

Indexando maxitrminos
Para indexar maxitrminos lo haremos justo de la forma contraria a la que
seguimos con los minterms. Se asigna a cada maxterm un ndice basado en el
complemento del nmero binario que representa (otra vez asegurndonos que
las variables se escriben en el mismo orden, usualmente alfabtico). Por
ejemplo, para una funcin de tres variables f(a,b,c) podemos asignar
(Maxitrmino 6) al maxitrmino:
variables debera ser

. De forma similar
y

es

de tres

Se puede ver fcilmente que un maxitrmino slo da como resultado un cero

para una nica entrada de la funcin lgica. Por ejemplo, el maxitrmino
5,
, es falso solo cuando a y c son ciertos y b es falso - la entrada a
= 1, b = 0, c = 1 da como resultado un cero.
Funcin equivalente[editar]

Si tenemos una tabla de verdad de una funcin lgica, f(a,b), es posible escribir
la funcin como "producto de sumas". Por ejemplo, dada la tabla de verdad.
Observamos que las filas que tiene como salida un 0 son la segunda y la
tercera, entonces podemos escribir f como un producto de
maxitrminos

Si queremos verificar esto:

tendremos que la tabla de verdad de la funcin, calculndola directamente,

ser la misma.
La aplicacin en un circuito de interruptores, es el del esquema, donde se
puede ver los dos interruptores superiores a y a', y los inferiores b' y b.
En primer lugar tenemos puestos en paralelo a y b', lo que seria a+b', y a
continuacin, a' y b en paralelo que seria a'+b, estos dos circuitos parciales
puestos en serie son equivalentes a (a+b')(a'+b), las distintas combinaciones
de a y b, corresponden, como se puede ver a la tabla de verdad.
Este circuito est cerrado solo en dos de las cuatro combinaciones posibles: a b
con los interruptores en esta posicin se conecta la entrada con la salida y a b
que tambin cierra circuito, para las otras combinaciones el circuito est
abierto.

Este circuito y el anterior son claramente diferentes, pero los dos corresponden
a la misma tabla de verdad y por lo tanto equivalentes.
Aun partiendo de la misma expresin booleana, se pueden realizar distintas
configuraciones equivalentes, as se puede ver en esta segunda figura.
Se puede demostrar la equivalencia, simplificando la funcin, partiendo de:

Realizando las multiplicaciones, tendremos:

Simplificando:

con lo que tenemos la funcin obtenida por minitrminos.