ALGORITMO DE QUINE-McCLUSKEY

O mtodo de Quine-McCluskey para encontrar primos implicantes de uma funo booleana, usa um
procedimento sistemtico para tabul-los, iniciando com o mintermos e usando a expresso AB + AB
repetidamente. Os passos bsicos para este mtodo so:
1. Listar todos os mintermos e agrup-los pelo nmero de 1s que eles contenham.
2. Formar pares de mintermos que diferem por uma varivel e criar um novo termo com uma
varivel a menos (a varivel que difere).
3. Repetir o passo 2 at no existir um novo termo a ser formado. O resultado um conjunto de
primos implicantes da funo.
4. Formar uma tabela onde os mintermos originais definem as colunas e os primos implicantes
definem as linhas. A relao entre cada mintermo e um dado primo implicante indicado por
um X no cruzamento da linha e coluna, respectivamente, referentes a ambos.
5. Usando a tabela, determinar o primo implicante essencial a um conjunto adicional de primos
implicantes que cobrem toda a funo.
Exemplo:

f = m(0,2,3,7,8,10,11,13)

Encontrando primos implicantes

Mintermos
0 0000 3
----------2 0010 3
8 1000 3
----------3 0011 3
10 1010 3
----------7 0111 3
11 1011 3
13 1101 *
-----------

Termo

0,2,8,10 _0_0 *
----------------2,3,10,11 _01_ *

0,2 00_0 3
0,8 _000 3
---------2,3 001_ 3
2,10 _010 3
8,10 10_0 3
------------3,7 0_11 *
3,11 _011 3
3,10 101_ 3
-------------

MINTERMOS
PRIMOS IMPLICANTES

13 *
0,8
2,3
2,10
3,7 *
3,10
3,11
10,11
0,2,8,10 *
2,3,10,11 *

Termo

10

11

13
X

X
X
X

X
X
X
X
X

X
X

X
X

X
X
X

X
X

X
__
__
__
__ __
f= (13) + (3,7) + (2,3,10,11) + (0,2,8,10) = X1X2X3X4 + X1X3X4 + X2X3 + X2X4