επανενεργοποιηθεί Βιομηχανικά Ηλεκτρονικά - Κ.Ι.Κυριακόπουλος Control Systems Laboratory

Σχετικά έγγραφα
Κεφάλαιο 5 Διασύνδεση Αναλογικών & Ψηφιακών Συστηµάτων

C D C D C D C D A B

Κεφάλαιο 5 Διασύνδεση Αναλογικών & Ψηφιακών Συστημάτων

Κεφαλαιο 4 Ψηφιακή Λογική & Συστήματα

Κεφάλαιο 5 Διασύνδεση Αναλογικών & Ψηφιακών Συστηµάτων

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

Κεφαλαιο 4 Ψηφιακή Λογική & Συστήµατα

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

Ελίνα Μακρή

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

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

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

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

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

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

Γενικά Στοιχεία Ηλεκτρονικού Υπολογιστή

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

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

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

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

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

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

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

Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές

ΠΛΗ10 Κεφάλαιο 2. ΠΛH10 Εισαγωγή στην Πληροφορική: Τόμος Α Κεφάλαιο: : Αριθμητική περιοχή της ALU 2.5: Κυκλώματα Υπολογιστών

"My Binary Logic" Ένας προσομοιωτής λογικών πυλών στο Scratch

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

Πράξεις με δυαδικούς αριθμούς

9 ο Μαθητικό Συνέδριο Πληροφορικής Κεντρικής Μακεδονίας. "My Binary Logic" Ένας προσομοιωτής λογικών πυλών στο Scratch

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

Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1

Ψηφιακά Συστήματα. 3. Λογικές Πράξεις & Λογικές Πύλες

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

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

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

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

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

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

Κεφάλαιο 4 : Λογική και Κυκλώματα

Μάθημα 0: Εισαγωγή. Λευτέρης Καπετανάκης. ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΙΔΡΥΜΑ ΚΡΗΤΗΣ ΤΜΗΜΑ ΗΛΕΚΤΡΟΝΙΚΗΣ Άνοιξη 2011

Κεφάλαιο 2 Διαχείριση Σηµάτων σε Ψηφιακά Συστήµατα Ελέγχου

Ελίνα Μακρή

Προγραμματισμός Ηλεκτρονικών Υπολογιστών 1

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

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

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

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

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

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

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

ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΠΑΓΚΥΠΡΙΕΣ ΕΞΕΤΑΣΕΙΣ 2016

Ταλαντωτές. LC: σε ταλαντωτές συχνοτήτων άνω του 1 ΜΗz (σε τηλεπικοινωνιακές διατάξεις). RC: για συχνότητες μέχρι και 1 ΜΗz.

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

Εκτέλεση πράξεων. Ψηφιακά Ηλεκτρονικά και Δυαδική Λογική. Πράξεις με δυαδικούς αριθμούς. Πράξεις με δυαδικούς αριθμούς

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

ΑΣΚΗΣΗ 1 ΛΟΓΙΚΕΣ ΠΥΛΕΣ

Εισαγωγή στους Υπολογιστές

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

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

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

ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΠΑΓΚΥΠΡΙΕΣ ΕΞΕΤΑΣΕΙΣ 2016

Περιεχόμενα. Πρώτο Κεφάλαιο. Εισαγωγή στα Ψηφιακά Συστήματα. Δεύτερο Κεφάλαιο. Αριθμητικά Συστήματα Κώδικες

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

Μετατροπή Αναλογικού Σήµατος σε. Ψηφιακό (A/D Conversion) Μετατροπή Ψηφιακού Σήµατος σε Αναλογικό (D/A Conversion)

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

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

ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΠΑΓΚΥΠΡΙΕΣ ΕΞΕΤΑΣΕΙΣ 2016

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

ΠΕΡΙΕΧΟΜΕΝΑ. Πρόλογος...9 ΚΕΦ. 1. ΑΡΙΘΜΗΤΙΚΑ ΣΥΣΤΗΜΑΤΑ - ΚΩΔΙΚΕΣ

Κεφάλαιο 2 Διαχείριση Σηµάτων σε Ψηφιακά Συστήµατα Ελέγχου

Εισαγωγή στη Γλώσσα VHDL

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

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

ΑΣΚΗΣΗ 4 ΠΡΟΒΛΗΜΑΤΑ ΛΟΓΙΚΗΣ ΣΧΕΔΙΑΣΗΣ

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

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

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

