3 η Θεµατική Ενότητα : Απλοποίηση Συναρτήσεων Boole. Επιµέλεια διαφανειών: Χρ. Καβουσιανός

Σχετικά έγγραφα
Πανεπιστήμιο Πατρών Τμήμα Φυσικής Εργαστήριο Ηλεκτρονικής. Ψηφιακά Ηλεκτρονικά. Απλοποίηση Συναρτήσεων Boole. Επιμέλεια Διαφανειών: Δ.

3. Απλοποίηση Συναρτήσεων Boole

Συναρτήσεων Boole. Η Μέθοδος του Χάρτη

Επανάληψη Βασικών Στοιχείων Ψηφιακής Λογικής

ΨΗΦΙΑΚΗ ΛΟΓΙΚΗ ΣΧΕ ΙΑΣΗ

Εισαγωγή. Συνδυαστικά: Οι έξοδοι είναι συνάρτηση των εισόδων

Ύλη Λογικού Σχεδιασµού Ι

Δυαδικές συναρτήσεις Άλγεβρα Boole Λογικά διαγράμματα

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Ψηφιακή Σχεδίαση

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

Ελίνα Μακρή

Ενότητα 5 ΑΠΛΟΠΟΙΗΣΗ ΛΟΓΙΚΩΝ ΣΥΝΑΡΤΗΣΕΩΝ ΔΥΟ ΕΠΙΠΕΔΩΝ

Πανεπιστήμιο Πατρών Τμήμα Φυσικής Εργαστήριο Ηλεκτρονικής. Ψηφιακά Ηλεκτρονικά. Άλγεβρα Boole και Λογικές Πύλες 2. Επιμέλεια Διαφανειών: Δ.

ΜΕΡΟΣ 1 ο : Δυαδικές συναρτήσεις Άλγεβρα Boole Λογικά διαγράμματα

Πρόγραμμα Επικαιροποίησης Γνώσεων Αποφοίτων

ΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 3

Γ2.1 Στοιχεία Αρχιτεκτονικής. Γ Λυκείου Κατεύθυνσης

Απλοποίηση λογικών συναρτήσεων. URL:

Λογική Σχεδίαση Ψηφιακών Συστημάτων

2 η Θεµατική Ενότητα : Άλγεβρα Boole και Λογικές Πύλες. Επιµέλεια διαφανειών: Χρ. Καβουσιανός

2. Άλγεβρα Boole και Λογικές Πύλες

Περίληψη ΗΜΥ-210: Λογικός Σχεδιασµός. Λογικές Πύλες. BUFFER, NAND και NOR. ΗΜΥ 210: Λογικός Σχεδιασµός, Εαρινό Εξάµηνο 2005

ΗΜΥ 210: Σχεδιασμός Ψηφιακών Συστημάτων. Συνδυαστική Λογική / Κυκλώματα

1 η Θεµατική Ενότητα : Αριθµητικά Κυκλώµατα. Επιµέλεια διαφανειών: Χρ. Καβουσιανός

ΗΜΥ-210: Σχεδιασμός Ψηφιακών Συστημάτων

ΨΗΦΙΑΚΑ ΗΛΕΚΤΡΟΝΙΚΑ. ιδάσκων : ρ. Β. ΒΑΛΑΜΟΝΤΕΣ. Πύλες - Άλγεβρα Boole 1

ΚΕΦΑΛΑΙΟ 3 ο Αλγεβρα BOOLE και Λογικές Πύλες

Αρχιτεκτονικές Υπολογιστών BOOLEAN ALGEBRA

2 η Θεµατική Ενότητα : Άλγεβρα Boole και Λογικές Πύλες. Βασικοί Ορισµοί

Κεφάλαιο 4. Λογική Σχεδίαση

Πρόγραμμα Επικαιροποίησης Γνώσεων Αποφοίτων

2 η Θεµατική Ενότητα : Άλγεβρα Boole και Λογικές Πύλες

4 η Θεµατική Ενότητα : Συνδυαστική Λογική. Επιµέλεια διαφανειών: Χρ. Καβουσιανός

ΨΗΦΙΑΚΗ ΛΟΓΙΚΗ ΣΧΕ ΙΑΣΗ

ΨΗΦΙΑΚΗ ΛΟΓΙΚΗ ΣΧΕ ΙΑΣΗ

2 η Θεµατική Ενότητα : Σύνθετα Συνδυαστικά Κυκλώµατα. Επιµέλεια διαφανειών: Χρ. Καβουσιανός

ΑΣΠΑΙΤΕ Εργαστήριο Ψηφιακών Συστημάτων & Μικροϋπολογιστών Εργαστηριακές Ασκήσεις για το μάθημα «Λογική Σχεδίαση» ΑΣΚΗΣΗ 3 ΠΙΝΑΚΕΣ KARNAUGH

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

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ

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

Ηλεκτρονικοί Υπολογιστές ΙΙ

4.1 Θεωρητική εισαγωγή

σύνθεση και απλοποίησή τους θεωρήµατα της άλγεβρας Boole, αξιώµατα του Huntington, κλπ.

Κυκλώµατα µε MSI. υαδικός Αθροιστής & Αφαιρέτης

Συνδυαστικά Λογικά Κυκλώματα

