MAPAS DE KARNAUGH

El mapa de Karnaugh es un método gráfico que se utiliza para simplificar una ecuación
lógica para convertir una tabla de verdad a su circuito lógico correspondiente en un
proceso simple y ordenado. Aunque un mapa de Karnaugh (que de aquí en adelante se
abreviará como mapa K) se puede utilizar para resolver problemas con cualquier
numero de variables de entrada, su utilidad practica se limita a seis variables. El
siguiente análisis se limitara a problemas de hasta cuatro entradas , ya que los
problemas con cinco y seis entradas son demasiado complicados y se resuelven mejor
con un programa de computadora.

Formato del mapa de Kamaugh El mapa K, al igual que una tabla de verdad, es un
medio para demostrar la relaci6n entre las entradas l6gicas y la salida que se busca. La
figura +-11 da tres ejemplos de mapas K para dos, tres y cuatro variables, junto con las
tablas de verdad correspondientes. Estos ejemplos ilustran varios puntos importantes:

1. La tabla de verdad da el valor de la salida X para cada combinaci6n de valores de

entrada. El mapa K proporciona la misma informaci6n en un formato diferente. Cada
caso en la tabla de verdad corresponde a un cuadrado en el mapa. Por ejemplo, en la
figura 4-11 (a),
 Figura 4-11 Mapas de Karnaugh y tablas de verdad para (a) dos, (b) tres y (c) cuatro
variables.

la condicion A = 0, B = 0 en la tabla de verdad corresponde al cuadrado A' B' en el

mapa K. Ya que la tabla de verdad muestra X = 1 para este caso, se coloca un 1 en el
cuadrado A'B' en el mapa K. En forma similar, la condicion A = 1, B = 1 en la tabla de
verdad corresponde al cuadrado AB del mapa K, ya que X = 1 para este caso, se coloca
un 1 en el cuadrado AS. Los demás cuadrados se llenan con ceros. Esta misma idea se
utiliza en los mapas de tres y cuatro variables que se muestran en la figura.

2. Los cuadrados del mapa K se marcan de modo que los cuadrados horizontalmente
adyacentes so1o difieran en una variable. Por ejemplo, el cuadrado superior de la
izquierda del mapa de cuatro variables es A'B'C'D' en tanto que el cuadrado que se
encuentra a la derecha es A'B'C'D (solo la variable D es diferente). De la misma manera,
los cuadrados verticalmente adyacentes difieren so1o en una variable. Por ejemplo, el
cuadrado superior izquierdo es A'B'C'D' en tanto que el que se encuentra a la derecha es
A'BC'D' (solo la variable B es diferente).

Note que cada cuadrado del renglon superior se considera adyacente al correspondiente
cuadrado del renglon inferior .Por ejemplo, el cuadrado A'B'CD del renglon superior es
adyacente al cuadrado AB'CD del rengl6n inferior porque so1o difieren en la variable A.
Haga de cuenta que la parte superior del mapa se dobla hasta tocar la parte inferior.
Asimismo, los cuadrados del extremo izquierdo de la columna son adyacentes a los del
extremo derecho de la columna.

3. A fin de que los cuadrados que son adyacentes tanto vertical como horizontalmente
difieran en una sola variable, el marcado de arriba hacia abajo debe hacerse en el orden
indicado, -A'B', A' B, AB, AB'. Lo anterior también es válido para el marcado de
izquierda a derecha:

4. Una vez que el mapa K se ha llenado con ceros y unos, la expresi6n de suma de
productos para la salida X se puede obtener operando con OR aquellos que contienen un
1. En el mapa con tres variables de la figura 4-11(b), los cuadrados A'B'C', A'BC', A BC'
y ABC contienen un 1, de modo que X = A'B'C' + A'B'C + A'BC' + ABC'.

Agrupamiento La expresión de salida X se puede simplificar adecuadamente

combinando los cuadros en el mapa K que contengan 1. El proceso para combinar estos
unos se denomina agrupamiento.

Agrupamiento de grupos de dos (pares) La figura 4-12(a) es el mapa K de una tabla

de verdad con tres variables. Este mapa contiene un par de unos que son verticalmente
adyacentes entre si; el primero representa A'BC' y, el segundo ABC'. Note que en estos
dos términos sólo la variable A aparece en forma normal y complementada (B y C'
permanecen sin cambio). Estos dos términos se pueden agrupar (combinar) para dar un
resultante que elimine la variable A, ya que ésta aparece en forma normal y
complementada. Esto se demuestra fácilmente como sigue:

