MÉTODO DE KARNAUGH

El método de Karnaugh permite calcular la expresión más simplificada de una función

booleana a partir de una tabla de verdad.

Ejemplo 01. Supongamos que tenemos la siguiente tabla de verdad.

𝑥1 𝑥2 𝑥3 𝑓 (𝑥1 , 𝑥2 , 𝑥3 ) Si calculamos la expresión

1 1 1 1 algebraica booleana que
1 1 0 1 contenga la mayor cantidad
1 0 1 1 de términos se debería
1 0 0 1 utilizar la forma normal
0 1 1 1 disyuntiva por haber mucha
0 1 0 1 más cantidad de unos que
0 0 1 0 ceros.
0 0 0 0

𝑓 (𝑥1 , 𝑥2 , 𝑥3 ) = 𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3

En efecto, esta sería la solución más extensa y la menos eficiente como se vio
anteriormente, su implementación utilizaría muchos más componentes, mayor
cantidad de energía y mucho más espacio en electrónica. Si utilizamos el álgebra de
boole para simplificar este circuito obtendremos un circuito combinatorio mucho más
pequeño y equivalente, sin embargo en ocasiones esto no garantiza que contenga la
menor cantidad de componentes, es allí donde el método de karnaugh permite calcular
la expresión más pequeña.

El método de karnaugh organiza todas las variables en una tabla de doble entrada, así
tendríamos para el presente ejemplo la siguiente tabla.
𝑥2 𝑥3 11 10 00 01 Como se puede observar una dimensión contiene a las
𝑥1 variables 𝑥2 𝑦 𝑥3 , la otra dimensión contiene a 𝑥1 , se
0 1 1 0 0 procede entonces a poner todas las combinaciones
1 1 1 1 1 posibles.
Ahora vamos a ver una propiedad “mágica” de esta tabla. Si obtenemos la primera
forma canónica (forma normal disyuntiva), obtenemos una función con 6 términos.
Vamos a fijarnos sólo en los términos que obtenemos si desarrollamos sólo dos casillas
adyacentes, como por ejemplos las marcadas en la figura:
𝑥2 𝑥3 11 10 00 01 Los valores de las variables en estas casillas son:
𝑥1 𝑥1 = 1, 𝑥2 = 1, 𝑥3 = 1 y 𝑥1 = 1, 𝑥2 = 1, 𝑥3 = 0. Si
0 1 1 0 0 obtenemos los términos de la forma normal
1 1 1 1 1 disyuntiva tendremos lo siguiente:

MSC. CARLOS YINMEL CASTRO BULEJE ASIGNATURA DE MATEMÁTICA DISCRETA

𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3
Agrupando y simplificando se tendrá lo siguiente:

𝑥1 . 𝑥2 . (𝑥3 + 𝑥3 )

𝑥1 . 𝑥2

Por el hecho de agrupar los términos obtenidos de estas dos casillas y sumarlos, se han
simplificado. Y esto es debido a la propiedad que entre dos casillas adyacentes sólo varía
una de las variables, de manera que podemos sacar factor común como se puede
apreciar en la simplificación. Así se podrían tomar los siguientes grupos:

𝑥2 𝑥3 11 10 00 01 Aplicando la forma disyuntiva se tendrá las siguientes

𝑥1 ecuaciones.
0 1 1 0 0
1 1 1 1 1

Grupo 1 Grupo 2 Grupo 3

𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3 𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3 𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3
𝑥1 . 𝑥2 . (𝑥3 + 𝑥3 ) 𝑥1 . 𝑥2 . (𝑥3 + 𝑥3 ) 𝑥1 . 𝑥2 . (𝑥3 + 𝑥3 )
𝑥1 . 𝑥2 𝑥1 . 𝑥2 𝑥1 . 𝑥2

Por lo tanto se podría expresar la función disyuntivamente.

𝑓(𝑥1 , 𝑥2 , 𝑥3 ) = 𝑥1 . 𝑥2 + 𝑥1 . 𝑥2 + 𝑥1 . 𝑥2

