10.

Simplificación de funciones lógicas

con el método de Quine-McCluskey

Oliverio J. Santana Jaria

Sistemas Digitales
Ingeniería Técnica en Informática de Sistemas
Curso 2006 – 2007

Introducción

El método de Karnaugh permite minimizar funciones
lógicas de forma efectiva, pero tiene dos desventajas
importantes

Depende de la habilidad del usuario para detectar patrones

Es difícil de aplicar en funciones de más de cuatro variables

Los objetivos de este tema son:

Describir el método de Quine-McCluskey para la
simplificación de funciones lógicas

Aplicar este método a función incompletamente especificadas

Aplicar este método a la minimización conjunta de las
funciones correspondientes a circuitos con salida múltiple
Simplificación de funciones lógicas con el método de Quine-McCluskey 2

1
 Estructura del tema

Introducción

Método de simplificación de Quine-McCluskey

Obtención de términos producto

Selección de términos producto

Selección de términos no esenciales

Funciones incompletamente especificadas

Circuitos con salida múltiple

Resumen y bibliografía
Simplificación de funciones lógicas con el método de Quine-McCluskey 3

El método de Quine-McCluskey

El método de Quine-McCluskey es un método tabular
de simplificación que facilita la minimización de
funciones de más de cuatro variables

Además, este método es sistemático y no depende de
la habilidad de una persona para reconocer patrones
dentro de un mapa

Debido a estas características, hay variantes de este
método que están implementadas en programas de
ordenador para el diseño de circuitos
Simplificación de funciones lógicas con el método de Quine-McCluskey 4

2
 El método de Quine-McCluskey

El método de Quine-McCluskey parte de una función
booleana expresada como una suma de productos en
forma canónica

El primer paso del método consiste en obtener todos los
términos producto que pueden formar parte de la nueva
expresión simplificada

Una vez obtenidos los términos producto, el segundo
paso consiste en generar la expresión minimizada, es
decir, identificar la combinación mínima de términos
que representa la función que estamos simplificando
Simplificación de funciones lógicas con el método de Quine-McCluskey 5

Obtención de los términos producto

Comenzamos obteniendo todas las parejas de términos
producto cuyo valor difiera en una sola variable

Se agrupan todos los términos producto que valgan 1 y que
tengan el mismo número de variables con valor 1

Se ordenan los grupos, en orden ascendente, según el número
de variables con valor 1

Para formar las parejas solo es necesario comparar los
términos producto de un grupo con los del siguiente

Una vez hecho esto, se repite el proceso con los grupos

resultantes hasta que no sea posible obtener más parejas

Simplificación de funciones lógicas con el método de Quine-McCluskey 6

3
 Obtención de los términos producto

En primer lugar hay que agrupar los términos y
ordenarlos según el número de variables con valor 1
A B C D
(0) 0 0 0 0
0) 0 0 0 0 1
1) 0 0 0 1 0 (2) 0 0 1 0
2) 0 0 1 0 1
1
(4) 0 1 0 0
3) 0 0 1 1
4) 0 1 0 0 1
5) 0 1 0 1 0
(3) 0 0 1 1
6) 0 1 1 0 1 (6) 0 1 1 0
7) 0 1 1 1 1
8) 1 0 0 0 0 (9) 1 0 0 1
9) 1 0 0 1 1
10) 1 0 1 0 0 (7) 0 1 1 1
11) 1 0 1 1 1 (11) 1 0 1 1
12) 1 1 0 0 0
13) 1 1 0 1 1 (13) 1 1 0 1
14) 1 1 1 0 0
15) 1 1 1 1 1 (15) 1 1 1 1
Simplificación de funciones lógicas con el método de Quine-McCluskey 7

Obtención de los términos producto