Ψηφιακά Συστήματα. 4. Άλγεβρα Boole & Τεχνικές Σχεδίασης Λογικών Κυκλωμάτων

Πανεπιστήμιο Πατρών Τμήμα Φυσικής Εργαστήριο Ηλεκτρονικής. Ψηφιακά Ηλεκτρονικά. Συνδυαστική Λογική. Επιμέλεια Διαφανειών: Δ.

Εργαστήριο Ψηφιακών Συστηµάτων ΗΜΥ211

9. OIΚΟΥΜΕΝΙΚΕΣ ΠΥΛΕΣ ΠΟΛΛΑΠΛΩΝ ΕΙΣΟ ΩΝ

Ενότητα 4 ΛΟΓΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ ΔΥΟ ΕΠΙΠΕΔΩΝ

ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙ ΕΥΤΙΚΟ Ι ΡΥΜΑ (Τ.Ε.Ι.) ΚΡΗΤΗΣ Τμήμα Εφαρμοσμένης Πληροφορικής & Πολυμέσων. Ψηφιακή Σχεδίαση. Κεφάλαιο 2: Συνδυαστικά Λογικά

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Ψηφιακή Σχεδίαση

100 ΕΡΩΤΗΣΕΙΣ ΜΕ ΤΙΣ ΑΝΤΙΣΤΟΙΧΕΣ ΑΠΑΝΤΗΣΕΙΣ ΓΙΑ ΤΟ ΜΑΘΗΜΑ ΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ

4. ΝΟΜΟΙ ΔΥΑΔΙΚΗΣ ΑΛΓΕΒΡΑΣ

ΒΑΣΙΚΕΣ ΕΞEΙΔΙΚΕΥΣΕΙΣ ΣΕ ΑΡΧΙΤΕΚΤΟΝΙΚΗ ΚΑΙ ΔΙΚΤΥΑ ΥΠΟΛΟΓΙΣΤΩΝ

ΒΑΣΙΚΕΣ ΑΡΧΕΣ ΨΗΦΙΑΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ. Κεφάλαιο 3

Ψηφιακή Σχεδίαση Εργαστήριο Τ.Ε.Ι. ΚΡΗΤΗΣ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜ. ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΧΕΙΜΕΡΙΝΟ ΕΞΑΜΗΝΟ

Εισαγωγή στην Πληροφορική

ΗΜΥ 210: Σχεδιασμός Ψηφιακών Συστημάτων Χειμερινό Εξάμηνο Σεπτέμβριος 09 Συνδιαστικά Λογικά Κυκλώματα. Διδάσκουσα: Μαρία Κ.

5. ΤΕΧΝΙΚΕΣ ΑΠΛΟΠΟΙΗΣΗΣ

ΗΜΥ 210: Σχεδιασμός Ψηφιακών Συστημάτων Σεπτέμβριος 10. Συνδιαστικά Λογικά Κυκλώματα 1

5. ΤΕΧΝΙΚΕΣ ΑΠΛΟΠΟΙΗΣΗΣ

( 1) R s S. R o. r D + -

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Ψηφική Σχεδίαση

Αναλογικά & Ψηφιακά Κυκλώματα ιαφάνειες Μαθήματος ρ. Μηχ. Μαραβελάκης Εμ.

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

Διδάσκουσα: Μαρία Κ. Μιχαήλ. Πανεπιστήμιο Κύπρου Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

Ψηφιακά Συστήματα. 6. Σχεδίαση Συνδυαστικών Κυκλωμάτων

ΗΜΥ-210: Σχεδιασμός Ψηφιακών Συστημάτων Χειμερινό Εξάμηνο 2008

ΗΜΥ 210: Σχεδιασμός Ψηφιακών Συστημάτων Σεπτέμβριος 10. Κεφάλαιο 2: Συνδιαστικά Λογικά Κυκλώματα (Ελαχιστοποίηση με Κατάταξη σε Πίνακα) 1

Ψηφιακά Συστήματα. 5. Απλοποίηση με χάρτες Karnaugh

5.2 ΑΠΛΟΠΟΙΗΣΗ ΜΕ ΤΗΝ ΜΕΘΟΔΟ ΚΑΤΑΤΑΞΗΣ ΣΕ ΠΙΝΑΚΑ

ΗΜΥ-210: Σχεδιασμός Ψηφιακών Συστημάτων Χειμερινό Εξάμηνο 2008

Κεφάλαιο Τρία: Ψηφιακά Ηλεκτρονικά

e-book ΛΟΓΙΚΗ ΣΧΕΔΙΑΣΗ ΑΣΚΗΣΕΙΣ

K15 Ψηφιακή Λογική Σχεδίαση 6: Λογικές πύλες και λογικά κυκλώματα

5.1 Θεωρητική εισαγωγή

K24 Ψηφιακά Ηλεκτρονικά 4: Σχεδίαση Συνδυαστικών Κυκλωμάτων

ΗΜΥ 210 ΣΧΕΔΙΑΣΜΟΣ ΨΗΦΙΑΚΩΝ ΣΥΣΤΗΜΑΤΩΝ. Χειµερινό Εξάµηνο ΔΙΑΛΕΞΗ 3: Αλγοριθµική Ελαχιστοποίηση (Quine-McCluskey, tabular method)

