1

Quine-McCluskey

Quine/McCluskey dient dazu die Primimplikanten zu berechnen, die Brechnung selbst ist ein sich wiederholender Algorithmus. Es werden nur Monome (Wrter) die die gleichen Variablen enthalten und sich ihre Anzahl o der positiven Literale (Buchstaben) um 1 unterscheidet, miteinander verglichen. Bedingung 1 Ein Monom das die Variablen x1 x2 x3 enthlt kann nur mit Monomen verglichen a werden, die auch x1 x2 x3 enthalten1 . z.B. x1 x2 x3 (101) kann mit x1 x2 x3 (001) verglichen werden, aber nicht x1 x2 x4 Bedingung 2 Da die Monome die gleichen Variablen enthalten mssen nach Bed. 1, haben sie die u 2 gleiche Lnge und diese Lnge entspricht der Summe der positiven und negativen a a Literale. Es knnen nur Monome mit einander verglichen werden, der Anzahl an positiven o Literal um 1 unterscheidet. Anders ausgedrckt, Monome die gleiche Anzahl an u Einsen (bzw. Nullen) haben knnen nicht verglichen werden, die Anzahl mu sich o um genau 1 unterscheiden. Kurzfassung: Ihre Belegung unterscheidet sich nur in einem Literal! Beispiel: x1 x2 x3 (101) kann mit x1 x2 x3 verglichen werden, aber nicht x1 x2 x3 Die Monome die nicht weiter mit anderen verglichen und reduziert werden knnen, sind o dann Prim. Zu Beginn der Berechnung kann man davon ausgehen, da Bedingung 1 erfllt ist. Angeu nommen man hat folgende Funktion: ON (f )(x1 , x2 , x3 , x4 ) = {(0001), (0010), (0110), (1010), (1110), (0101)} Im ersten Schritt werden die Monome nach der Anzahl der Einser die sie enthalten sortiert3 . 0001 0010 (I) 0101 0110 (II) 1010 1110 (III) 2. Schritt Die Monome der Gruppe I werden mit denen der Gruppe II verglichen, die Monome der Gruppe II werden mit Gruppe III verglichen.
Das bedeutet nicht, dass die Belegung gleich sein mu. Wenn die Variablen und die Belegung gleich ist, ist es ein und daselbe Monom 2 Formell ausgedrckt, Monome die die gleichen Variablen enthalten, besitzen die gleiche Mchtigkeit u a 3 Sie sind zustzlich noch mit aufsteigendem Wert sortiert worden a
1

Gruppe I mit II 0001 mit 0101 0 01 0001 mit 0110 geht nicht (Bed. 2) 0001 mit 1010 geht nicht (Bed. 2) 0010 mit 0101 geht nicht (Bed. 2) 0010 mit 0110 0 10 0010 mit 1010 010 Gruppe II mit III 0101 mit 1110 geht nicht (Bed. 2) 0110 mit 1110 110 1010 mit 1110 1 10 Jedes Monome konnte verglichen und reduziert werden, also keine Prims dabei. 3. Schritt Die Monome mssen jetzt nach Variablen sortiert werden. u L1 (x1 x3 x4 ) = {(0 01), (0 10), (1 10)} L1 (x2 x3 x4 ) = {(010), (110)} 4. Schritt die Monome wieder nach der Anzahl der Einser sortieren, fr L1 (x1 x3 x4 ) und L1 (x2 x3 x4 ) u getrennt. L1 (x1 x3 x4 ) 0 01 0 10 1 10 Gruppe I mit II 0-01 mit 1-10 geht nicht (Bed. 2) 0-10 mit 1-10 10 L1 (x2 x3 x4 ) (010) (110) Gruppe I mit II -010 mit -110 10 P I1 = {(0 01)} Wieder Schritt 3 (nach Variablen sortieren) L2 (x3 x4 ) = {( 10), ( 10)} Kein weiteres vergleich mehr mglich. o P I2 = {( 10)} 5. Schritt Um die Primimplikanten der Funktion f zu bekommen, werden die Prims die whrend a der Rechnung gefunden wurden (P I1 , P I2 ) vereinigt. P I(f ) = P I1 P I2 = {(0 01), ( 10)}

