ΗΜΥ 210 ΣΧΕΔΙΑΣΜΟΣ ΨΗΦΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ … · 10 1010 2 11 1011 3 14...

54
ΗΜΥ 210 ΣΧΕΔΙΑΣΜΟΣ ΨΗΦΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ ΧΑΡΗΣ ΘΕΟΧΑΡΙΔΗΣ Επίκουρος Καθηγητής, ΗΜΜΥ ([email protected] ) Χειμερινό Εξάμηνο 2016 ΔΙΑΛΕΞΗ 3: Αλγοριθμική Ελαχιστοποίηση (Quine-McCluskey, tabular method)

Transcript of ΗΜΥ 210 ΣΧΕΔΙΑΣΜΟΣ ΨΗΦΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ … · 10 1010 2 11 1011 3 14...

ΗΜΥ 210 ΣΧΕΔΙΑΣΜΟΣ ΨΗΦΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ

ΧΑΡΗΣ ΘΕΟΧΑΡΙΔΗΣ Επίκουρος Καθηγητής, ΗΜΜΥ

([email protected])

Χειµερινό Εξάµηνο 2016

ΔΙΑΛΕΞΗ 3: Αλγοριθµική Ελαχιστοποίηση (Quine-McCluskey, tabular method)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.2 © Θεοχαρίδης, ΗΜΥ, 2016

Επανάληψη q Δυαδική Λογική και Πύλες

q Άλγεβρα Boole ●  Βασικές ιδιότητες ●  Αλγεβρικός Χειρισµός/Μετασχηµατισµός

q Κανονικές (Canonical) και Πρότυπες (Standard) µορφές ●  Ελαχιστόροι (minterms) και Μεγιστόροι (maxterms) ●  SOP and POS (κανονικές και πρότυπες µορφές) ●  Χάρτες Karnaugh (K-χάρτες) ●  Xάρτες 2, 3ων, 4ων, και 5 µεταβλητών ●  Απλοποίηση χρησιµοποιώντας K-χάρτες

q Επεξεργασία K-χαρτών ●  Implicants: Primes (κύριοι), Essentials (ουσιώδεις) ●  Αδιάφοροι όροι (don’t cares)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.3 © Θεοχαρίδης, ΗΜΥ, 2016

Αλγοριθµική Ελαχιστοποίηση

q Τι κάνουµε για συναρτήσεις που έχουν περισσότερες από 4-5 µεταβλητές;

q Χρησιµοποιούµε διαδικασίες/αλγόριθµους ελαχιστοποίησης που µπορούν να προγραµµατιστούν = Computer-Aided Design (CAD) ● π.χ. Αλγόριθµος Quine-McCluskey (βλέπε σηµειώσεις)

● π.χ. Espresso

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.4 © Θεοχαρίδης, ΗΜΥ, 2016

Μέθοδος Κατάταξης σε Πίνακα

q Επίσης γνωστή ως: ● Μέθοδος Quine-McCluskey (από τους επινοητές) ● Tabular Method

q Μπορεί να αυτοµατοποιηθεί (CAD)

q Μπορεί να υποστηρίξει µεγαλύτερο αριθµό µεταβλητών (από Κ-χάρτες)

q 2 βασικά µέρη: ●  Προσδιορισµός ΟΛΩΝ των prime implicants (PIs) ●  Επιλογή ελάχιστου αριθµού prime implicants (PIs)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.5 © Θεοχαρίδης, ΗΜΥ, 2016

1ο Μέρος: Προσδιορισµός ΟΛΩΝ των PIs q  Βήµα 1: Βρίσκουµε τις δυαδικές αναπαραστάσεις των ελαχιστόρων και τις κατατάσσουµε σε οµάδες, ανάλογα µε τον αριθµό των 1ων που περιέχουν.

q  Π.χ. F(w,x,y,z) = ∑m(0,1,2,8,10,11,14,15)

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

0 0000 0 1 0001

2 0010 1 8 1000

10 1010 2 11 1011 3 14 1110 15 1111 4

Βήµα 1

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.6 © Θεοχαρίδης, ΗΜΥ, 2016

1ο Μέρος: Προσδιορισµός ΟΛΩΝ των PIs q  Βήµα 2: Συνδυάζουµε όρους που διαφέρουν µόνο κατά µία µεταβλητή. Σηµειώνουµε µε X τους όρους του προηγούµενου βήµατος που συµµετέχουν τουλάχιστον σε ένα συνδυασµό.