Este mismo principio es válido para cualquier par de unos vertical u horizontalmente
adyacentes. La figura 4-12(b) muestra un ejemplo de dos unos horizontalmente
adyacentes. Estos se pueden agrupar y luego eliminar la variable C, ya que aparecen en
forma no complementada y complementada para dar una resultante de X = A' B.

Otro ejemplo se da en la figura 4-12{c). En un mapa K los cuadrados de los renglones

superior e inferior se consideran adyacentes. Asi, los dos unos en este mapa se pueden
repetir para dar una resultante de A'B'C' + AB'C' + B'C'.
La figura 4-12(d) muestra un mapa K que tiene dos pares de unos que se pueden
agrupar. Los dos unos en el renglón superior son horizontalmente adyacentes. Los dos
unos en el renglón inferior son, asimismo, adyacentes puesto que en un mapa K los
cuadrados de las columnas de los extremos izquierdo y derecho se consideran
adyacentes. Cuando se agrupa el par superior de unos, la variable D se elimina (ya que
aparece como D y D') para dar el término A'B'C. El agrupamiento del par inferior
elimina la variable C para dar el término AB'C'. Estos dos términos se operan con OR a
fin de obtener el resultado final para X.

Para resumir lo anterior:

El agrupamiento de un par de unos adyacentes en un mapa K elimina la variable que

aparece en forma complementada y no complementada.

Agrupamiento de grupos de cuatro (cuádruples) Un mapa K puede contener Un

grupo de cuatro unos que sean adyacentes entre sí. Este grupo se denomina cuádruple.
La figura 4-13 muestra varios ejemplos de cuádruples. En la parte (a) los cuatro unos
son verticalmente adyacentes y en la parte (b) son horizontalmente adyacentes. El mapa
K de la figura 4 - 13(c) contiene cuatro unos en un cuadrado y se consideran adyacentes
entre sí. Los cuatro unos en la figura 4-13(d) también son adyacentes igual que los de la
figura 4 - 13(e) ya que, como mencionamos anteriormente. los renglones superior e
inferior y las columnas de los extremos izquierdo y derecho se consideran adyacentes
entre sí.

Cuando se repite un cuádruple, el término resultante contiene sólo las variables que no
cambian de forma para todos los cuadrados del cuádruple. Por ejemplo, en la figura 4 -
13(a) los cuatro cuadrados que contienen un uno son A'B'C, A'BC, ABC y AB'C. El
análisis de estos términos revela que solamente la variable C permanece sin alterarse (A
y B aparecen en forma complementada y no complementada). De este modo, la
expresión resultante para X es simplemente X = C. Esto se puede demostrar de la
siguiente manera:

Para poner otro ejemplo, consideramos las figura 4 - 13(d), donde los cuatro cuadrados
que contienen unos son ABC'D', A'B'C'D', ABCD', y AB'CD'. El análisis de estos
términos indica que sólo las variables A y D' permanecen sin cambios, así que la
expresión simplificada para X es

X = AD
Esto se puede probar de la misma manera anteriormente utilizada.

El lector debe verificar cada uno de los otros casos de la figura 4 -13 para comprobar
que sean las expresiones indicadas para X. Para resumir:

El agrupamiento cuádruple de unos elimina las dos variables que aparecen

en la forma complementada y no complementada.

Agrupamiento de grupos en ocho (octetos) Un grupo de ocho unos que son

adyacentes entre sí se denomina octeto. En la figura 4-14 se dan varios ejemplos de
octetos. Cuando

porque solo una de ellas permanece inalterada. Por ejemplo, el análisis de los ocho
cuadrados agrupados en la figura 14 -14(a) muestra que so1o la variable B está en la
misma forma para los ocho cuadrados; las otras variables aparecen en forma
complementada y no complementada. Así, para este mapa, X = B. El lector puede
verificar los resultados de los otros ejemplos en la figura 4 - 14.

Para resumir:

El agrupamiento de un octeto de unos elimina las tres variables que aparecen en

forma complementada y no complementada.

COMBINATORIA
La "Teoría Combinatoria" resuelve problemas que aparecen al estudiar y cuantificar las
diferentes agrupaciones (ordenaciones, colecciones,...) que podemos formar con los elementos
de un conjunto.

Entre las diferentes configuraciones o agrupaciones que podemos formar con los
elementos de un conjunto, las más importantes son :

¿Importa
¿Pueden Elementos Elementos En cada
Agrupaciones Tipo repetirse? por grupo disponibles agrupación...
FÓRMUL
orden?

sin
repetición
NO n<m
VARIACIONES SI

con n < m, n >

SI
repetición m
sin
NO
repetición
PERMUTACIONES SI n=m
con
SI
repetición n m

sin
NO
repetición
COMBINACIONES NO

con
SI
repetición

REGLA DE MULTIPLICAR

Si el objeto A1 puede ser elegido mediante k1 procedimientos, luego para cada una de éstas
elecciones del objeto A1 otro objeto A2 puede ser elegido por k2 métodos, después cada una de
estas elecciones, tanto del A1 como del A2, el tercer objeto A3 puede ser elegido por k3
procedimientos, etc... incluyendo el m-ésimo objeto Am, el cual puede ser elegido mediante km
métodos, entonces el objeto que figura en la elección de todos los m objetos junto, es decir, el
objeto "A1 y A2 y A3 y ... y Am" puede ser elegido por k1·k2·k3·...·km métodos.

• Ejemplo (Variaciones SIN repetición) :

¿Cuantos números de tres cifras distintas se pueden formar con las nueve cifras
significativas del sistema decimal?
Al tratarse de números el orden importa y además nos dice "cifras distintas" luego no
pueden repetirse.

Por tanto, se pueden formar 504 números :

• Ejemplo (Variaciones CON repetición) :

¿Cuantos números de tres cifras se pueden formar con las nueve cifras significativas
del sistema decimal?

Al tratarse de números el orden importa y además no dice nada sobre "cifras distintas"
luego si pueden repetirse.

Por tanto, se pueden formar 729 números :

¿Cuantas palabras distintas de 10 letras (con o sin sentido) se pueden escribir

utilizando sólo las letras a, b?

Al tratarse de palabras el orden importa y además como son palabras de 10 letras y sólo
tenemos dos para formarlas, deben repetirse.

Por tanto, se pueden formar 1024 palabras :

• Ejemplo (Permutaciones SIN repetición) :

Con las letras de la palabra DISCO ¿cuantas palabras distintas se pueden formar?

Evidentemente, al tratarse de palabras el orden importa. Y además n = m, es decir

tenemos que formar palabras de cinco letras con cinco elementos D, I, S, C, O que no
están repetidos.
Por tanto, se pueden formar 120 palabras :

• Ejemplo (Permutaciones CON repetición) :

¿De cuántas maneras distintas pueden colocarse en línea nueve bolas de las que 4 son
blancas, 3 amarillas y 2 azules?

El orden importa por ser de distinto color, pero hay bolas del mismo color (están
repetidas) y además n = m, es decir colocamos 9 bolas en linea y tenemos 9 bolas para
colocar.
Por tanto, tenemos 1260 modos de colocarlas :

• Ejemplo (Combinaciones SIN repetición) :

Cuantos grupos de 5 alumnos pueden formarse con los treinta alumnos de una clase.
(Un grupo es distinto de otro si se diferencia de otro por lo menos en un alumno)
No importa el orden (son grupos de alumnos). No puede haber dos alumnos iguales en
un grupo evidentemente, luego sin repetición.
Por tanto, se pueden formar 142506 grupos distintos :

• Ejemplo (Combinaciones CON repetición) :

En una confiteria hay cinco tipos diferentes de pasteles. ¿De cuántas formas se pueden
elegir cuatro pasteles)