ΨΗΦΙΑΚΑ ΚΥΚΛΩΜΑΤΑ - ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ 2 ΛΟΓΙΚΕΣ ΠΥΛΕΣ OR, NOR, XOR

PLD. Εισαγωγή. 5 η Θεµατική Ενότητα : Συνδυαστικά. PLAs. PLDs FPGAs

ΣΠ. ΛΟΥΒΡΟΣ, Ν. ΣΚΛΑΒΟΣ

C D C D C D C D A B

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2

ΑΝΩΤΑΤΟ ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΙΔΡΥΜΑ ΣΕΡΡΩΝ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ & ΕΠΙΚΟΙΝΩΝΙΩΝ. Ψηφιακά κυκλώματα.

K24 Ψηφιακά Ηλεκτρονικά 6: Πολυπλέκτες/Αποπολυπλέκτες

ΗΜΥ 100 Εισαγωγή στην Τεχνολογία

Βοηθητικές Σημειώσεις στη ΛΟΓΙΚΗ ΣΧΕΔΙΑΣΗ

K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole

- 1 - Ασκήσεις Ψηφιακών Συστημάτων

1 η Θεµατική Ενότητα : Δυαδικά Συστήµατα

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ

K15 Ψηφιακή Λογική Σχεδίαση 7-8: Ανάλυση και σύνθεση συνδυαστικών λογικών κυκλωμάτων

2 Ο ΓΕΛ ΣΤΑΥΡΟΥΠΟΛΗΣ ΣΧΟΛΙΚΟ ΕΤΟΣ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ ΕΠΙΜΕΛΕΙΑ : ΧΑΛΑΤΖΙΑΝ ΠΑΥΛΟΣ

ΓΡΑΠΤΕΣ ΠΡΟΑΓΩΓΙΚΕΣ ΕΞΕΤΑΣΕΙΣ ΜΑΪΟΥ/ΙΟΥΝΙΟΥ 2014

f(x, y, z) = y z + xz

6. Σχεδίαση Κυκλωμάτων Λογικής Κόμβων (ΚΑΙ), (Η)

6. ΟΙΚΟΥΜΕΝΙΚΕΣ ΠΥΛΕΣ

Σ ή. : υαδικά. Ε ό. ή Ενότητα

ΑΣΚΗΣΗ 3 ΣΥΝΔΥΑΣΤΙΚΑ ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ: ΑΝΑΛΥΣΗ ΚΑΙ ΣΧΕΔΙΑΣΗ

Transcript:

3 η Θεµατική Ενότητα : Απλοποίηση Συναρτήσεων oole Επιµέλεια διαφανειών: Χρ. Καβουσιανός

Απλοποίηση Συναρτήσεων oole Ø Η πολυπλοκότητα του κυκλώµατος που υλοποιεί µια συνάρτηση oole σχετίζεται άµεσα µε την πολυπλοκότητα της αλγεβρικής έκφρασης από την οποία η συνάρτηση υλοποιείται. Ø Αν και η αναπαράσταση µιας συνάρτησης oole µε πίνακα αλήθειας είναι µοναδική, η αλγεβρική της αναπαράσταση µπορεί να πάρει πολλές µορφές. Ø Η απλοποίηση συναρτήσεων oole µε χρήση αλγεβρικών µετασχηµατισµών είναι δύσχρηστη καθώς δεν έχει συγκεκριµένους κανόνες. Ø Η µέθοδος του χάρτη (χάρτης Karnough) είναι µια απλή και συστηµατική µέθοδος για την απλοποίηση συναρτήσεων oole σε ελάχιστο πλήθος παραγόντων. Απλοποίηση Συναρτήσεων Βoole 2

Η Μέθοδος του Χάρτη Ø Ο χάρτης είναι ένα διάγραµµα αποτελούµενο από τετράγωνα. Ø Κάθε τετράγωνο παριστάνει ένα ελαχιστόρο. Ø Μια συνάρτηση oole αναγνωρίζεται γραφικά στο χάρτη από την περιοχή που καλύπτουν τα τετράγωνα των ελαχιστόρων που περιέχονται στη συνάρτηση. Ø Ο χάρτης είναι ένα διάγραµµα όλων των δυνατών τρόπων µε τους οποίους µια συνάρτηση µπορεί να εκφραστεί σε πρότυπη µορφή. Απλοποίηση Συναρτήσεων Βoole 3

Χάρτης Δυο (2) Μεταβλητών Ο χάρτης περιέχει 4 τετράγωνα, ένα για κάθε ελαχιστόρο. m m m m y x x y x y m m m 2 m 3 xy xy Κωδικοποίηση Gray Το x εµφανίζεται ως συµπλήρωµα στη γραµµή και κανονικά στη γραµµή. Το y εµφανίζεται ως συµπλήρωµα στη στήλη και κανονικά στη στήλη. Στόχος: η δηµιουργία οµάδων από γειτονικούς άσσους Απλοποίηση Συναρτήσεων Βoole 4