q  Π.χ. F(w,x,y,z) = ∑m(0,1,2,8,10,11,14,15)

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

x 0 0000 0 x 1 0001 x 2 0010 1 x 8 1000 x 10 1010 2 x 11 1011 3 x 14 1110 x 15 1111 4

Βήµα 1

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

0, 1 000- 0

0,2 00-0 0,8 -000

2,10 -010

1 8,10 10-0 10,11 101-

2 10,14 1-10 11,15 1-11

3 14,15 111-

Βήµα 2

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.7 © Θεοχαρίδης, ΗΜΥ, 2016

1ο Μέρος: Προσδιορισµός ΟΛΩΝ των PIs q  Βήµα 3: Επαναλαµβάνουµε το Βήµα 2, µέχρι να µην µπορεί να γίνει κανένας συνδυασµός όρων.

q  Π.χ. F(w,x,y,z) = ∑m(0,1,2,8,10,11,14,15)

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

X 0 0000 0 X 1 0001

X 2 0010 1 X 8 1000

X 10 1010 2 X 11 1011 3 X 14 1110 X 15 1111 4

Βήµα 1

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

0, 1 000- 0

X 0,2 00-0 X 0,8 -000

X 2,10 -010

1 X 8,10 10-0 X 10,11 101-

2 X 10,14 1-10 X 11,15 1-11

3 X 14,15 111-

Βήµα 2

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

0,2,8,10 -0-0

0 0,8,2,10 -0-0

1 10,11,14,15 1-1-

2 10,14,11,15 1-1-

Βήµα 3

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.8 © Θεοχαρίδης, ΗΜΥ, 2016

1ο Μέρος: Προσδιορισµός ΟΛΩΝ των PIs q  Βήµα 4: Κρατούµε ΟΛΟΥΣ τους όρους που ΔΕΝ έχουν σηµειωθεί µε X == ΟΛΟΙ οι PIs

q  Π.χ. F(w,x,y,z) = ∑m(0,1,2,8,10,11,14,15) = w’x’y’+x’z’+wy

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

� 0 0000 0 � 1 0001

� 2 0010 1 � 8 1000

� 10 1010 2 � 11 1011 3 � 14 1110 � 15 1111 4

Βήµα 1

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

0, 1 000- 0

� 0,2 00-0 � 0,8 -000 � 2,10 -010

1 � 8,10 10-0 � 10,11 101-

2 � 10,14 1-10 � 11,15 1-11

3 � 14,15 111-

Βήµα 2

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

0,2,8,10 -0-0

0 0,8,2,10 -0-0

1 10,11,14,15 1-1-

2 10,14,11,15 1-1-

Βήµα 3

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.9 © Θεοχαρίδης, ΗΜΥ, 2016

2ο Μέρος: Επιλογή Eλάχιστου Aριθµού PIs

q  Βήµα 1: Δηµιουργία Πίνακα των Prime Implicants

q  Π.χ. F(w,x,y,z) = ∑m(0,1,2,8,10,11,14,15) µε PIs = w’x’y’+x’z’+wy (από το 1ο Μέρος)

Ελαχιστόροι στον PI

PIs Ελαχιστόροι wxyz 0 1 2 8 10 11 14 15

0,1 000- � �

0,2,8,10 -0-0 � � � � 10,11,14,15 1-1- � � � �

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.10 © Θεοχαρίδης, ΗΜΥ, 2016

2ο Μέρος: Επιλογή Eλάχιστου Aριθµού PIs

q  Βήµα 2: Προσδιορισµός Essential Prime Implicants

q  Π.χ. F(w,x,y,z) = ∑m(0,1,2,8,10,11,14,15)

Ελαχιστόροι στον PI

PIs Ελαχιστόροι wxyz 0 1 2 8 10 11 14 15

0,1 000- � �

0,2,8,10 -0-0 � � � � 10,11,14,15 1-1- � � � �

� � � � � �

Ο ελαχιστόρος 1 καλύπτεται µόνο µία φορά, από τον PI 000- = w’x’y’

Essential PIs = w’x’y’+x’z’+wy

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.11 © Θεοχαρίδης, ΗΜΥ, 2016