A continuación se forman parejas entre grupos que
difieran en el valor de una única variable
(0) 0 0 0 0 (0,2) 0 0 – 0
(0,4) 0 – 0 0
(2) 0 0 1 0 (2,3) 0 0 1 –
(4) 0 1 0 0 (2,6) 0 – 1 0
(3) 0 0 1 1 (4,6) 0 1 – 0
(6) 0 1 1 0 (3,7) 0 – 1 1
(3,11) – 0 1 1
(9) 1 0 0 1 (6,7) 0 1 1 –
(7) 0 1 1 1 (9,11) 1 0 – 1
(9,13) 1 – 0 1
(11) 1 0 1 1
(7,15) – 1 1 1
(13) 1 1 0 1 (11,15) 1 – 1 1
(15) 1 1 1 1 (13,15) 1 1 – 1
Simplificación de funciones lógicas con el método de Quine-McCluskey 8

4
 Obtención de los términos producto

Si repetimos el proceso una vez más llegamos a un
punto en el que no es posible simplificar más
(0,2) 0 0 – 0
(0,4) 0 – 0 0
(2,3) 0 0 1 –
(2,6) 0 – 1 0 (0,2,4,6) 0 – – 0
(4,6) 0 1 – 0
(3,7) 0 – 1 1 (2,3,6,7) 0 – 1 –
(3,11) – 0 1 1 (3,7,11,15) – – 1 1
(6,7) 0 1 1 – (9,11,13,15) 1 – – 1
(9,11) 1 0 – 1
(9,13) 1 – 0 1
(7,15) – 1 1 1
(11,15) 1 – 1 1
(13,15) 1 1 – 1
Simplificación de funciones lógicas con el método de Quine-McCluskey 9

Obtención de los términos producto

A partir de las combinaciones obtenidas podemos
deducir los términos producto
A B C D

(0,2,4,6) 0 – – 0 AD

(2,3,6,7) 0 – 1 – AC

(3,7,11,15) – – 1 1 CD

(9,11,13,15) 1 – – 1 AD

Simplificación de funciones lógicas con el método de Quine-McCluskey 10

5
 Selección de los términos producto

Hay que tener en cuenta todos los grupos tales que no
haya uno mayor que los contenga, aunque no todos ellos
aparecerán necesariamente en la expresión minimizada

Sólo es necesario elegir un conjunto de términos
producto que cubran todas las combinaciones en las
que la salida de la función deba valer 1

Se genera una tabla de selección marcando qué términos
producto cubren cada combinación

Se seleccionan aquellos términos que son los únicos que
cubren una combinación y, por tanto, son esenciales

Se eligen los términos para cubrir las otras combinaciones
Simplificación de funciones lógicas con el método de Quine-McCluskey 11

Selección de los términos producto

La tabla de selección nos indica la relación entre los
términos producto y las combinaciones cubiertas por
cada uno de ellos
0 2 3 4 6 7 9 11 13 15

(0,2,4,6) AD X X X X

(2,3,6,7) AC X X X X

(3,7,11,15) CD X X X X

(9,11,13,15) AD X X X X

Simplificación de funciones lógicas con el método de Quine-McCluskey 12

6
 Selección de los términos producto

Una vez tenemos la tabla debemos identificar los
términos esenciales, o sea, aquellos que sean los únicos
en cubrir una determinada combinación
√ √ √ √ √ √ √ √
0 2 3 4 6 7 9 11 13 15

(0,2,4,6) AD X X X X

(2,3,6,7) AC X X X X

(3,7,11,15) CD X X X X

(9,11,13,15) AD X X X X

Simplificación de funciones lógicas con el método de Quine-McCluskey 13

Selección de los términos producto

Para cubrir las combinaciones restantes hay dos posibles
términos, o sea, existen dos funciones mínimas posibles
√ √ √ √ √ √ √ √
0 2 3 4 6 7 9 11 13 15

(0,2,4,6) AD X X X X

√ √
(2,3,6,7) AC X X X X

(3,7,11,15) CD X X X X

(9,11,13,15) AD X X X X

AD + AC + AD
Simplificación de funciones lógicas con el método de Quine-McCluskey 14

7
 Selección de los términos producto

Para cubrir las combinaciones restantes hay dos posibles
términos, o sea, existen dos funciones mínimas posibles
√ √ √ √ √ √ √ √
0 2 3 4 6 7 9 11 13 15

(0,2,4,6) AD X X X X

(2,3,6,7) AC X X X X
√ √
(3,7,11,15) CD X X X X