Aufgaben zu Quine-McCluskey Aufgabe 1: Eine Funktion f S(B4 ) sei gegeben durch: ON (f )(x1 , x2 , x3 , x4 ) = {(0010), (0100), (0101), (0110), (0111), (1010)} a) Bestimmen Sie alle Primimplikanten von f mithilfe des Verfahrens von QuineMcCluskey. u b) Stellen Sie die Primimplikantentafel fr f auf und bestimmen Sie damit ein Minimalpolynom von f . Aufgabe 2: Eine Funktion f S(B4 ) sei gegeben durch: ON (f )(x1 , x2 , x3 , x4 ) = {(0001), (0011), (0110), (1001), (1011), (1100), (1110)} Bestimmen Sie alle Primimplikanten von f mithilfe des Verfahrens von Quine-McCluskey. Aufgabe 3: Eine Funktion f S(B4 ) sei gegeben durch: ON (f )(x1 , x2 , x3 , x4 ) = {(0000), (0011), (0100), (0111), (1000), (1001), (1011), (1100), (1101), (1111)} Bestimmen Sie alle Primimplikanten von f mithilfe des Verfahrens von Quine-McCluskey. Aufgabe 4: Eine Funktion f S(B4 ) sei gegeben durch: ON (f )(x1 , x2 , x3 , x4 ) = {(0000), (0110), (0111), (1011), (1110), (1111) a) Bestimmen Sie alle Primimplikanten von f mithilfe des Verfahrens von QuineMcCluskey. b) Stellen Sie die Primimplikantentafel fr f auf und bestimmen Sie damit ein Miniu malpolynom von f . Lsungen zu Quine-McCluskey o Aufgabe 1 a. ON (f )(x1 , x2 , x3 , x4 ) = {(0010), (0100), (0101), (0110), (0111), (1010)} L0 = {(x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 )} L1 = {(x1 x3 x4 ), (x2 x3 x4 ), (x1 x2 x3 ), (x1 x2 x4 ), (x1 x2 x4 ), (x1 x2 x3 ) P I1 = { }

L2 = {(x1 x2 )(x1 x2 )} = {(x1 x2 )} P I2 = {(x1 x3 x4 ), (x2 x3 x4 )} L3 = { } P I3 = {(x1 x2 )} P I = P I1 P I2 P I3 = {(x1 x3 x4 ), (x2 x3 x4 ), (x1 x2 )} b. ON (f ) PI 0010 0100 0101 0110 0111 1010 x1 x2 0 1 1 1 1 0 x1 x3 x4 1 0 0 1 0 0 x2 x3 x4 1 0 0 0 0 1 Min Prim = {(x1 x2 ), (x2 x3 x4 )} Aufgabe 2 ON (f )(x1 , x2 , x3 , x4 ) = {(0001), (0011), (0110), (1001), (1011), (1100), (1110)} L0 = {(x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 )} L1 = {(x1 x2 x4 ), (x2 x3 x4 ), (x2 x3 x4 ), (x2 x3 x4 ), (x1 x2 x4 ), (x1 x2 x4 )} P I1 = { } L2 = {(x2 x4 ), (x2 x4 )} = {(x2 x4 )} P I2 = {(x2 x3 x4 ), (x1 x2 x4 )} L3 = { } P I3 {(x2 x4 )} P I = P I1 P I2 P I3 = {(x2 x4 ), (x2 x3 x4 ), (x1 x2 x4 )} Aufgabe 3 ON (f )(x1 , x2 , x3 , x4 ) = {(0000), (0011), (0100), (0111), (1000), (1001), (1011), (1100), (1101), (1111)} L0 = {(x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 )} L1 = {(x1 x3 x4 ), (x2 x3 x4 ), (x1 x3 x4 ), (x2 x3 x4 ), (x2 x3 x4 ), (x2 x3 x4 ), (x1 x2 x3 ), (x1 x3 x4 ), (x1 x2 x4 ), (x1 x3 x4 ), (x1 x3 x4 ), (x1 x2 x3 ), (x1 x2 x4 )}

P I1 = { } L2 = {(x3 x4 ), (x3 x4 ), (x3 x4 ), (x3 x4 ), (x1 x3 ), (x1 x3 ), (x1 x4 ), (x1 x4 )} L2 = {(x3 x4 ), (x3 x4 ), (x1 x3 ), (x1 x4 )} P I2 = { } L3 = { } P I3 = {(x3 x4 ), (x3 x4 ), (x1 x3 ), (x1 x4 )} = P I Aufgabe 4: ON (f ) = {(0000), (0110), (0111), (1011), (1110), (1111)} a. L0 = {(x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 ), (x1 x2 x3 x4 )} L1 = {(x1 x2 x3 ), (x2 x3 x4 ), (x2 x3 x4 ), (x1 x3 x4 ), (x1 x2 x3 )} P I1 = {(x1 x2 x3 x4 )} L2 = {(x2 x3 ), (x2 x3 )} = {(x2 x3 )} P I2 = {(x1 x3 x4 )} L3 = { } P I3 = {(x2 x3 )} P I = P I1 P I2 P I3 = {(x1 x2 x3 x4 ), (x1 x3 x4 ), (x2 x3 )} b. ON (f ) PI 0000 0110 0111 1011 1110 1111 x 1 x2 x3 x4 1 0 0 0 0 0 x1 x3 x4 0 0 0 1 0 1 x2 x3 0 1 1 0 1 1 Alle werden bentigt o Min Poly : x2 x3 + x1 x3 x4 + x1 x2 x3 x4 Quelle: Quine-McCluskey Mit freundlicher Untersttzung von: www.baby-lik.com u