No importa el orden (son pasteles). Puede haber dos o más pasteles en un grupo, luego
con repetición.
Por tanto, se pueden formar 142506 grupos distintos :

• Ejemplo (Regla de Multiplicar) :

¿Cuantos números pares de tres cifras se pueden formar, usando las cifras 0, 1, 2, 3, 4,
5 y 6, si éstas pueden repetirse?

Al formar un número par de tres cifras A1A2A3 con ayuda de las cifras dadas, en vez de
A1 puede tomarse una cifra cualquiera, salvo el 0, es decir 6 posibilidades. En vez de A2
pueden tomarse cualquier cifra, es decir 7 posibilidades, y en vez de A3 cualquiera de
las cifras 0, 2, 4, 6, es decir 4 posibilidades.De este modo, conforme a la "Regla de
Multiplicar" existen 6·7·4 = 168 procedimientos.
Así pues, con las cifras dadas pueden formarse 168 números pares de tres cifras.

Pautas para la resolución de problemas

• Si en cada agrupación figuran sólo algunos de los elementos disponibles, importando

el orden de colocación de éstos, entonces es un problema de variaciones. (ejemplo 1)
• Si en cada agrupación figuran todos los elementos disponibles, importando su orden de
colocación, entonces se trata de un problema de permutaciones. (ejemplo 2)
• Si en cada agrupación figuran sólo algunos de los elementos disponibles, sin importar
el orden de colocación de éstos, entonces estamos ante un problema de
combinaciones. (ejemplo 3)