(9,11,13,15) AD X X X X

AD + CD + AD
Simplificación de funciones lógicas con el método de Quine-McCluskey 15

Selección de los términos no esenciales

En el ejemplo anterior, los términos producto esenciales
cubrían ocho de las diez combinaciones, con lo que era
sencillo obtener la cobertura mínima de las otras dos

Sin embargo, es posible que sea necesario escoger entre
un gran número de términos producto para generar la
cobertura de las combinaciones restantes

Una forma metódica de realizar esta selección es
generando un producto de sumas en el que cada suma
representa el conjunto de términos producto que cubren
una determinada combinación
Simplificación de funciones lógicas con el método de Quine-McCluskey 16

8
 Selección de los términos no esenciales

Una vez obtenida el producto de sumas, se aplica la
propiedad distributiva para multiplicarlos entre ellos y
obtener una expresión en forma de suma de productos

Cada término de la suma de productos simplificada
representa una posible combinación de términos que
cubre todas las combinaciones restantes

De entre todas las posibles coberturas, se debe elegir
aquella que requiera el menor número de términos

Simplificación de funciones lógicas con el método de Quine-McCluskey 17

Aplicación de Quine-McCluskey

Podemos aplicar el método de Quine-McCluskey a la
siguiente función: F(A,B,C,D) = ∑(2,6,7,8,9,13,15)
A B C D
0) 0 0 0 0 0
1) 0 0 0 1 0
2) 0 0 1 0 1 (2) 0 0 1 0
3) 0 0 1 1 0
4) 0 1 0 0 0
(8) 1 0 0 0
5) 0 1 0 1 0
6) 0 1 1 0 1
(6) 0 1 1 0
7) 0 1 1 1 1 (9) 1 0 0 1
8) 1 0 0 0 1
9) 1 0 0 1 1 (7) 0 1 1 1
10) 1 0 1 0 0
11) 1 0 1 1 0 (13) 1 1 0 1
12) 1 1 0 0 0
13) 1 1 0 1 1 (15) 1 1 1 1
14) 1 1 1 0 0
15) 1 1 1 1 1

Simplificación de funciones lógicas con el método de Quine-McCluskey 18

9
 Aplicación de Quine-McCluskey

Formando las parejas posibles nos encontramos con
que, en la tabla resultante, ya no será posible formar
nuevas parejas
(2) 0 0 1 0
(8) 1 0 0 0 (2,6) 0 – 1 0 ACD
(8,9) 1 0 0 – ABC
(6) 0 1 1 0
(9) 1 0 0 1 (6,7) 0 1 1 – ABC
(9,13) 1 – 0 1 ACD
(7) 0 1 1 1
(13) 1 1 0 1 (7,15) – 1 1 1 BCD
(13,15) 1 1 – 1 ABD
(15) 1 1 1 1

Simplificación de funciones lógicas con el método de Quine-McCluskey 19

Aplicación de Quine-McCluskey

A continuación generamos la tabla de selección y
detectamos los términos esenciales
√ √ √ √
2 6 7 8 9 13 15

(2,6) ACD X X
(8,9) ABC X X
(6,7) ABC X X
(9,13) ACD X X
(7,15) BCD X X
(13,15) ABD X X

Simplificación de funciones lógicas con el método de Quine-McCluskey 20

10
 Aplicación de Quine-McCluskey

Finalmente se debe elegir qué términos no esenciales
darán cobertura a las combinaciones que todavía no se
han cubierto √ √ √ √
2 6 7 8 9 13 15

P0 (2,6) ACD X X
P1 (8,9) ABC X X
P2 (6,7) ABC X X
P3 (9,13) ACD X X
P4 (7,15) BCD X X
P5 (13,15) ABD X X
P2 + P4 P4 + P5
P3 + P5
Simplificación de funciones lógicas con el método de Quine-McCluskey 21

Aplicación de Quine-McCluskey

Las tres sumas obtenidas se expresan como suma de
productos y se simplifican, aplicando la propiedad
distributiva, para buscar los términos mínimos
(P2 + P4)(P3 + P5)(P4 + P5)