Βασικές CMOS Λογικές οικογένειες (CMOS και Domino)

Λογικές πύλες: Οι στοιχειώδεις δομικοί λίθοι των κυκλωμάτων

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

Υ52 Σχεδίαση Ψηφιακών Ολοκληρωμένων Κυκλωμάτων και Συστημάτων. Δεληγιαννίδης Σταύρος Φυσικός, MsC in Microelectronic Design

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

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

Ενότητα 2 ΑΛΓΕΒΡΑ BOOLE ΛΟΓΙΚΕΣ ΠΥΛΕΣ

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

Οικουμενικές Πύλες (ΝΑΝD NOR), Πύλη αποκλειστικού Η (XOR) και Χρήση KarnaughMaps

Ιατρικά Ηλεκτρονικά. Δρ. Π. Ασβεστάς Εργαστήριο Επεξεργασίας Ιατρικού Σήματος & Εικόνας Τμήμα Τεχνολογίας Ιατρικών Οργάνων

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

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

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

Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές. 6 ο Μάθημα. Λεωνίδας Αλεξόπουλος Λέκτορας ΕΜΠ. url:

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

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

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

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

Ελίνα Μακρή

Παράσταση αριθμών «κινητής υποδιαστολής» floating point

ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΚΑΙ ΠΟΛΙΤΙΣΜΟΥ ΔΙΕΥΘΥΝΣΗ ΑΝΩΤΕΡΗΣ ΚΑΙ ΑΝΩΤΑΤΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΥΠΗΡΕΣΙΑ ΕΞΕΤΑΣΕΩΝ ΠΑΓΚΥΠΡΙΕΣ ΕΞΕΤΑΣΕΙΣ 2006

Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές

Ελίνα Μακρή

Transcript:

Μετατροπέας Αναλογικού Σήµατος σε Ψηφιακό Ο δειγματολήπτης (S/H) παίρνει δείγματα του στιγμιαίου εύρους ενός σήματος και διατηρεί την τάση που αντιστοιχεί σταθερή, τροφοδοτώντας έναν κβαντιστή, μέχρι την επόμενη στιγμή δειγματοληψίας. Αυτό γίνεται γιατί ο κβαντιστής απαιτεί κάποιο χρόνο για να μετατρέψει τα αναλογικά σήματα εισόδου σε ψηφιακά και αν το σήμα εισόδου του άλλαζε κατά την διάρκεια αυτού του χρόνου θα έδινε εσφαλμένα αποτελέσματα. Το σχήμα δείχνει έναν S/H. Οταν το FET ενεργοποιείται, ο πυκνωτής ταχέως φορτίζεται ή αποφορτίζεται στο επίπεδο του αναλογικού σήματος εισόδου. Οταν το FET απενεργοποιηθεί ο πυκνωτής κρατάει το φορτίο του μέχρις ότου το FET Control Systems Laboratory 19 Απριλίου επανενεργοποιηθεί. 2013 Βιομηχανικά Ηλεκτρονικά - Κ.Ι.Κυριακόπουλος 1

Μετατροπέας Αναλογικού Σήµατος σε Ψηφιακό O (κλασσικός) κβαντιστής διαδοχικής προσέγγισης (successive approxima8on) φαίνεται στο σχήμα. Η μετατροπή ξεκινάει με την εντολή εκκινήσεως που καθαρίζει τα προηγούμενα δεδομένα. Το MS της εισόδου του γίνεται 1. Αν η τιμή της εξόδου του είναι μικρότερη από το αναλογικό σήμα εισόδου, διαδοχικά αυξάνονται τα bit εισόδου του DAC μέχρις ότου η έξοδος του DAC ξεπεράσει το αναλογικό σήμα εισόδου. Ο αριθμός bit του ADC είναι ίδιος με αυτόν του χρησιμοποιούμενου DAC. Η διακριτότητα ή επίπεδο κβαντισμού (quanfzafon level) είναι q =! max "! min 2 N "1 όπου! max,! min είναι η μέγιστη και ελάχιστη τάση εισόδου του αναλογικού σήματος. Μεταβολή της τάσης εισόδου μικρότερη από q μπορεί να οδηγήσει σε μη αλλαγή της κατάστασης εξόδου πράγμα που φανερώνει την ύπαρξη ενός σφάλματος κβαντισμού (quanfzafon error). 2