2ο Μέρος: Επιλογή Eλάχιστου Aριθµού PIs

q  Βήµα 3: Σηµειώνουµε µε � όσους ελαχιστόρους καλύπτονται από τους Essential PIs

q  Π.χ. F(w,x,y,z) = ∑m(0,1,2,8,10,11,14,15)

Ελαχιστόροι στον PI

PIs Ελαχιστόροι wxyz 0 1 2 8 10 11 14 15

0,1 000- � �

0,2,8,10 -0-0 � � � � 10,11,14,15 1-1- � � � �

� � � � � � �

Ο ελαχιστόρος 1 καλύπτεται µόνο µία φορά, από τον PI 000- = w’x’y’

Essential PIs = w’x’y’+x’z’+wy

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.12 © Θεοχαρίδης, ΗΜΥ, 2016

2ο Μέρος: Επιλογή Eλάχιστου Aριθµού PIs

q  Βήµα 4: Για όσους ελαχιστόρους έχουν µείνει ακάλυπτοι, βρίσκουµε τον µικρότερο αριθµό από PIs που µπορεί να τους καλύψει

q  Π.χ. F(w,x,y,z) = ∑m(0,1,2,8,10,11,14,15)

Ελαχιστόροι στον PI

PIs Ελαχιστόροι wxyz 0 1 2 8 10 11 14 15

0,1 000- � �

0,2,8,10 -0-0 � � � � 10,11,14,15 1-1- � � � �

� � � � � � �

Ο ελαχιστόρος 1 καλύπτεται µόνο µία φορά, από τον PI 000- = w’x’y’

Essential PIs = w’x’y’+x’z’+wy

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.13 © Θεοχαρίδης, ΗΜΥ, 2016

Παράδειγµα – Μέρος 1ο

q F(w,x,y,z) = ∑m(1,4,6,7,8,9,10,11,15)

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

� 1 0001 � 4 0100 1 � 8 1000 � 6 0110

2 � 9 1001 � 10 1010 � 7 0111

3 � 11 1011 � 15 1111 4

Βήµα 1

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

1,9 -001

1

4,6 01-0 � 8,9 100- � 8,10 10-0

6,7 011- 2 � 9,11 10-1

� 10,11 101- 7,15 -111

3 11,15 1-11

Βήµα 2

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

8,9,10,11 10--

1 8,10,9,11 10--

2 3

Βήµα 3

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.14 © Θεοχαρίδης, ΗΜΥ, 2016

Παράδειγµα – Μέρος 1ο

q F(w,x,y,z) = ∑m(1,4,6,7,8,9,10,11,15)

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

� 1 0001 � 4 0100 1 � 8 1000 � 6 0110

2 � 9 1001 � 10 1010 � 7 0111

3 � 11 1011 � 15 1111 4

Βήµα 1

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

1,9 -001

1

4,6 01-0 � 8,9 100- � 8,10 10-0

6,7 011- 2 � 9,11 10-1

� 10,11 101- 7,15 -111

3 11,15 1-11

Βήµα 2

Ελαχιστόρος/οι

Αρ. Άσσων Δεκαδικό Δυαδικό

(w,x,y,z)

8,9,10,11 10--

1 8,10,9,11 10--

2 3

Βήµα 3

Υπάρχουν 6 PIs

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.15 © Θεοχαρίδης, ΗΜΥ, 2016

Παράδειγµα – Μέρος 2ο

q PIs = {(1,9), (4,6), (6,7), (7,15), (11,15), (8,9,10,11)} = {x’y’z, w’xz’, w’xy, xyz, wyz, wx’}

Ελαχιστόροι στον PI

PIs Ελαχιστόροι

wxyz 1 4 6 7 8 9 10 11 15 1,9 x’y’z � �

4,6 w’xz’ � �

6,7 w’xy � �

7,15 xyz � �

11,15 wyz � �

8,9,10,11 wx’ � � � �

� � � �

� � �

Κάνουν τον PI essential Καλύπτονται από EPI Καλύπτονται από όχι EPI

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.16 © Θεοχαρίδης, ΗΜΥ, 2016

Παράδειγµα – Μέρος 2ο

q PIs = {(1,9), (4,6), (6,7), (7,15), (11,15), (8,9,10,11)} = {x’y’z, w’xz’, w’xy, xyz, wyz, wx’}

