Vous êtes sur la page 1sur 3

Quine-McCluskey

Simplifiez l'quation suivant par la mthode Quine-McCluskey. Utilisez le principe de


domination si possible.

f = !AB!C!D + A!B!C!D + A!BC'D + A!BC!D + A!BCD + AB!C!D + ABC!D + ABCD

Essayez aussi de complter la simplification avec la mthode de Petrick.

N.B. Si vous voulez faire plus d'exercices de Quine-McCluskey, on vous propose de faire
les exercices pour les tables de Karnaugh mais en utilisant la mthode Quine-
McCluskey. Vous pouvez facilement comparer vos quations simplifies avec ceux du
solutionnaire.
Quine-McCluskey (Solutions)

En premier, il faut numrer toutes les mintermes regroups par leur poids. Ensuite, il
faut combiner jusqu' ce n'est plus possible. On coche ct des implicants qui ont t
combins. Finalement, ct de ceux qui ne sont pas cochs, on crit une lettre unique
pour indiquer que ce sont les implicants premiers.

Implicants taille 1 Implicants taille 2 Implicants taille 4


0100 x100 A 10xx B
Poids 1
1000 100x 1xx0 C
1001 10x0 1x1x D
Poids 2 1010 1x00
1100 10x1
1011 101x
Poids 3
1110 1x10
Poids 4 1111 11x0
1x11
111x

On dessine une table avec les implicants premiers dans les ranges et les mintermes dans
les colonnes. On indique par des 'x' quels mintermes sont couverts par quels implicants.

0100 1000 1001 1010 1100 1011 1110 1111


A: x100 x x
B: 10xx x x x x
C: 1xx0 x x x x
D: 1x1x x x x x

On enlve les colonnes qui sont dominants c'est dire qu'ils ont tous les mmes 'x'
qu'une autre colonne, mais avec des 'x' supplmentaires.

0100 1000 1001 1010 1100 1011 1110 1111


A: x100 x x
B: 10xx x x x x
C: 1xx0 x x x x
D: 1x1x x x x x
Normalement, on enlve toutes les ranges qui sont domines, mais ici on voit qu'il n'y en
a pas. Alors on procde dterminer quels sont les implicants premiers essentiels. Ce
sont ceux qui couvrent un 'x' unique dans sa colonne (dans la table suivante on indique
ces 'x' par une toile). On encercle ces implicants et les colonnes qu'ils couvrent.

0100 1000 1001 1010 1100 1011 1110 1111


A: x100 x* x
B: 10xx x x* x x
C: 1xx0 x x x x
D: 1x1x x x x x*

Alors A, B et D sont des implicants premiers essentiels. On remarque qu'ensemble, ils


couvrent tous les mintermes. C'est dire qu'ils reprsentent le solution de moindre cot.

quation simplifie : f = B!C!D + A!B + AC

Avec la mthode de Petrick, on crit en premier l'expression p en dterminant quels


implicants couvrent quels mintermes, colonne par colonne :

p = A(B + C)B(B + C + D)(A + C)(B + D)(C + D)D

Et maintenant on la simplifit avec l'algbre de Boole, pour obtenir une quation en format
somme de produits (il-y-a plusieurs faons de le faire, plus ou moins vites) :

p = ABD(B + C)(B + C + D)(A + C)(B + D)(C + D)


p = ABD[(B + C)(A + C)][(B + D)(C + D)]
p = ABD[C + AB][D + BC]
p = ABD(CD + BC + ABD + ABC)
p = ABCD + ABCD + ABD + ABCD
p = ABD

Ce qui veut dire que l'quation de moindre cot comprend les implicants A, B et D :

quation simplifie : f = B!C!D + A!B + AC