Λογικές Πύλες Οι λογικές πύλες (logic gates) είναι ηλεκτρονικά κυκλώματα που επιτελούν διάφορες λογικές πράξεις. Οι λογικές πράξεις και η άλγεβρα που διέπει αυτές μελετήθηκε από τον άγγλο μαθηματικό George oole που εισήγε την αρχή: «όλες οι προτάσεις μπορούν να αποδειχθούν με σωστές απαντήσεις σε πεπερασμένο αριθμό ερωτήσεων τύπου σωστό αληθές». Οι λογικές πράξεις της Αλγεβρας oole είναι : A A AND Y AND OR NOT A Y=A A Y=A+ X 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 1 1 1 1 1 1 NAND Y A NAND NOR A Y=A! A 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 3 OR Y X NOT Y=A + Y Y=X A NOR Y

Λογικές Πύλες Υπάρχουν οι πύλες XOR (EXCLUSIVE OR) που ορίζεται σαν και η XΝOR (EXCLUSIVE ΝOR) που ορίζεται ως A = A. Τα σύμβολά τους και οι αντίστοιχοι πίνακες αληθείας φαίνονται παρακάτω A = A + A A XOR XOR Y A XNOR XΝOR A Y = A! A Y=A 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 Y 4

Πίνακες Αληθείας Λογική συνάρτηση είναι μία συνάρτηση που σχηματίζεται από δυαδικές μεταβλητές και λογικές πράξεις π.χ f ( x, y, z) = x y + x z + y z g( x, y, z) = x y + x z Μπορούμε να κατασκευάσουμε τους αντίστοιχους πίνακες αληθείας οι οποίοι να περιέχουν όλους τους λογικούς συνδυασμούς (πεδίο ορισμού) αυτών των μεταβλητών και να δούμε το αντίστοιχο πεδίο τιμών (range). Από τον πίνακα αληθείας μπορεί να δει κανείς ότι για όλους τους συνδυασμούς των μεταβλητών, δηλ. σε όλο το πεδίο ορισμού x y+ x z+ y z= x y+ x z Είναι προφανές ότι ο πίνακας αληθείας είναι ένα εργαλείο απόδειξης ιδιοτήτων των λογικών συναρτήσεων. x y z x y x z y z f( x, y, z ) gxyz (,, ) 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 1 1 1 5

Ιδιότητες + Ιδιότητες Ιδιότητες ΝΟΤ x! y! z = x!(y! z) = (x! y)! z x = x x! y = y! x x + x = 1 x! x = x x! x = 0 x!1 = x x + x! y = x + y x!0 = 0 x + y + z = x + (y + z) = (x + y) + z x + y = y + x x + x = x x +1 = 1 x + 0 = x Ιδιότητες Λογικών Πράξεων Σχεδίαση Λογικών Κυκλωµάτων Αλλες Ιδιότητες x!(y + z) = x! y + x! z x + x! y = x x + y! z = (x + y)!(x + z) Νόμοι De Morgan x 1! x 2! x 3!! x n = x 1 + x 2 + x 3 +!+ x n x 1 + x 2 + x 3 + + x n = x 1! x 2! x 3!! x n Αλγόριθμος Σχεδίασης : Κατασκευή πίνακα αληθείας με βάση της σχετικές προδιαγραφές Εύρεση εκείνων των γραμμών του πίνακα αληθείας όπου η έξοδος είναι αληθής (δηλ. ισούται με «1»). Για κάθε τέτοια γραμμή, βρίσκουμε τον συνδυασμό εισόδων με την πράξη AND που κάνει τη «σύζευξή» τους αληθή (σύζευξη = AND). Κάνουμε «διάζευξη» σε όλες αυτές τις συζεύξεις (διάζευξη = OR). 6