(P2 + P4)(P3P4 + P3P5 + P4P5 + P5P5)

(P2 + P4)(P3P4 + P3P5 + P4P5 + P5)

P2P3P4 + P2P3P5 + P2P4P5 + P2P5 + P4P3P4 + P4P3P5 + P4P4P5 + P4P5

P2P3P4 + P2P3P5 + P2P4P5 + P2P5 + P3P4 + P3P4P5 + P4P5

Simplificación de funciones lógicas con el método de Quine-McCluskey 22

11
 Aplicación de Quine-McCluskey

Cualquiera de los términos producto mínimos
obtenidos es válido para cubrir las combinaciones
que no cubren los término esenciales
P2P3P4 + P2P3P5 + P2P4P5 + P2P5 + P3P4 + P3P4P5 + P4P5

P0 ACD ACD + ABC + ABC + ABD

P1 ABC
P2 ABC
ACD + ABC + ACD + BCD
P3 ACD
P4 BCD
P5 ABD ACD + ABC + BCD + ABD

Simplificación de funciones lógicas con el método de Quine-McCluskey 23

Estructura del tema

Introducción

Método de simplificación de Quine-McCluskey

Obtención de términos producto

Selección de términos producto

Selección de términos no esenciales

Funciones incompletamente especificadas

Circuitos con salida múltiple

Resumen y bibliografía
Simplificación de funciones lógicas con el método de Quine-McCluskey 24

12
 Funciones incompletamente especificadas

El método de Quine-McCluskey también se puede
beneficiar de la presencia de términos indiferentes

Para obtener los términos producto usaremos no sólo
las combinaciones con salida 1 sino también aquellas
combinaciones con salida indiferente

De esta manera incrementaremos las posibilidades de
combinar parejas para reducir la función resultante

Finalmente, para seleccionar los términos que usaremos,
se debe tener en cuenta que no es necesario cubrir las
combinaciones con salida indiferente
Simplificación de funciones lógicas con el método de Quine-McCluskey 25

Funciones incompletamente especificadas

El método de Quine-McCluskey puede aplicarse a la
función: F(A,B,C,D) = ∑(1,3,6,8,10,11) + ∑x(0,2,4,12,13)
A B C D
0) 0 0 0 0 X
1) 0 0 0 1 1 (0) 0 0 0 0
2) 0 0 1 0 X (1) 0 0 0 1
3) 0 0 1 1 1 (2) 0 0 1 0
4) 0 1 0 0 X
5) 0 1 0 1 0
(4) 0 1 0 0
6) 0 1 1 0 1 (8) 1 0 0 0
7) 0 1 1 1 0 (3) 0 0 1 1
8) 1 0 0 0 1 (6) 0 1 1 0
9) 1 0 0 1 0
10) 1 0 1 0 1
(10) 1 0 1 0
11) 1 0 1 1 1 (12) 1 1 0 0
12) 1 1 0 0 X (11) 1 0 1 1
13) 1 1 0 1 X (13) 1 1 0 1
14) 1 1 1 0 0
15) 1 1 1 1 0

Simplificación de funciones lógicas con el método de Quine-McCluskey 26

13
 Funciones incompletamente especificadas

A continuación se puede comenzar a formar parejas
(0,1) 0 0 0 –
(0,2) 0 0 – 0
(0) 0 0 0 0 (0,4) 0 – 0 0
(1) 0 0 0 1 (0,8) – 0 0 0
(2) 0 0 1 0 (1,3) 0 0 – 1
(4) 0 1 0 0 (2,3) 0 0 1 –
(8) 1 0 0 0 (2,6) 0 – 1 0
(3) 0 0 1 1 (2,10) – 0 1 0
(6) 0 1 1 0 (4,6) 0 1 – 0
(10) 1 0 1 0 (4,12) – 1 0 0
(12) 1 1 0 0 (8,10) 1 0 – 0
(11) 1 0 1 1 (8,12) 1 – 0 0
(13) 1 1 0 1 (3,11) – 0 1 1
(10,11) 1 0 1 –
(12,13) 1 1 0 –