Inicialmente la función 𝑓 tenía 6 sumandos, puesto que tenía 6 unos. Al hacer 3 grupos,
ahora tiene 3 sumandos. ¿Podemos reducir el número de grupos?, Sí, vamos a ver qué
pasa si tomamos los siguientes grupos:

𝑥2 𝑥3 11 10 00 01 Ahora sólo hay 2 grupos. El nuevo grupo está

𝑥1 constituido por 4 casillas en las que 𝑓 (𝑥1 , 𝑥2 , 𝑥3 ) = 1.
0 1 1 0 0 La expresión de este grupo se obtiene sumando las
1 1 1 1 1 expresiones de estas 4 casillas. Las nuevas
expresiones de los grupos quedarían:
Grupo 1
𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3
𝑥1 . 𝑥2 . (𝑥3 + 𝑥3 )
𝑥1 . 𝑥2

MSC. CARLOS YINMEL CASTRO BULEJE ASIGNATURA DE MATEMÁTICA DISCRETA

Grupo 2
𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3
𝑥1 . 𝑥2 . (𝑥3 + 𝑥3 ) + 𝑥1 . 𝑥2 . (𝑥3 + 𝑥3 )
𝑥1 . 𝑥2 + 𝑥1 . 𝑥2
𝑥1 . (𝑥2 + 𝑥2 )
𝑥1
Por lo tanto se podría expresar la función disyuntivamente.
𝑓(𝑥1 , 𝑥2 , 𝑥3 ) = 𝑥1 . 𝑥2 + 𝑥1

Como se puede observar esta función está más simplificada pero podemos simplificarla
aún más. ¿Por qué no podemos tomar 2 grupos de 4 casillas adyacentes?, entonces
tomemos los grupos siguientes:

𝑥2 𝑥3 11 10 00 01 Como se puede observar el grupo 1 estará

𝑥1 conformado por 4 valores así como el grupo 2.
0 1 1 0 0
1 1 1 1 1

Grupo 1
𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3
𝑥1 . 𝑥2 . (𝑥3 + 𝑥3 ) + 𝑥 1 . 𝑥2 . (𝑥3 + 𝑥3 )
𝑥1 . 𝑥2 + 𝑥1 . 𝑥2
𝑥2 (𝑥1 . +𝑥1 )
𝑥2
Grupo 2
𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3
𝑥1 . 𝑥2 . (𝑥3 + 𝑥3 ) + 𝑥1 . 𝑥2 . (𝑥3 + 𝑥3 )
𝑥1 . 𝑥2 + 𝑥1 . 𝑥2
𝑥1 . (𝑥2 + 𝑥2 )
𝑥1
Por lo tanto se podría expresar la función disyuntivamente.
𝑓 (𝑥1 , 𝑥2 , 𝑥3 ) = 𝑥2 + 𝑥1

Hay que tener en cuenta que los grupos de unos que se tomen sólo pueden tener un
tamaño de 1, 2, 4, 8, 16,... (Es decir, sólo potencias de dos). Esa es la razón por la que en

MSC. CARLOS YINMEL CASTRO BULEJE ASIGNATURA DE MATEMÁTICA DISCRETA

el ejemplo anterior los grupos que se han tomado son de tamaño 4 (y no se han tomado
de tamaño 3).

Para obtener una función que no se puede simplificar más hay que tomar el menor
número de grupos con el mayor número de ’1’ en cada grupo.