Χάρτης Δυο (2) Μεταβλητών x y F x'y' x'y xy' xy y x F = x'y' + x'y = x'(y' + y) = x'() = x' Oι δύο µονάδες του χάρτη έχουν διαφορετική την τιµή του y. Και οι δύο µονάδες του χάρτη έχουν κοινή την τιµή x'. Διατηρείται F = x' Απλοποιείται Απλοποίηση Συναρτήσεων Βoole 5

Χάρτης Δυο (2) Μεταβλητών Παραδείγµατα y x y x F = xy = Σ(3) = m 3 F = x'y + xy = y y x y x F = xy' + xy = x F = x'y' + xy' = y' Απλοποίηση Συναρτήσεων Βoole 6

Χάρτης Δυο (2) Μεταβλητών Βασικός στόχος: Κάθε µονάδα στον χάρτη πρέπει να συµµετέχει σε τουλάχιστον µία οµάδα y x F = y' + xy Αιτία: η µονάδα δεν ανήκει σε µεγάλη οµάδα y x Συµµετέχει σε πολλαπλές οµάδες Η απλοποίηση δεν είναι ικανοποιητική γιατί: F = (y' + x)(y' + y) = y' + x F = y' + x Συµπέρασµα: κάθε µονάδα πρέπει να συµπεριλαµβάνεται στη µεγαλύτερη δυνατή οµάδα Απλοποίηση Συναρτήσεων Βoole 7

Χάρτης Δυο (2) Μεταβλητών Παραδείγµατα: y x y x y x y x F = x+y F = x'+y F = x'+y' F = Προσοχή: επιλέγουµε πάντα οµάδες των, 2, 4, 8, 6,... µονάδων του χάρτη Απλοποίηση Συναρτήσεων Βoole 8

Χάρτης Τριών (3) Μεταβλητών Ο χάρτης περιέχει 8 τετράγωνα, ένα για κάθε ελαχιστόρο. Οι ελαχιστόροι τοποθετούνται σε σειρά όµοια µε τον κώδικα Gray. x y z m m m 2 m 3 m 4 m m m m m m m m m 5 m m m 3 m 2 Κώδικας Gray m 6 m 7 m 4 m 5 m 7 m 6 Απλοποίηση Συναρτήσεων Βoole 9

Χάρτης Τριών (3) Μεταβλητών yz Κάθε δύο γειτονικά τετράγωνα διαφέρουν σε µία µεταβλητή (κανονική/ συµπληρωµατική) Διαγραφή µεταβλητής και απλοποίηση αθροίσµατος πχ. m 5 +m 7 = xy z+xyz = xz(y +y) = xz Απλοποίηση Συναρτήσεων Βoole

bc a m m m m m m m m Χάρτης Τριών (3) Μεταβλητών bc a m m m m m m m m a bc m m m m m m m m Οµάδα Δύο Ελαχιστόρων m +m = m - = b'c' Οµάδα Τεσσάρων Ελαχιστόρων m +m +m +m = m -- = b Οµάδα Οκτώ Ελαχιστόρων m +m +m +m + m +m +m +m = Υπάρχουν πολλές πιθανές οµάδες των 2 και 4 ελαχιστόρων Απλοποίηση Συναρτήσεων Βoole

Χάρτης Τριών (3) Μεταβλητών Το άθροισµα δύο ελαχιστόρων της συνάρτησης που βρίσκονται σε γειτονικά τετράγωνα απλοποιείται σε ένα όρο ΚΑΙ µε δύο µόνο παράγοντες. Απλοποίηση Συναρτήσεων Βoole 2

Τέσσερα γειτονικά τετράγωνα yz Κώδικας Gray Κάθε τέσσερα γειτονικά τετράγωνα διαφέρουν σε δύο µεταβλητές Διαγραφή µεταβλητών και απλοποίηση αθροίσµατος πχ. m +m 3 +m 5 +m 7 = x y z+x yz+xy z+xyz = x z(y +y) + xz(y +y) = x z+xz = (x +x)z = z Απλοποίηση Συναρτήσεων Βoole 3

Χάρτης Τριών (3) Μεταβλητών Το άθροισµα τεσσάρων ελαχιστόρων της συνάρτησης που βρίσκονται σε γειτονικά τετράγωνα απλοποιείται σε ένα όρο µε ένα µόνο παράγοντα. Απλοποίηση Συναρτήσεων Βoole 4

Χάρτης Τριών (3) Μεταβλητών Το άθροισµα οκτώ ελαχιστόρων της συνάρτησης που βρίσκονται σε γειτονικά τετράγωνα καταλαµβάνει όλο το χάρτη και παριστάνει τη συνάρτηση που είναι πάντα ίση µε. Απλοποίηση Συναρτήσεων Βoole 5

Χάρτης Τριών (3) Μεταβλητών Απλοποίηση Συναρτήσεων Βoole 6

Χάρτης Τριών (3) Μεταβλητών Απλοποίηση Συναρτήσεων Βoole 7

Χάρτης Τριών (3) Μεταβλητών Η οµάδα x'z δεν είναι βέλτιστη Η οριζόντια τετράδα δίνει απλοποιούµενη τον όρο x' F(x,y,z) = x' + z' Απλοποίηση Συναρτήσεων Βoole 8

Παραδείγµατα Χάρτη Τριών (3) Μεταβλητών F(x,y,z) = Σ(2,3,4,5) x yz+ x yz = x y xy z + xy z = xy F(x,y,z) = x y+xy F(x,y,z) = Σ(3,4,6,7) x yz+ xyz= yz xy z + xyz = xz F(x,y,z) = yz+xz Απλοποίηση Συναρτήσεων Βoole 9

Παραδείγµατα Χάρτη Τριών (3) Μεταβλητών Η οµαδοποίηση γειτονικών τετραγώνων µπορεί να γίνει σε οµάδες 2, 4, 8 (2 n ) F(x,y,z) = Σ(,2,4,5,6) F(x,y,z) = z +xy F(,,C) = C+ + C+C F(,,C) = Σ(,2,3,5,7) = C + Απλοποίηση Συναρτήσεων Βoole 2

Χάρτης Τριών (3) Μεταβλητών Απλοποίηση Συναρτήσεων Βoole 2

Χάρτης Τεσσάρων (4) Μεταβλητών Ο χάρτης περιέχει 6 τετράγωνα, ένα για κάθε ελαχιστόρο. Οι ελαχιστόροι τοποθετούνται σε σειρά όµοια µε τον κώδικα Gray. Κάθε 2 n γειτονικά τετράγωνα διαφέρουν σε n µεταβλητές και οδηγούν σε έναν όρο ΚΑΙ µε k n παράγοντες, όπου k το πλήθος των µεταβλητών της συνάρτησης. 2 τετράγωνα: όρος µε 3 µεταβλητές 4 τετράγωνα: όρος µε 2 µεταβλητές 8 τετράγωνα: όρος µε µεταβλητή Απλοποίηση Συναρτήσεων Βoole 22

Χάρτης Τεσσάρων (4) Μεταβλητών Απλοποίηση Συναρτήσεων Βoole 23

Χάρτης Τεσσάρων (4) Μεταβλητών C C C C C C C C C C C C Απλοποίηση Συναρτήσεων Βoole 24

Χάρτης Τεσσάρων (4) Μεταβλητών C C C C C C C C C C C C Απλοποίηση Συναρτήσεων Βoole 25

Χάρτης Τεσσάρων (4) Μεταβλητών C C C C C C C C C C C C Απλοποίηση Συναρτήσεων Βoole 26

Χάρτης Τεσσάρων (4) Μεταβλητών C C C C C C C C C C C C Απλοποίηση Συναρτήσεων Βoole 27

Χάρτης Τεσσάρων (4) Μεταβλητών C C C C C C C C Απλοποίηση Συναρτήσεων Βoole 28

Χάρτης Τεσσάρων (4) Μεταβλητών C C C C C C C C Απλοποίηση Συναρτήσεων Βoole 29

Χάρτης Τεσσάρων (4) Μεταβλητών C C C C C C C C C C C C Απλοποίηση Συναρτήσεων Βoole 3

Χάρτης Τεσσάρων (4) Μεταβλητών C C C C C C C C C C C C Απλοποίηση Συναρτήσεων Βoole 3

C C Χάρτης Τεσσάρων (4) Μεταβλητών C C C C C C Απλοποίηση Συναρτήσεων Βoole 32

Χάρτης Τεσσάρων (4) Μεταβλητών C C C C C C C C Απλοποίηση Συναρτήσεων Βoole 33

Χάρτης Τεσσάρων (4) Μεταβλητών C C C C C C C C Απλοποίηση Συναρτήσεων Βoole 34

Χάρτης Τεσσάρων (4) Μεταβλητών Απλοποίηση Συναρτήσεων Βoole 35

Χάρτης Τεσσάρων (4) Μεταβλητών Απλοποίηση Συναρτήσεων Βoole 36

Χάρτης Τεσσάρων (4) Μεταβλητών Απλοποίηση Συναρτήσεων Βoole 37

Χάρτης Τεσσάρων (4) Μεταβλητών Απλοποίηση Συναρτήσεων Βoole 38

Χάρτης Τεσσάρων (4) Μεταβλητών Να απλοποιηθεί η συνάρτηση F(w,x,y,z) = Σ(,, 2, 4, 5, 6, 8, 9, 2, 3, 4) F(w,x,y,z) = w x y z + w x y z+ w x yz + w xy z + w xy z+ w xyz + wx y z + wx y z+ wxy z + wxy z+ wxyz Αποτέλεσµα: F(w,x,y,z) = y + w z + xz Απλοποίηση Συναρτήσεων Βoole 39

Παραδείγµατα Χάρτη Τεσσάρων (4) Μεταβλητών Να απλοποιηθεί η συνάρτηση F(Α,Β,C,)= C + C + C + C Ο όρος C πρέπει να µετατραπεί σε άθροισµα ελαχιστόρων, οπότε: C = C (+ )= C + C =Σ(,) Με όµοιο τρόπο για κάθε παράγοντα η παραπάνω συνάρτηση γίνεται: F(,,C,)=Σ(,,2,6,8,9,) F(,,C,) = + C + C Απλοποίηση Συναρτήσεων Βoole 4

Κριτήρια Απλοποίησης Κάλυψη όλων των µονάδων Δηµιουργία οµάδων 2, 4, 8, µονάδων κλπ Πολλαπλή χρήση µονάδων Επιλογή µέγιστων οµάδων Κάλυψη µονάδων µία τουλάχιστον φορά παιτείται συστηµατική επιλογή Απλοποίηση Συναρτήσεων Βoole 4

Πρώτοι Συνεπαγωγοί Ελαχιστόροι Συνεπαγωγοί Πρώτοι Συνεπαγωγοί Minterms Implicants Prime Implicants ab cd ab cd ab cd * * ** ** Σε κάθε απλοποίηση πρέπει να επιλέγονται πρώτοι συνεπαγωγοί Απλοποίηση Συναρτήσεων Βoole 42

Πρώτοι Συνεπαγωγοί Πρώτος Συνεπαγωγός: ένα γινόµενο παραγόντων που σχηµατίζεται συνδυάζοντας τον µεγαλύτερο δυνατό αριθµό γειτονικών τετραγώνων. Ø Ο πρώτος συνεπαγωγός έχει τον ελάχιστο αριθµό µεταβλητών Ø Κάθε συνάρτηση πρέπει να απλοποιείται χρησιµοποιώντας µόνο πρώτους συνεπαγωγούς για να ελαχιστοποιείται το κόστος αυτής. Ø Όσο λιγότεροι πρώτοι συνεπαγωγοί χρησιµοποιηθούν, τόσο απλούστερη είναι η συνάρτηση. Ø Συνήθως υπάρχουν περισσότεροι από έναν πρώτοι συνεπαγωγοί που καλύπτουν κάποιον άσσο. Πως κάνουµε την επιλογή; Απλοποίηση Συναρτήσεων Βoole 43

Παράδειγµα πλεονάζουσας κάλυψης Παράδειγµα πλεονάζουσας κάλυψης συνάρτησης ab cd Πλεονάζουσα Κάλυψη Συνάρτησης ** ** ** ** Ο ένας Πως µπορεί κάνουµε να την παραλειφθεί επιλογή; Απλοποίηση Συναρτήσεων Βoole 44

Παράδειγµα πλεονάζουσας κάλυψης C C C C C C C C C C Τελικά η µπλε οµάδα χρειάζεται;;;; Απλοποίηση Συναρτήσεων Βoole 45

Ουσιώδης Πρώτοι Συνεπαγωγοί Ουσιώδης Πρώτος Συνεπαγωγός Εκείνος ο πρώτος συνεπαγωγός που καλύπτει έναν ελαχιστόρο που δεν καλύπτει κανένας άλλος πρώτος συνεπαγωγός. C C Ουσιώδης C C Μη ουσιώδης Καλύπτουµε πρώτα τους ουσιώδης και µετά τους µη-ουσιώδης πρώτους συνεπαγωγούς Απλοποίηση Συναρτήσεων Βoole 46

Ουσιώδης Πρώτοι Συνεπαγωγοί Παράδειγµα: έστω η συνάρτηση F(,,C,)=Σ(,2,3,5,7,8,9,,,3, 5) Ελαχιστόροι (m, m 5 ) που καλύπτονται µόνο από έναν PI Ουσιώδης PI:, C C Οι ουσιώδης PI καλύπτουν επίσης και τους ελαχιστόρους m 2, m 7, m 8, m, m 3, m 5 Αποµένουν για κάλυψη οι ελαχιστόροι m 3, m 9, m Απλοποίηση Συναρτήσεων Βoole 47

Ουσιώδης Πρώτοι Συνεπαγωγοί Για την κάλυψη των m 3, m 9, m έχουµε πολλούς πιθανούς Prime Implicants: C C m 3 : C, C m 9 :, m : C, C,, Καλύπτουν και τον m Άρα χρησιµοποιούνται οι ουσιώδης PI και ένα από τους πιθανούς συνδυασµούς των PI που καλύπτουν τους m 3, m 9. F=(+ )+ {(C+) or (C + ) or ( C+ ) or ( C+ )} Απλοποίηση Συναρτήσεων Βoole 48

Χάρτης Πέντε (5) µεταβλητών Απλοποίηση Συναρτήσεων Βoole 49

Χάρτης Πέντε (5) µεταβλητών Απλοποίηση Συναρτήσεων Βoole 5

Χάρτης Πέντε (5) µεταβλητών Απλοποίηση Συναρτήσεων Βoole 5

Χάρτης Πέντε (5) µεταβλητών Απλοποίηση Συναρτήσεων Βoole 52

Χάρτης Πέντε (5) µεταβλητών Απλοποίηση Συναρτήσεων Βoole 53

Χάρτης Πέντε (5) µεταβλητών Απλοποίηση Συναρτήσεων Βoole 54

Χάρτης Πέντε (5) µεταβλητών Απλοποίηση Συναρτήσεων Βoole 55

Χάρτης Πέντε (5) µεταβλητών Απλοποίηση Συναρτήσεων Βoole 56

Χάρτης Πέντε (5) µεταβλητών Απλοποίηση Συναρτήσεων Βoole 57

Παράδειγµα Χάρτη Πέντε (5) Μεταβλητών F(Α, Β, C,, E) = Σ(, 2, 4, 6, 9, 3, 2, 23, 25, 29, 3) F(,, C,, E) = E + E + CE Απλοποίηση Συναρτήσεων Βoole 58

Κανόνες Απλοποίησης. Καλύπτουµε όλους τους ουσιώδης πρώτους συνεπαγωγούς. 2. Καλύπτουµε υποχρεωτικά όλες τις µονάδες του χάρτη (κάθε µονάδα πρέπει να συµµετάσχει σε τουλάχιστον µία οµάδα). 3. Χρησιµοποιούµε µόνο πρώτους συνεπαγωγούς 4. Μία µονάδα µπορεί να συµµετάσχει σε περισσότερες από µία οµάδες εάν αυτό είναι αναγκαίο. 5. Μία µονάδα που καλύπτεται από µία οµάδα δεν απαιτείται να καλυφθεί ξανά. Απλοποίηση Συναρτήσεων Βoole 59

Απλοποίηση Γινοµένων Αθροισµάτων Βασική αρχή: m +m + = M M Άθροισµα γινοµένων Διαδικασία απλοποίησης για γινόµενο αθροισµάτων Ø Φτιάχνουµε το χάρτη της F όπως γνωρίζουµε. Γινόµενο Αθροισµάτων Ø Απλοποιούµε την F, συνδυάζοντας τα µηδενικά (αντί για τους άσσους). Ø Το αποτέλεσµα είναι ένα ελαχιστοποιηµένο άθροισµα γινοµένων. Ø Αντιστρέφουµε την F µε το θεώρηµα e Morgan, οπότε προκύπτει η F ως γινόµενο αθροισµάτων. Απλοποίηση Συναρτήσεων Βoole 6

Απλοποίηση Γινοµένων Αθροισµάτων Άθροισµα Γινοµένων (συνδυασµός άσσων) F(,,C,) = Σ(,,2,5,8,9,), F = + C + C Γινόµενο Αθροισµάτων (συνδυασµός µηδενικών) F (,,C,) = Σ(3,4,6,7,,2,3,4,5) = + C +, F(,,C,) = F (,,C,)= + C + =( + ) (C + ) ( +) Παράδειγµα: Έστω η συνάρτηση F(,,C,) = Σ(,,2,5,8,9,) Απλοποίηση Συναρτήσεων Βoole 6

Απλοποίηση Γινοµένων Αθροισµάτων Η υλοποίηση του κυκλώµατος σε αυτές τις περιπτώσεις είναι διεπίπεδη N-OR (άθροισµα γινοµένων) ή OR-N F = + C + C = ( + ) (C + ) ( +) Πρώτο επίπεδο Δεύτερο επίπεδο Απλοποίηση Συναρτήσεων Βoole 62

Υλοποίηση µε πύλες ΌΧΙ-ΚΑΙ & ΟΥΤΕ Οι πύλες ΌΧΙ-ΚΑΙ & ΟΥΤΕ χρησιµοποιούνται πολύ συχνότερα από τις ΚΑΙ & Ή γιατί κατασκευάζονται ευκολότερα. Απλοποίηση Συναρτήσεων Βoole 63

Οικουµενικότητα Πύλης ΟΧΙ-ΚΑΙ Οικουµενική Πύλη: Κάθε ψηφιακό σύστηµα µπορεί να υλοποιηθεί µε αυτή. Συνδυαστική Λογική 64

Υλοποίηση η µε πύλες ΌΧΙ-ΚΑΙ Η συνάρτηση θα πρέπει να είναι απλοποιηµένη σε άθροισµα γινοµένων.. Απλοποιούµε τη συνάρτηση σε άθροισµα γινοµένων. 2. Σχεδιάζουµε µια πύλη ΟΧΙ-ΚΑΙ για κάθε όρο γινοµένου µε > παράγοντες. 3. Σχεδιάζουµε µία πύλη ΟΧΙ-ΚΑΙ στο δεύτερο επίπεδο. 4. Όροι µε έναν παράγοντα χρησιµοποιούν αντιστροφέα. Παράδειγµα: Υλοποίηση της συνάρτησης F=+C+E µε πύλες ΌΧΙ-ΚΑΙ. Απλοποίηση Συναρτήσεων Βoole 65

Παράδειγµα Απλοποίηση Συναρτήσεων Βoole 66

Παράδειγµα Έστω η συνάρτηση F(x, y, z) = Σ(,2,3,4,5,7) Απλοποίηση Συναρτήσεων Βoole 67

Υλοποίηση 2 η µε πύλες ΌΧΙ-ΚΑΙ Εναλλακτικά µπορούµε να απλοποιήσουµε την F σε άθροισµα γινοµένων (µε συνδυασµό των µηδενικών). Τελικά προσθέτουµε και έναν αντιστροφέα στην έξοδο. Παράδειγµα: Υλοποίηση της συνάρτησης F=Σ(,2,3,8,,,2,4,5) µε πύλες ΌΧΙ-ΚΑΙ. C C Η συµπληρωµατική είναι η F =Σ(,4,5,6,7,9,3) Απλοποίηση F = Α Β+C άρα F= Α Β+C = Α Β C = = Α Β C Απλοποίηση Συναρτήσεων Βoole 68

Υλοποίηση 2 η µε πύλες ΌΧΙ-ΚΑΙ F= Α Β+C () C F (3) F (2) C F C Απλοποίηση Συναρτήσεων Βoole 69

Παράδειγµα Υλοποίησης µε πύλες ΌΧΙ-ΚΑΙ F(x,y,z) =Σ(,6) Απλοποίηση Συναρτήσεων Βoole 7

Κυκλώµατα ΟΧΙ-ΚΑΙ Πολλαπλών Επιπέδων. Σχεδιάζουµε το λογικό διάγραµµα µε πύλες ΚΑΙ, Η και ΌΧΙ. 2. Μετατρέπουµε όλες τις πύλες ΚΑΙ σε ΌΧΙ-ΚΑΙ µε σύµβολα ΚΑΙ-αντιστροφής. 3. Μετατρέπουµε όλες τις πύλες Η σε ΌΧΙ-ΚΑΙ µε σύµβολα αντιστροφής-η. 4. Για κάθε κύκλο που δεν αναιρείται βάζουµε έναν αντιστροφέα. Συνδυαστική Λογική 7

Υλοποίηση ΌΧΙ-ΚΑΙ Πολλαπλών Επιπέδων F(Α, Β, C, ) = (C + ) + C' Απλοποίηση Συναρτήσεων Βoole 72

Υλοποίηση ΌΧΙ-ΚΑΙ Πολλαπλών Επιπέδων F(Α, Β, C, ) = (' + ') (C+') Απλοποίηση Συναρτήσεων Βoole 73

Παράδειγµα () F=+( +C)( +E ) Συνδυαστική Λογική 74

Παράδειγµα (2) F=(C+E)(+ ) Συνδυαστική Λογική 75

Υλοποίηση µε πύλες ΟΥΤΕ Η συνάρτηση ΟΥΤΕ είναι το δυϊκό της ΌΧΙ-ΚΑΙ και άρα οι κανόνες µετατροπής είναι δυϊκοί. Ø Η συνάρτηση θα πρέπει να είναι απλοποιηµένη σε γινόµενο αθροισµάτων. Ø Και εδώ µπορούµε να υλοποιήσουµε την F σε γινόµενο αθροισµάτων και να τοποθετήσουµε τελικά έναν αντιστροφέα Απλοποίηση Συναρτήσεων Βoole 76

x yz Παράδειγµα Υλοποίησης µε πύλες ΟΥΤΕ F(x,y,z) = Σ(,6) F = x y + xy + z è F = (x + y )(x + y)z x z x z y y Απλοποίηση Συναρτήσεων Βoole 77

Συνθήκες Αδιαφορίας Συµβολίζονται µε και αντιστοιχούν σε συνδυασµούς εισόδων που δεν ορίζονται για µία συνάρτηση. Π.χ. F(w,x,y,z)=Σ(,3,7,,5) µε συνθήκες αδιαφορίας d(w,x,y,z)=σ(,2,5) yz wx yz wx F = yz + w x = Σ(,,2,3,7,,5) F = yz + w z = Σ(,3,5,7,,5) Οι αδιάφοροι όροι µπορούν να χρησιµοποιηθούν ως άσσοι ή µηδενικά ανάλογα µε την απλοποίηση που οδηγεί στο µικρότερο κύκλωµα. Απλοποίηση Συναρτήσεων Βoole 78

Η Συνάρτηση Αποκλειστικό Ή Αποκλειστικό Ή (XOR) x y = x y + xy Σχ. Αντιστρ. Αποκλειστικό OYTE (XNOR) (x y) = xy + x y Ø Ιδιότητες: x = x x = x x x = x x = x y = (x y) x y = (x y) Ø Η πράξη XOR είναι αντιµεταθετική και προσεταιριστική: = ( C) = ( ) C = C Ø Δεν φτιάχνονται συχνά πύλες XOR µε περισσότερες από 2 εισόδους. Συνδυαστική Λογική 79

Η Συνάρτηση Αποκλειστικό Ή Συνδυαστική Λογική 8

Η Συνάρτηση Αποκλειστικό Ή Η συνάρτηση XOR πολλών µεταβλητών είναι περιττή: παίρνει τιµή µόνο όταν περιττός αριθµός εισόδων είναι ίσος µε. Συνδυαστική Λογική 8

Η περιττή συνάρτηση 3 µεταβλητών C F F = ''C+'C'+'C'+C = '('C + C') + ('C' + C) = '( xor C) + ( xor C)' Θέτουµε Υ = Β xor C F = 'Y+Y' = xor Y F = xor xor C Συνδυαστική Λογική 82

Η άρτια συνάρτηση 3 µεταβλητών C F F = ''C'+'C+'C+C' = '('C' + C) + ('C + C') = '( xor C)' + ( xor C) Θέτουµε Υ = Β xor C F = 'Y'+Y = ( xor Y)' F = ( xor xor C)' Συνδυαστική Λογική 83

Περιττή 'Αρτια Συνάρτηση 4 Μεταβλητών Συνδυαστική Λογική 84

Γεννήτρια και Ελεγκτής Ισοτιµίας Συνδυαστική Λογική 85

Γεννήτρια και Ελεγκτής Ισοτιµίας Τα κυκλώµατα αυτά χρησιµοποιούνται στην ανίχνευση λαθών κατά τη µετάδοση ή λειτουργία των κυκλωµάτων. Το bit ισοτιµίας είναι περιττή πληροφορία η οποία όµως µπορεί να χρησιµοποιηθεί για την ανίχνευση µονού αριθµού λαθών. Συνδυαστική Λογική 86