Simplificación de funciones lógicas con el método de Quine-McCluskey 27

Funciones incompletamente especificadas

Es posible seguir formando nuevas parejas
(0,1) 0 0 0 – (0,1,2,3) 0 0 – –
(0,2) 0 0 – 0 (0,2,1,3) 0 0 – –
(0,4) 0 – 0 0 (0,2,4,6) 0 – – 0
(0,8) – 0 0 0 (0,2,8,10) – 0 – 0
(1,3) 0 0 – 1 (0,4,2,6) 0 – – 0
(2,3) 0 0 1 – (0,4,8,12) – – 0 0
(2,6) 0 – 1 0 (0,8,2,10) – 0 – 0
(2,10) – 0 1 0 (0,8,4,12) – – 0 0
(4,6) 0 1 – 0 (2,3,10,11) – 0 1 –
(4,12) – 1 0 0 (2,10,3,11) – 0 1 –
(8,10) 1 0 – 0
(8,12) 1 – 0 0
(3,11) – 0 1 1
(10,11) 1 0 1 –
(12,13) 1 1 0 –

Simplificación de funciones lógicas con el método de Quine-McCluskey 28

14
 Funciones incompletamente especificadas

Aunque ya no se pueden crear más parejas, tenemos
varias parejas repetidas que podemos eliminar
(0,1,2,3) 0 0 – –
(0,2,1,3) 0 0 – –
(0,2,4,6) 0 – – 0
(0,2,8,10) – 0 – 0
(0,4,2,6) 0 – – 0 (0,1,2,3) 0 0 – –
(0,4,8,12) – – 0 0 (0,2,4,6) 0 – – 0
(0,8,2,10) – 0 – 0 (0,2,8,10) – 0 – 0
(0,8,4,12) – – 0 0 (0,4,8,12) – – 0 0
(2,3,10,11) – 0 1 – (2,3,10,11) – 0 1 –
(2,10,3,11) – 0 1 –

Simplificación de funciones lógicas con el método de Quine-McCluskey 29

Funciones incompletamente especificadas

A partir de estos grupos obtendremos los términos
producto que pueden formar parte de la expresión
minimizada de esta función
(0,1,2,3) 0 0 – – AB
(0,2,4,6) 0 – – 0 AD
(0,2,8,10) – 0 – 0 BD
(0,4,8,12) – – 0 0 CD
(2,3,10,11) – 0 1 – BC

Simplificación de funciones lógicas con el método de Quine-McCluskey 30

15
 Funciones incompletamente especificadas

A continuación creamos la tabla de selección para las
combinaciones que hay que cubrir, o sea, aquellas cuyo
valor de salida es 1
1 3 6 8 10 11

(0,1,2,3) AB X X
(0,2,4,6) AD X
(0,2,8,10) BD X X

(0,5,8,12) CD X

(2,3,10,11) BC X X X

Simplificación de funciones lógicas con el método de Quine-McCluskey 31

Funciones incompletamente especificadas

Tras la selección de los términos esenciales sólo queda
un término por cubrir
√ √ √ √ √
1 3 6 8 10 11

(0,1,2,3) AB X X
(0,2,4,6) AD X
(0,2,8,10) BD X X

(0,5,8,12) CD X

(2,3,10,11) BC X X X

Simplificación de funciones lógicas con el método de Quine-McCluskey 32

16
 Funciones incompletamente especificadas

Hay dos posibilidades para cubrir el término restante,
es decir, hay dos funciones mínimas posibles
√ √ √ √ √
1 3 6 8 10 11

(0,1,2,3) AB X X
(0,2,4,6) AD X
√
(0,2,8,10) BD X X

(0,5,8,12) CD X

(2,3,10,11) BC X X X

AB + AD + BC + BD
Simplificación de funciones lógicas con el método de Quine-McCluskey 33

Funciones incompletamente especificadas

Hay dos posibilidades para cubrir el término restante,
es decir, hay dos funciones mínimas posibles
√ √ √ √ √
1 3 6 8 10 11

(0,1,2,3) AB X X
(0,2,4,6) AD X
(0,2,8,10) BD X X
√
(0,5,8,12) CD X

