Technique de Quine-McCluskey

La mthode de Quine part de la dcomposition canonique disjonctive dune expression Boolenne et utilise systmatiquement la formule de simplification

x y xy y
o x est un littral et y un monme. Intrts : - Implmentation machine possible - Nombre quelconque de variables - Efficace, le rsultat de la simplification est minimal

Peut ncessiter un temps exponentiel pour certains circuits !

Algorithme de Quine-McCluskey
Table vrit Cr er un nouvea u groupe ave c les mintermes c ombins Mettre la fonctio n sous forme canonique

Procdure de simplification Algorithme de Quine-McCluskey

Nouve au groupe? Transforme r les minterme s en nombres binaires Identifier les impliquants #
Grouper les termes selon leur poids (nombre des "1") Identifier les impliquants essentiels (reprsentation unique)

Trier par ordre croissant l'intrieur de c haque groupe

impliquants essentiels = toutes les s olutions

Rajouter quelques impliquants pour avoir toutes les solutions

Combiner les mintermes ave c ceux du groupe adjac ent. *

Fin

* Deux mintermes se combinent s'ils diffrent par un seul bit. Le minterme combin contient un "x" la place du bit diffrent

# lments non utiliss pour gnrer un lment du nouveau groupe

Exemple Quine (1)

Soit simplifier
f ( a , b , c , d ) ab bc ac acd abd abc f ( a , b , c , d ) R (0, 2, 3, 6, 7,8, 9,12,13,14,15) f abcd abcd abcd abcd abcd abcd abcd abcd abcd abcd ab cd f 1111 1110 1101 1100 1001 1000 0111 0110 0011 0010 0000

Exemple Quine (2)

classes Etape 0 0 0000 0010 1 1000 0011 0110 2 1001 1100 0111 3 1101 1110 4 1111 flag 1 classes Etape 0 0 0000 1 0010 1000 flag 1 1 1 Etape1 00x0 x000 001x 0x10 100x 1x00 0x11 011x x110 1x01 110x 11x0 x111 11x1 111x flag

0011 0110 1001 1100

1 1 1 1

0111 1101 1110 1111

1 1 1 1

Exemple Quine (3)

Impliquants premiers
classes Etape 0 0 0000 1 0010 1000 flag 1 1 1 Etape 1 00x0 x000 001x 0x10 100x 1x00 0x11 011x x110 1x01 110x 11x0 x111 11x1 111x flag 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 Etape 2 flag

0x1x 1x0x

0 0

0011 0110 1001 1100

1 1 1 1

x11x 11xx

0 0

0111 1101 1110 1111

1 1 1 1

Exemple Quine (4)

* indique que limpliquant couvre le terme [*] limpliquant est essentiel ce terme (*) terme couvert par un impliquant essentiel
0000 00x0 x000 0x1x 1x0x x11x 11xx 0010 1000 0011 0110 1001 1100 0111 1101 1110 1111

* *

* * (*) (*) * * [*] (*) [*] * * * (*) (*) * * * *

ab abd

ac ac

ab bcd bc abd bc bcd