Σχεδίαση Λογικών Κυκλωµάτων: Παράδειγµα Control Systems Laboratory Να ευρεθεί η λογική συνάρτηση g( x, y, z) και το αντίστοιχο λογικό κύκλωμα που η g( x, y, z) είναι αληθής (1) όταν η πλειοψηφία των τριών εισόδων είναι αληθής και ψευδής (0) σε κάθε άλλη περίπτωση. g(x, y,z) = xyz + xyz + xyz + xyz g(x, y,z) = xyz + xyz + xyz + xyz = = xyz + xyz + xy(z + z) = = xyz + xyz + xy x y x y z g( x, y, z) 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 Αλγόριθμος Σχεδίασης : Κατασκευή πίνακα αληθείας με βάση της σχετικές προδιαγραφές Εύρεση εκείνων των γραμμών του πίνακα αληθείας όπου η έξοδος είναι αληθής (δηλ. ισούται με «1»). Για κάθε τέτοια γραμμή, βρίσκουμε τον συνδυασμό εισόδων με την πράξη AND που κάνει τη «σύζευξή» τους αληθή (σύζευξη = AND). Κάνουμε «διάζευξη» σε όλες αυτές τις συζεύξεις (διάζευξη = OR). z xyz xyz xy gxyz (,, ) = xyz+ xyz+ xy 7

Απλοποίηση Λογικών Παραστάσεων µέσω Πινάκων Karnaugh Συστηματικός και γραφικός τρόπος απλοποίησης λογικών παραστάσεων και κυκλωμάτων. Πρακτικά εφαρμόσιμος για παραστάσεις μέχρι και 4, το πολύ, μεταβλητών. Για μεγαλύτερο αριθμό μεταβλητών υπάρχουν ειδικά προγράμματα απλοποίησης που στηρίζονται (και) σε μεθοδολογίες τεχνητής νοημοσύνης. Για μια λογική συνάρτηση, οι πίνακες Karnaugh παριστάνουν τη σχέση μεταξύ λογικών εισόδων και εξόδου, κάτι που κάνουν άλλωστε τόσον οι πίνακες αληθείας όσο και οι λογικές εξισώσεις. Αρχικά θα δειχθεί το πώς οι πίνακες Karnaugh προκύπτουν από τους πίνακες αληθείας και με βάση αυτό θα γίνει η όλη ανάπτυξη της μεθοδολογίας απλοποίησης, ενώ μετά θα δειχθεί το πως προκύπτουν και από τις λογικές εξισώσεις. 8

Κατασκευή Πινάκων Karnaugh Control Systems Laboratory { x =ΑΒ+ΑΒ} X = AC+ AC + AC + AC X = ACD+ ACD + ACD + ACD 9

Οµαδοποίηση των Κελιών: Κατά Ζεύγη X = AC + AC = A X = AC + AC = C X = AC + AC = C X = ACD+ ACD + ACD + ACD = AC + AD «Η ομαδοποίηση ζευγών γειτνιαζόντων κελιών οδηγεί σε εξαφάνιση της μεταβλητής που εμφανίζεται σε κάθε ζεύγος τόσο σε κανονική όσο και σε συμπληρωματική μορφή». 10

Οµαδοποίηση των Κελιών: Κατά Τετράδες X = C X = D X = A X Η ομαδοποίηση τετράδων γειτνιαζόντων κελιών οδηγεί σε εξαφάνιση εκείνων των δύο μεταβλητών που εμφανίζονται σε κάθε τετράδα τόσο σε κανονική όσο και σε συμπληρωματική μορφή. = AD X = D 11

Οµαδοποίηση των Κελιών: Κατά Οκτάδες X = C Η ομαδοποίηση οκτάδων γειτνιαζόντων κελιών οδηγεί σε εξαφάνιση εκείνων των τριών μεταβλητών που εμφανίζονται σε κάθε οκτάδα τόσο σε κανονική όσο και σε συμπληρωματική μορφή. X = X = X = D 12