(2,3,10,11) BC X X X

AB + AD + BC + CD
Simplificación de funciones lógicas con el método de Quine-McCluskey 34

17
 Estructura del tema

Introducción

Método de simplificación de Quine-McCluskey

Obtención de términos producto

Selección de términos producto

Selección de términos no esenciales

Funciones incompletamente especificadas

Circuitos con salida múltiple

Resumen y bibliografía
Simplificación de funciones lógicas con el método de Quine-McCluskey 35

Circuitos con salida múltiple

El método de Quine-McCluskey puede aplicarse a la
minimización de funciones con salida múltiple

El proceso de obtención de los términos producto debe
tener en cuenta las combinaciones que cubre cada
término y las funciones a las que pertenece

Cuando se forme una pareja, ésta sólo pertenecerá a una
función si sus dos componentes pertenecen a ella

No se podrá formar una pareja si los dos candidatos no
pertenecen, como mínimo, a una misma función

La selección de los términos producto se hará por
separado para cada función
Simplificación de funciones lógicas con el método de Quine-McCluskey 36

18
 Simplificación de multi-funciones

El método de Quine-McCluskey puede aplicarse para
minimizar estas tres funciones:
A B C D F1 F2 F3

0) 0 0 0 0 1 0 0
F1(A,B,C,D) = ∑(0,1,2,3,8,10) 1) 0 0 0 1 1 0 0
2) 0 0 1 0 1 1 0
3) 0 0 1 1 1 1 0
F2(A,B,C,D) = ∑(2,3,5,6,7,8,10,11,12,14,15) 4) 0 1 0 0 0 0 0
5) 0 1 0 1 0 1 0
F3(A,B,C,D) = ∑(8,9,10,12,13,14) 6)
7)
0
0
1
1
1
1
0
1
0
0
1
1
0
0
8) 1 0 0 0 1 1 1
9) 1 0 0 1 0 0 1
10) 1 0 1 0 1 1 1
11) 1 0 1 1 0 1 0
12) 1 1 0 0 0 1 1
13) 1 1 0 1 0 0 1
14) 1 1 1 0 0 1 1
15) 1 1 1 1 0 1 0

Simplificación de funciones lógicas con el método de Quine-McCluskey 37

Simplificación de multi-funciones

A partir de la tabla de verdad se agrupan los términos,
indicando a que función pertenecen
A B C D F1 F2 F3
(0) 0 0 0 0 F1
0) 0 0 0 0 1 0 0
(1) 0 0 0 1 F1
1) 0 0 0 1 1 0 0 (2) 0 0 1 0 F1F2
2) 0 0 1 0 1 1 0 (8) 1 0 0 0 F1F2F3
3) 0 0 1 1 1 1 0
4) 0 1 0 0 0 0 0 (3) 0 0 1 1 F1F2
5) 0 1 0 1 0 1 0 (5) 0 1 0 1 F2
(6) 0 1 1 0 F2
6) 0 1 1 0 0 1 0 (9) 1 0 0 1 F3
7) 0 1 1 1 0 1 0 (10) 1 0 1 0 F1F2F3
8) 1 0 0 0 1 1 1 (12) 1 1 0 0 F2F3
9) 1 0 0 1 0 0 1
10) 1 0 1 0 1 1 1 (7) 0 1 1 1 F2
11) 1 0 1 1 0 1 0 (11) 1 0 1 1 F2
12) 1 1 0 0 0 1 1 (13) 1 1 0 1 F3
13) 1 1 0 1 0 0 1
(14) 1 1 1 0 F2F3
14) 1 1 1 0 0 1 1 (15) 1 1 1 1 F2
15) 1 1 1 1 0 1 0

Simplificación de funciones lógicas con el método de Quine-McCluskey 38

19
 Simplificación de multi-funciones