Ελαχιστόροι στον PI

PIs Ελαχιστόροι

wxyz 1 4 6 7 8 9 10 11 15 1,9 x’y’z � �

4,6 w’xz’ � �

6,7 w’xy � �

7,15 xyz � �

11,15 wyz � �

8,9,10,11 wx’ � � � �

� � � � � � �

� � �

Κάνουν τον PI essential Καλύπτονται από EPI Καλύπτονται από όχι EPI

EPIs

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.17 © Θεοχαρίδης, ΗΜΥ, 2016

Παράδειγµα – Μέρος 2ο

q PIs = {(1,9), (4,6), (6,7), (7,15), (11,15), (8,9,10,11)} = {x’y’z, w’xz’, w’xy, xyz, wyz, wx’}

Ελαχιστόροι στον PI

PIs Ελαχιστόροι

wxyz 1 4 6 7 8 9 10 11 15 1,9 x’y’z � �

4,6 w’xz’ � �

6,7 w’xy � �

7,15 xyz � �

11,15 wyz � �

8,9,10,11 wx’ � � � �

� � � � � � � � � � � �

Κάνουν τον PI essential Καλύπτονται από EPI Καλύπτονται από όχι EPI

EPIs

F(w,x,y,z) = x’y’z + w’xz’ + wx’ + xyz

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.18 © Θεοχαρίδης, ΗΜΥ, 2016

Μέθοδος Κατάταξης σε Πίνακα

q Υποστηρίζει και συνθήκες αδιαφορίας (don’t care terms) ● Οι αδιάφοροι όροι λαµβάνονται υπόψη στο 1ο µέρος, όπου παράγονται όλοι οι PI

● Δεν περιλαµβάνονται στον 2ο µέρος, αφού οι αδιάφοροι όροι δεν είναι ανάγκη να καλυφθούν

q Π.χ. f(a,b,c,d) = ∑m(1,2,4,5,6,8,9) και f(a,b,c,d) = ∑d(10,11,14,15)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.19 © Θεοχαρίδης, ΗΜΥ, 2016

ΠΑΡΑΔΕΙΓΜΑΤΑ Q-M Method (I)

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

q Transform the given Boolean function into a canonical SOP function

q Convert each Minterm into binary format

q Arrange each binary minterm in groups ● All the minterms in one group contain the same number of

“1”

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.20 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method: Grouping minterms ∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

(29) 1 1 1 0 1 (30) 1 1 1 1 0

(2) 0 0 0 1 0 (4) 0 0 1 0 0 (8) 0 1 0 0 0 (16) 1 0 0 0 0

A B C D E (0) 0 0 0 0 0

(6) 0 0 1 1 0 (10) 0 1 0 1 0 (12) 0 1 1 0 0 (18) 1 0 0 1 0 (7) 0 0 1 1 1 (11) 0 1 0 1 1 (13) 0 1 1 0 1 (14) 0 1 1 1 0 (19) 1 0 0 1 1

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.21 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method (II) q Combine terms with Hamming distance=1 from adjacent

groups

q Check (�) the terms being combined ●  The checked terms are “covered” by the combined new term

q Keep doing this till no combination is possible between adjacent groups

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.22 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method: Grouping minterms

A B C D E �

(0,2) 0 0 0 – 0

(0,4) 0 0 - 0 0 (0,8) 0 - 0 0 0

(0,16) - 0 0 0 0 �

(2,6) 0 0 - 1 0 � (2,10) 0 - 0 1 0

(2,18) - 0 0 1 0 (4,6) 0 0 1 - 0 (4,12) 0 - 1 0 0 (8,10) 0 1 0 - 0 (8,12) 0 1 - 0 0 (16,18) 1 0 0 - 0

(6,7) 0 0 1 1 - (6,14) 0 - 1 1 0 (10,11) 0 1 0 1 - (10,14) 0 1 - 1 0 (12,13) 0 1 1 0 - (12,14) 0 1 1 - 0 (18,19) 1 0 0 1 -

(13,29) - 1 1 0 1 (14,30) - 1 1 1 0

A B C D E (0,2,4,6) 0 0 - – 0

(0,2,8,10) 0 - 0 – 0

(0,2,16,18) - 0 0 – 0

(0,4,8,12) 0 - - 0 0

