Metodo

Método de Quine-McCluskey
Como podemos observar, a complexidade dos mapas de VeichtKarnaugh aumentam conforme o número de variáveis aumenta. A partir de 7 variáveis, a simplificação através do uso destes mapas torna-se impraticável. Tendo em vista que, em muitos casos reais, o número de variáveis extrapola facilmente o número de 6, torna-se importante dispormos de um método mais prático, e de preferência que seja fácil de implementar via software. Tais métodos existem e chamam-se de “Métodos Tabulares”, sendo o método de Quine-McCluskey um dos mais conhecido dentre eles.
OBS: Atualmente, o método implementado em programas de síntese de circuitos digitais é o ESPRESSO (e seus variantes), criado por Robert
Brayton na IBM/Berkeley.

O Processo de Agrupamento
Os mintermos são, inicialmente, separados de acordo com seus índices, onde o índice de um mintermo é o número de variáveis cujo estado seja verdadeiro.
Ex: A.B.C.D  0101  2 x 1s  index = 2
Os mintermos são agrupados conforme seus índices, e em ordem crescente da seguinte forma:
Exemplo 1: Listar os mintermos de quatro variáveis em grupos de mesmo índice. Mintermo (binário)
Número do Mintermo Índice
0000
0
0
0001, 0010, 0100, 1000
1, 2, 4, 8
1
0011, 0101, 0110, 1010, 1100
3, 5, 6, 9, 10, 12
2
0111, 1011, 1101, 1110
7, 11, 13, 14
3
1111
15
4

Prof. João Marcos Meirelles da Silva

98/198

Dada a função Booleana expressa por f(A,B,C,D,E,F) = ∑ 0,3,6,9,11,14,15,17,21,25,29,30,31
Separe os mintermos em grupos de acordo com o seu índice.
Mintermo

No. Mintermo

Índice

Uma vez que os mintermos tenham sido separados em grupos de acordo com seus índices (mesmo índice), e listados em ordem crescente, a simplificação tabular segue os passos:

Passo 1
a) O número decimal representando cada mintermo em um grupo de mesmo índice é comparado com os números de todos os mintermos do grupo possuindo um índice mais alto;
b) Somente aqueles mintermos possuindo números