Απλοποίηση µέσω Πίνακα Karnaugh Η απλοποίηση θα γίνει με βάση τα προηγούμενα και 2 βασικές παρατηρήσεις: σε ένα πίνακα Karnaugh πρέπει να αναζητούμε όσο το δυνατόν μεγαλύτερες ομάδες έτσι ώστε να έχουμε την μεγαλύτερη δυνατή απλοποίηση, και δεδομένου ότι για κάθε λογική μεταβλητή z ισχύει z = z + z, στην αναζήτησή μας για όσο το δυνατόν μεγαλύτερες ομάδες κελιών, ένα κελί μπορεί να ανήκει σε 2 ή περισσότερες ομάδες. Η διαδικασία απλοποίησης είναι η παρακάτω: Βήμα 1: Κατασκευή του πίνακα Karnaugh. Βήμα 2: Ανεύρεση & περικύκλωση απομονωμένων κελιών με περιεχόμενο «1» (δηλ. αυτών που δεν γειτνιάζουν με άλλα) Βήμα 3: Ανεύρεση & περικύκλωση αυτοτελών ζευγών κελιών με περιεχόμενο «1», δηλαδή ζευγών που περιέχουν ένα τουλάχιστον κελί που γειτνιάζει μόνο με το άλλο. Βήμα 4: Ανεύρεση & περικύκλωση οκτάδων κελιών με περιεχόμενο «1», ακόμα και αν κάποια κελιά τους ανήκουν σε προηγουμένως ανευρεθέντα αυτοτελή ζεύγη. Βήμα 5: Ανεύρεση & περικύκλωση τετράδων κελιών με περιεχόμενο «1» που περιέχουν ένα ή περισσότερα κελιά με περιεχόμενο «1» τα οποία δεν έχουν ήδη περικυκλωθεί προηγουμένως. Πρέπει να γίνει προσπάθεια εύρεσης του ελάχιστου αριθμού τέτοιων ομάδων. Βήμα 6: Ανεύρεση & περικύκλωση ζευγών κελιών με περιεχόμενο «1» για να περιληφθούν τα κελιά με περιεχόμενο «1» τα οποία δεν έχουν ήδη περικυκλωθεί προηγουμένως. Πρέπει να γίνει προσπάθεια εύρεσης του ελάχιστου αριθμού τέτοιων ομάδων. Βήμα 7: Διάζευξη (OR) όλων των όρων που προκύπτουν από τις παραπάνω ομάδες. Control Systems Laboratory 13

Απλοποίηση µέσω Πίνακα Karnaugh: Παράδειγµα - 1 Στον παρακάτω πίνακα έχει ήδη γίνει το «βήμα- 1». Επομένως: Βήμα 2: Το κελί 4 είναι το μοναδικό που δεν γειτνιάζει με άλλα. Βήμα 3: Στο ζεύγος (11,15) το κελί 15 γειτνιάζει μόνο με το 11. Είναι και το μοναδικό ζεύγος τέτοιου τύπου. Βήμα 4: Δεν υπάρχουν οκτάδες. Βήμα 5: Στην τετράδα (6,7,10,11) το κελί 11 είναι ήδη κομμάτι του ζεύγους (11,15) Βήμα 6: Δεν υπάρχουν άλλα ζεύγη Βήμα 7: X =! AC ## "## D$ + % ACD + % D loop 4 loop 11, 15 C D C D C D C D A 0 0 0 1 1 2 3 4 A 0 1 1 0 5 6 7 8 A 0 1 1 0 9 10 11 12 A 0 0 1 0 13 14 15 16 loop 6, 7, 10, 11 Βήμα 1: Κατασκευή του πίνακα Karnaugh. Βήμα 2: Ανεύρεση & περικύκλωση απομονωμένων κελιών με περιεχόμενο «1» (δηλ. αυτών που δεν γειτνιάζουν με άλλα) Βήμα 3: Ανεύρεση & περικύκλωση αυτοτελών ζευγών κελιών με περιεχόμενο «1», δηλαδή ζευγών που περιέχουν ένα τουλάχιστον κελί που γειτνιάζει μόνο με το άλλο. Βήμα 4: Ανεύρεση & περικύκλωση οκτάδων κελιών με περιεχόμενο «1», ακόμα και αν κάποια κελιά τους ανήκουν σε προηγουμένως ανευρεθέντα αυτοτελή ζεύγη. Βήμα 5: Ανεύρεση & περικύκλωση τετράδων κελιών με περιεχόμενο «1» που περιέχουν ένα ή περισσότερα κελιά με περιεχόμενο «1» τα οποία δεν έχουν ήδη περικυκλωθεί προηγουμένως. Πρέπει να γίνει προσπάθεια εύρεσης του ελάχιστου αριθμού τέτοιων ομάδων. Βήμα 6: Ανεύρεση & περικύκλωση ζευγών κελιών με περιεχόμενο «1» για να περιληφθούν τα κελιά με περιεχόμενο «1» τα οποία δεν έχουν ήδη περικυκλωθεί προηγουμένως. Πρέπει να γίνει προσπάθεια εύρεσης του ελάχιστου αριθμού τέτοιων ομάδων. Βήμα 7: Διάζευξη (OR) όλων των όρων που προκύπτουν από τις παραπάνω ομάδες. 14