� �

(2,6,10,14) 0 - - 1 0

(4,6,12,14) 0 - 1 - 0

(8,10,12,14) 0 1 - - 0

A B C D E (0,2,4,6 0 - - - 0 8,10,12,14)

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.23 © Θεοχαρίδης, ΗΜΥ, 2016

Prime Implicants

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

(6,7) 0 0 1 1 -

(10,11) 0 1 0 1 -

(12,13) 0 1 1 0 -

(18,19) 1 0 0 1 -

(13,29) - 1 1 0 1

(14,30) - 1 1 1 0 (0,2,16,18) - 0 0 – 0 (0,2,4,6 0 - - - 0 8,10,12,14)

A B C D E

•  Unchecked terms are prime implicants

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.24 © Θεοχαρίδης, ΗΜΥ, 2016

Prime Implicants

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

CDBA=DCBA=

(6,7) 0 0 1 1 -

(10,11) 0 1 0 1 -

(12,13) 0 1 1 0 -

(18,19) 1 0 0 1 -

(13,29) - 1 1 0 1

(14,30) - 1 1 1 0 (0,2,16,18) - 0 0 – 0 (0,2,4,6 0 - - - 0 8,10,12,14)

A B C D E

•  Unchecked terms are prime implicants

DBCA=DCBA=EDBC=EBCD=ECB=EA=

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.25 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method (III) q Form a Prime Implicant Table

●  X-axis: the minterm ●  Y-axis: prime implicants

q An � is placed at the intersection of a row and column if the corresponding prime implicant includes the corresponding product (term)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.26 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method: Prime Implicant Table

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.27 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method (IV)

q  Locate the essential row from the table ●  These are essential prime implicants ●  The row consists of minterms covered by a single “�”

q Mark all minterms covered by the essential prime implicants

q Find non-essential prime implicants to cover the rest of minterms

q Form the SOP function with the prime implicants selected, which is the minimal representation

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.28 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.29 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

•  Select (0,2,4,6,8,10,12,14)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.30 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

•  Select (0,2,4,6,8,10,12,14)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.31 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

•  Select (0,2,4,6,8,10,12,14), (6,7)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.32 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

•  Select (0,2,4,6,8,10,12,14), (6,7)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.33 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

•  Select (0,2,4,6,8,10,12,14), (6,7), (10,11)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.34 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

•  Select (0,2,4,6,8,10,12,14), (6,7), (10,11)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.35 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

•  Select (0,2,4,6,8,10,12,14), (6,7), (10,11), (0,2,16,18)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.36 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

•  Select (0,2,4,6,8,10,12,14), (6,7), (10,11), (0,2,16,18)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.37 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

•  Select (0,2,4,6,8,10,12,14), (6,7), (10,11), (0,2,16,18), (18,19)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.38 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

•  Select (0,2,4,6,8,10,12,14), (6,7), (10,11), (0,2,16,18), (18,19)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.39 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

•  Select (0,2,4,6,8,10,12,14), (6,7), (10,11), (0,2,16,18), (18,19), (13,29)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.40 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

•  Select (0,2,4,6,8,10,12,14), (6,7), (10,11), (0,2,16,18), (18,19), (13,29)

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.41 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

•  Select (0,2,4,6,8,10,12,14), (6,7), (10,11), (0,2,16,18), (18,19), (13,29), (14,30) •  Now all the minterms are covered by selected prime implicants !

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.42 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

∑= 30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

•  Select (0,2,4,6,8,10,12,14), (6,7), (10,11), (0,2,16,18), (18,19), (13,29), (14,30) •  Now all the minterms are covered by selected prime implicants ! •  Note that (12,13), a non-essential prime implicant, is not needed

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.43 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method Result

0 2 4 6 7 8 10 11 12 13 14 16 18 19 29 30

(6,7) X X

(10,11) X X

(12,13) X X

(18,19) X X

(13,29) X X

(14,30) X X

(0,2,16,18) X X X X

(0,2,4,6,8,10,12,14) X X X X X X X X

EAECBEBCDEDBCDCBADCBACDBA