EJERCICIO N° 2
Dada la siguiente tabla de verdad hallar su expresión algebraica más reducida utilizando
el método de karnaugh.
𝑥1 𝑥2 𝑥3 𝑓 (𝑥1 , 𝑥2 , 𝑥3 ) Para calcular la expresión más reducida procederemos
a calcular la menor cantidad de grupos potencias de 2
1 1 1 1
pero con la mayor cantidad de unos, se tendrá
1 1 0 0
entonces.
1 0 1 0
1 0 0 0 𝑥2 𝑥3 11 10 00 01
0 1 1 1 𝑥1
0 1 0 1 0 1 1 0 1
0 0 1 1 1 1 0 0 0
0 0 0 0
Estructurando los grupos se tendrá:
Grupo 1
𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3
𝑥2 . 𝑥3 . (𝑥1 + 𝑥1 )
𝑥2 . 𝑥3
Grupo 2
𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3
𝑥1 . 𝑥2 . (𝑥3 + 𝑥3 )
𝑥1 . 𝑥2
Grupo 3
𝑥1 . 𝑥2 . 𝑥3
Por lo tanto se podría expresar la función disyuntivamente.
𝑓 (𝑥1 , 𝑥2 , 𝑥3 ) = 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 + 𝑥1 . 𝑥2 . 𝑥3
Sin embargo esta no es la función más simplificada que pueda haber, de hecho pudimos
también haber construido las siguientes tablas moviendo las dimensiones.

MSC. CARLOS YINMEL CASTRO BULEJE ASIGNATURA DE MATEMÁTICA DISCRETA

 𝑥2 𝑥3 00 01 11 10 𝑥2 𝑥3 10 00 01 11
𝑥1 𝑥1
0 0 1 1 1 0 1 0 1 1
1 0 0 1 0 1 0 0 0 1

𝑥2 𝑥3 11 10 00 01 𝑥2 𝑥3 01 11 10 00
𝑥1 𝑥1
0 1 1 0 1 0 1 1 1 0
1 1 0 0 0 1 0 1 0 0

𝑥2 𝑥3 00 01 11 10 𝑥2 𝑥3 01 11 10 00
𝑥1 𝑥1
1 0 0 1 0 1 0 1 0 0
0 0 1 1 1 0 1 1 1 0

𝑥2 𝑥3 11 10 00 01 𝑥2 𝑥3 10 00 01 11
𝑥1 𝑥1
1 1 0 0 0 1 0 0 0 1
0 1 1 0 1 0 1 0 1 1

En realidad pueden haber muchas más combinaciones, pero como podemos observar
que con dos de ellas podemos formar la menor cantidad de grupos con la mayor
cantidad de unos.
a) b)
𝑥2 𝑥3 00 01 11 10 𝑥2 𝑥3 01 11 10 00
𝑥1 𝑥1
0 0 1 1 1 0 1 1 1 0
1 0 0 1 0 1 0 1 0 0
c) d)
𝑥2 𝑥3 00 01 11 10 𝑥2 𝑥3 01 11 10 00
𝑥1 𝑥1
1 0 0 1 0 1 0 1 0 0
0 0 1 1 1 0 1 1 1 0
Tomando la forma “a” tendremos los siguientes grupos:
𝑥2 𝑥3 00 01 11 10
𝑥1
0 0 1 1 1
1 0 0 1 0

MSC. CARLOS YINMEL CASTRO BULEJE ASIGNATURA DE MATEMÁTICA DISCRETA

Grupo 1
𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3
𝑥2 . 𝑥3 . (𝑥1 + 𝑥1 )
𝑥2 . 𝑥3
Grupo 2
𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3
𝑥1 . 𝑥2 . (𝑥3 + 𝑥3 )
𝑥1 . 𝑥2
Grupo 3
𝑥1 . 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 . 𝑥3
𝑥1 . 𝑥2 . (𝑥2 + 𝑥2 )
𝑥1 . 𝑥3
Por lo tanto se podría expresar la función disyuntivamente.
𝑓 (𝑥1 , 𝑥2 , 𝑥3 ) = 𝑥2 . 𝑥3 + 𝑥1 . 𝑥2 + 𝑥1 . 𝑥3
Se podría formar grupos tanto horizontalmente.

𝑥2 𝑥3 11 10 00 01
𝑥1
0 1 1 0 1
1 1 0 0 0

También se podría formar un grupo horizontal:

𝑥3 0 1
𝑥1 𝑥2
11 0 1
10 0 0
01 1 1
00 0 1

MSC. CARLOS YINMEL CASTRO BULEJE ASIGNATURA DE MATEMÁTICA DISCRETA

 EJERCICIOS PROPUESTOS