Los grupos que pertenecen a una misma función dan
lugar a parejas (3,7)
(3,11)
0
–
–
0
1
1
1
1
F2
F2
(5,7) 0 1 – 1 F2
(0,1) 0 0 0 – F1 (5,13) – 1 0 1
(0,2) 0 0 – 0 F1 (6,7) 0 1 1 – F2
(0,8) – 0 0 0 F1 (6,14) – 1 1 0 F2
(1,3) 0 0 – 1 F1 (9,11) 1 0 – 1
(1,5) 0 – 0 1 (9,13) 1 – 0 1 F3
(1,9) – 0 0 1 (10,11) 1 0 1 – F2
(2,3) 0 0 1 – F1F2 (10,14) 1 – 1 0 F2F3
(2,6) 0 – 1 0 F2 (12,13) 1 1 0 – F3
(2,10) – 0 1 0 F1F2 (12,14) 1 1 – 0 F2F3
(8,9) 1 0 0 – F3 (7,15) – 1 1 1 F2
(8,10) 1 0 – 0 F1F2F3 (11,15) 1 – 1 1 F2
(8,12) 1 – 0 0 F2F3 (13,15) 1 1 – 1
(14,15) 1 1 1 – F2

Simplificación de funciones lógicas con el método de Quine-McCluskey 39

Simplificación de multi-funciones

Las parejas anteriores dan lugar a nuevas parejas
(0,1,2,3) 0 0 – – F1 (3,7,11,15) – – 1 1 F2
(0,1,8,9) – 0 0 – (3,11,7,15) – – 1 1 F2
(0,2,1,3) 0 0 – – F1 (6,7,14,15) – 1 1 – F2
(0,2,8,10) – 0 – 0 F1 (6,14,7,15) – 1 1 – F2
(0,8,2,10) – 0 – 0 F1 (9,13,11,15) 1 – – 1
(1,3,5,7) 0 0 – – (10,11,14,15) 1 – 1 – F2
(2,3,6,7) 0 – 1 – F2 (10,14,11,15) 1 – 1 – F2
(2,3,10,11) – 0 1 – F2 (12,13,14,15) 1 1 – –
(2,6,3,7) 0 – 1 – F2
(2,6,10,14) – – 1 0 F2
(2,10,3,11) – 0 1 – F2
(2,10,6,14) – – 1 0 F2
(8,9,10,11) 1 0 – –
(8,9,12,13) 1 – 0 – F3
(8,10,12,14) 1 – – 0 F2F3
(8,12,10,14) 1 – – 0 F2F3
(8,12,9,13) 1 – 0 – F3
Simplificación de funciones lógicas con el método de Quine-McCluskey 40

20
 Simplificación de multi-funciones

En el paso anterior surgieron varias repeticiones que se
pueden eliminar
(0,1,2,3) 0 0 – – F1
(0,2,8,10) – 0 – 0 F1
(2,3,6,7) 0 – 1 – F2
(2,3,10,11) – 0 1 – F2
(2,6,10,14) – – 1 0 F2
(8,9,12,13) 1 – 0 – F3
(8,10,12,14) 1 – – 0 F2F3
(3,7,11,15) – – 1 1 F2
(6,7,14,15) – 1 1 – F2
(10,11,14,15) 1 – 1 – F2

Simplificación de funciones lógicas con el método de Quine-McCluskey 41

Simplificación de multi-funciones

A continuación tendremos una última ronda de creación
de parejas, que da lugar a tres parejas que cubren las
mismas combinaciones

(2,3,6,7,10,11,14,15) – – 1 – F2
(2,3,10,11,6,7,14,15) – – 1 – F2
(2,3,6,7,10,11,14,15) – – 1 – F2
(2,6,10,14,3,7,11,15) – – 1 – F2
(8,9,12,13,10,11,14,15) 1 – – –

Simplificación de funciones lógicas con el método de Quine-McCluskey 42

21
 Simplificación de multi-funciones

De todos los grupos generados debemos elegir
aquellos tales que no exista ninguno que lo contenga
y pertenezca a las mismas funciones que él
(2,3) F1F2 0 0 1 – ABC
(2,10) F1F2 – 0 1 0 BCD
(5,7) F2 0 1 – 1 ABD
(8,10) F1F2F3 1 0 – 0 ABD
(0,1,2,3) F1 0 0 – – AB
(0,2,8,10) F1 – 0 – 0 BD
(8,9,12,13) F3 1 – 0 – AC
(8,10,12,14) F2F3 1 – – 0 AD
(2,3,6,7,10,11,14,15) F2 – – 1 – C
Simplificación de funciones lógicas con el método de Quine-McCluskey 43