,10,12,14)(0,2,4,6,8 )(0,2,16,18(14,30)(13,29)(18,19)(10,11)(6,7)

30) 29, 19, 18, 16, 14, 13, 12, 11, 10, 8, 7, 6, 4, 2, m(0,E)D,C,B,F(A,

++++++=

++++++=

=∑

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.44 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method Example 2

q Sometimes, simplification by K-map method could be less than optimal due to human error

q Quine-McCluskey method can guarantee an optimal answer

d(5,7,14)12) 10, 9, 8, 6, 4, 1, m(0,F +=∑

00 01 11 10

00 1 1 0 0

01 1 X X 1

11 1 0 0 X

10 1 1 0 1

AB CD

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.45 © Θεοχαρίδης, ΗΜΥ, 2016

Grouping minterms

(1) 0 0 0 1 (4) 0 1 0 0 (8) 1 0 0 0

A B C D (0) 0 0 0 0

(5) 0 1 0 1 (6) 0 1 1 0 (9) 1 0 0 1 (10) 1 0 1 0 (12) 1 1 0 0

(7) 0 1 1 1 (14) 1 1 1 0

d(5,7,14)12) 10, 9, 8, 6, 4, 1, m(0,F +=∑

A B C D (0,1) 0 0 0 - (0,4) 0 - 0 0 (0,8) - 0 0 0 �

(1,5) 0 - 0 1 (1,9) - 0 0 1 (4,5) 0 1 0 – (4,6) 0 1 – 0 (4,12) – 1 0 0 (8,9) 1 0 0 – (8,10) 1 0 – 0 (8,12) 1 – 0 0

(5,7) 0 1 - 1 (6,7) 0 1 1 - (6,14) - 1 1 0 (10,14) 1 – 1 0 (12,14) 1 1 - 0

� �

A B C D

(4,5,6,7) 0 1 - - (4,6,12,14) - 1 - 0 (8,10,12,14) 1 - - 0

(0,1,4,5) 0 - 0 - (0,1,8,9) - 0 0 – (0,4,8,12) - - 0 0

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.46 © Θεοχαρίδης, ΗΜΥ, 2016

Prime Implicants

d(5,7,14)12) 10, 9, 8, 6, 4, 1, m(0,F +=∑ A B C D

(4,5,6,7) 0 1 - - (4,6,12,14) - 1 - 0 (8,10,12,14) 1 - - 0

(0,1,4,5) 0 - 0 - (0,1,8,9) - 0 0 – (0,4,8,12) - - 0 0

0 1 4 6 8 9 10 12 5 7 14

(0,1,4,5) X X X X

(0,1,8,9) X X X X

(0,4,8,12) X X X X

(4,5,6,7) X X X X

(4,6,12,14) X X X X

(8,10,12,14) X X X X

Don’t Care

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.47 © Θεοχαρίδης, ΗΜΥ, 2016

Prime Implicants

d(5,7,14)12) 10, 9, 8, 6, 4, 1, m(0,F +=∑ A B C D

(4,5,6,7) 0 1 - - (4,6,12,14) - 1 - 0 (8,10,12,14) 1 - - 0

(0,1,4,5) 0 - 0 - (0,1,8,9) - 0 0 – (0,4,8,12) - - 0 0

0 1 4 6 8 9 10 12 5 7 14

(0,1,4,5) X X X X

(0,1,8,9) X X X X

(0,4,8,12) X X X X

(4,5,6,7) X X X X

(4,6,12,14) X X X X

(8,10,12,14) X X X X

Don’t Care

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.48 © Θεοχαρίδης, ΗΜΥ, 2016

Prime Implicants

d(5,7,14)12) 10, 9, 8, 6, 4, 1, m(0,F +=∑ A B C D

(4,5,6,7) 0 1 - - (4,6,12,14) - 1 - 0 (8,10,12,14) 1 - - 0

(0,1,4,5) 0 - 0 - (0,1,8,9) - 0 0 – (0,4,8,12) - - 0 0

0 1 4 6 8 9 10 12 5 7 14

(0,1,4,5) X X X X

(0,1,8,9) X X X X

(0,4,8,12) X X X X

(4,5,6,7) X X X X

(4,6,12,14) X X X X

(8,10,12,14) X X X X

Don’t Care

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.49 © Θεοχαρίδης, ΗΜΥ, 2016

Prime Implicants

d(5,7,14)12) 10, 9, 8, 6, 4, 1, m(0,F +=∑ A B C D

(4,5,6,7) 0 1 - - (4,6,12,14) - 1 - 0 (8,10,12,14) 1 - - 0

(0,1,4,5) 0 - 0 - (0,1,8,9) - 0 0 – (0,4,8,12) - - 0 0

0 1 4 6 8 9 10 12 5 7 14

(0,1,4,5) X X X X

(0,1,8,9) X X X X

(0,4,8,12) X X X X

(4,5,6,7) X X X X

(4,6,12,14) X X X X

(8,10,12,14) X X X X

Don’t Care

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.50 © Θεοχαρίδης, ΗΜΥ, 2016

Prime Implicants

d(5,7,14)12) 10, 9, 8, 6, 4, 1, m(0,F +=∑ A B C D

(4,5,6,7) 0 1 - - (4,6,12,14) - 1 - 0 (8,10,12,14) 1 - - 0

(0,1,4,5) 0 - 0 - (0,1,8,9) - 0 0 – (0,4,8,12) - - 0 0

0 1 4 6 8 9 10 12 5 7 14

(0,1,4,5) X X X X

(0,1,8,9) X X X X

(0,4,8,12) X X X X

(4,5,6,7) X X X X

(4,6,12,14) X X X X

(8,10,12,14) X X X X

Don’t Care

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.51 © Θεοχαρίδης, ΗΜΥ, 2016

Prime Implicants

d(5,7,14)12) 10, 9, 8, 6, 4, 1, m(0,F +=∑ A B C D

(4,5,6,7) 0 1 - - (4,6,12,14) - 1 - 0 (8,10,12,14) 1 - - 0

(0,1,4,5) 0 - 0 - (0,1,8,9) - 0 0 – (0,4,8,12) - - 0 0

0 1 4 6 8 9 10 12 5 7 14

(0,1,4,5) X X X X

(0,1,8,9) X X X X

(0,4,8,12) X X X X

(4,5,6,7) X X X X

(4,6,12,14) X X X X

(8,10,12,14) X X X X

Don’t Care

Essential PI

Essential PI

Non-Essential PI

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.52 © Θεοχαρίδης, ΗΜΥ, 2016

Q-M Method Solution

0 1 4 6 8 9 10 12 5 7 14

(0,1,4,5) X X X X

(0,1,8,9) X X X X

(0,4,8,12) X X X X

(4,5,6,7) X X X X

(4,6,12,14) X X X X

(8,10,12,14) X X X X

A B C D

(4,5,6,7) 0 1 - - (4,6,12,14) - 1 - 0 (8,10,12,14) 1 - - 0

(0,1,4,5) 0 - 0 - (0,1,8,9) - 0 0 – (0,4,8,12) - - 0 0

Don’t Care

BADA CB

d(5,7,14)12) 10, 9, 8, 6, 4, 1, m(0,F

++=

+=∑

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.53 © Θεοχαρίδης, ΗΜΥ, 2016

Yet Another Q-M Method Solution

0 1 4 6 8 9 10 12 5 7 14

(0,1,4,5) X X X X

(0,1,8,9) X X X X

(0,4,8,12) X X X X

(4,5,6,7) X X X X

(4,6,12,14) X X X X

(8,10,12,14) X X X X

A B C D

(4,5,6,7) 0 1 - - (4,6,12,14) - 1 - 0 (8,10,12,14) 1 - - 0

(0,1,4,5) 0 - 0 - (0,1,8,9) - 0 0 – (0,4,8,12) - - 0 0

Don’t Care

DB DA CB

d(5,7,14)12) 10, 9, 8, 6, 4, 1, m(0,F

++=

+=∑

ΗΜΥ210 Δ03 ΕΛΑΧΙΣΤΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΠΡΑΞΕΩΝ.54 © Θεοχαρίδης, ΗΜΥ, 2016

K-Map – Ισοδύναµη µέθοδος

BADA CB

d(5,7,14)12) 10, 9, 8, 6, 4, 1, m(0,F

++=

+=∑

00 01 11 10

00 1 1 0 0

01 1 X X 1

11 1 0 0 X

10 1 1 0 1

AB CD

00 01 11 10

00 1 1 0 0

01 1 X X 1

11 1 0 0 X

10 1 1 0 1

AB CD

DB DA CB

d(5,7,14)12) 10, 9, 8, 6, 4, 1, m(0,F

++=

+=∑