1. Aplicando lo aprendido simplificar a su mínima expresión las siguientes tablas de verdad.
a) b)
𝑥1 𝑥2 𝑥3 𝑥4 𝑓 (𝑥1 , 𝑥2 , 𝑥3 , 𝑥4 ) 𝑥1 𝑥2 𝑥3 𝑓 (𝑥1 , 𝑥2 , 𝑥3 )
1 1 1 1 0 1 1 1 1
1 1 1 0 1 1 1 0 0
1 1 0 1 0 1 0 1 0
1 1 0 0 1 1 0 0 1
1 0 1 1 0 0 1 1 1
1 0 1 0 1 0 1 0 0
1 0 0 1 0 0 0 1 1
1 0 0 0 1 0 0 0 0
0 1 1 1 1
0 1 1 0 1
0 1 0 1 1
0 1 0 0 1
0 0 1 1 0
0 0 1 0 1
0 0 0 1 0
0 0 0 0 1

2. Simplificar utilizando el método de karnaugh la siguiente expresión.

𝑓 (𝑥1 , 𝑥2 , 𝑥3 , 𝑥4 ) = 𝑥3 . 𝑥4 + 𝑥1 . 𝑥2 . 𝑥3 . 𝑥4 + 𝑥1 . 𝑥2 . 𝑥3 . 𝑥4 + 𝑥1 . 𝑥2 . 𝑥3 . 𝑥4 + 𝑥2 . 𝑥3 . 𝑥4

3. Diseñe un circuito lógico para la siguiente tabla lógica utilizando el método de karnaugh

𝑥1 𝑥2 𝑥3 𝑓 (𝑥1 , 𝑥2 , 𝑥3 ) 𝑥1 𝑥2 𝑥3 𝑓 (𝑥1 , 𝑥2 , 𝑥3 )
1 1 1 0 1 1 1 1
1 1 0 0 1 1 0 1
1 0 1 0 1 0 1 0
1 0 0 1 1 0 0 1
0 1 1 1 0 1 1 1
0 1 0 1 0 1 0 0
0 0 1 1 0 0 1 0
0 0 0 1 0 0 0 1

4. Un motor eléctrico puede girar en ambos sentidos por medio de dos contactores: “D”
para el giro a derecha y “I” para el giro a izquierda. Estos dos contactores son
comandados por dos pulsadores de giro “d” (derecha) e “i” (izquierda) y un interruptor
de selección “L” de acuerdo con las siguientes condiciones: Si sólo se pulsa uno de los
dos botones de giro, el motor gira en el sentido correspondiente. Si se pulsan los dos
botones de giro simultáneamente, el sentido de giro depende del estado del interruptor

MSC. CARLOS YINMEL CASTRO BULEJE ASIGNATURA DE MATEMÁTICA DISCRETA

 “L” de forma que: Si “L” está activado, el motor gira a la derecha. Si “L” está en
reposo, el motor gira a la izquierda. Se pide:
a) La tabla de verdad.
b) Las funciones lógicas D e I y simplificarlas.
c) Su circuito lógico mediante puertas.

4. Un motor es controlado mediante tres pulsadores A, B y C. Diseñe su circuito de control

mediante puertas lógicas que cumpla las siguientes condiciones de funcionamiento:
Si se pulsan los tres pulsadores el motor se activa. Si se pulsan dos pulsadores
cualesquiera, el motor se activa pero se enciende una lámpara adicional como señal de
emergencia. Si sólo se pulsa un pulsador, el motor no se activa, pero se enciende
la lámpara indicadora de emergencia. Si no se pulsa ningún interruptor, ni el motor
ni la lámpara se activan.

5. Dado el circuito adjunto realizado con puertas lógicas, obtener:

a) La función lógica 𝑦 = 𝑓( 𝑥1 , 𝑥2 , 𝑥3 , 𝑥4 )
b) Obtener su tabla de verdad.
c) Realizar de nuevo el circuito con el menor número de puertas lógicas

MSC. CARLOS YINMEL CASTRO BULEJE ASIGNATURA DE MATEMÁTICA DISCRETA