Simplificación de multi-funciones

Ahora podemos crear la tabla de selección para la
función F1 e identificar los términos esenciales

0√ 1√ 2√ 3√ 8 10
(2,3) F1F2 ABC X X
(2,10) F1F2 BCD X X
(5,7) F2 ABD
(8,10) F1F2F3 ABD X X
(0,1,2,3) F1 AB X X X X
(0,2,8,10) F1 BD X X X X
(8,9,12,13) F3 AC
(8,10,12,14) F2F3 AD
(2,3,6,7,10,11,14,15) F2 C
Simplificación de funciones lógicas con el método de Quine-McCluskey 44

22
 Simplificación de multi-funciones

Para cubrir las combinaciones restantes elegimos al

candidato más simple

0√ 1√ 2√ 3√ 8 10
(2,3) F1F2 ABC X X
(2,10) F1F2 BCD X X
(5,7) F2 ABD
(8,10) F1F2F3 ABD X X
(0,1,2,3) F1 AB X X X X
√ √
(0,2,8,10) F1 BD X X X X
(8,9,12,13) F3 AC
(8,10,12,14) F2F3 AD
(2,3,6,7,10,11,14,15) F2 C F1 = AB + BD
Simplificación de funciones lógicas con el método de Quine-McCluskey 45

Simplificación de multi-funciones

Los términos esenciales de la función F2 cubren todas

las combinaciones
√√ √ √ √√ √ √ √ √ √
2 3 5 6 7 8 10 11 12 14 15

(2,3) F1F2 ABC XX

(2,10) F1F2 BCD X X
(5,7) F2 ABD X X
(8,10) F1F2F3 ABD X X
(0,1,2,3) F1 AB
(0,2,8,10) F1 BD F2 = ABD + AD + C
(8,9,12,13) F3 AC
(8,10,12,14) F2F3 AD X X X X
(2,3,6,7,10,11,14,15) F2 C XX XX X X X X

Simplificación de funciones lógicas con el método de Quine-McCluskey 46

23
 Simplificación de multi-funciones

Los términos esenciales de la función F3 cubren todas

las combinaciones, estando uno ellos compartido con la

función F2 8√ 9√ 10√ 12 √ 13√ 14√

(2,3) F1F2 ABC
(2,10) F1F2 BCD F3 = AC + AD
(5,7) F2 ABD
(8,10) F1F2F3 ABD X X
(0,1,2,3) F1 AB
(0,2,8,10) F1 BD
(8,9,12,13) F3 AC X X X X
(8,10,12,14) F2F3 AD X X X X
(2,3,6,7,10,11,14,15) F2 C
Simplificación de funciones lógicas con el método de Quine-McCluskey 47

Estructura del tema

Introducción

Método de simplificación de Quine-McCluskey

Obtención de términos producto

Selección de términos producto

Selección de términos no esenciales

Funciones incompletamente especificadas

Circuitos con salida múltiple

Resumen y bibliografía

Simplificación de funciones lógicas con el método de Quine-McCluskey 48

24
 Resumen

Al igual que el método de Karnaugh, el método de

Quine-McCluskey permite obtener, de forma

sistemática, la función lógica mínima que representa

un circuito digital

Las principales ventajas de este método son la

capacidad de minimizar funciones con muchas

variables y la posibilidad de automatizarlo

Este método también permite trabajar con funciones

incompletamente especificadas y con funciones de

salida múltiple, aprovechando sus características

particulares para minimizar aún más las funciones

Simplificación de funciones lógicas con el método de Quine-McCluskey 49

Bibliografía
Principios de Diseño Digital
Capítulo 4
Daniel D. Gajski
Prentice Hall, 1997

Sistemas Electrónicos Digitales

Capítulo 3
Enrique Mandado
Marcombo, 1991

Simplificación de funciones lógicas con el método de Quine-McCluskey 50

25