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

Transcript

1 Λογικές πύλες Λογικές πύλες: Οι στοιχειώδεις δομικοί λίθοι των κυκλωμάτων Το υλικό(hardware) για την εκτέλεση των εντολών γλώσσας μηχανής(και κατ επέκταση όλων των προγραμμάτων), κατασκευάζεται χρησιμοποιώντας ένα μεγάλο πλήθος από μια μικρή ομάδα δομικών λίθων. Αυτοί οι δομικοί λίθοι ονομάζονται λογικές πύλες(logical gates). Οι λογικές πύλες βρίσκονται λίγο πιο πάνω από το φυσικό επίπεδο και κατασκευάζονται χρησιμοποιώντας τρανζίστορς (transistors). Τα τρανζιστορς κατασκευάζονται από φυσικά υλικά όπως ημιαγωγούς, μέταλλα, πολυμερή, πυρίτιο και οξείδια πυριτίου. Ο τρόπος κατασκευής των κυκλωμάτων στο φυσικό επίπεδο αποτελεί μελέτη της Μικροηλεκτρονικής. Εμείς θα εστιάσουμε από το επίπεδο των λογικών πυλών και πάνω.

2 Λογικές πύλες Λογικές πύλες: Οι στοιχειώδεις δομικοί λίθοι των κυκλωμάτων Το υλικό(hardware) για την εκτέλεση των εντολών γλώσσας μηχανής(και κατ επέκταση όλων των προγραμμάτων), κατασκευάζεται χρησιμοποιώντας ένα μεγάλο πλήθος από μια μικρή ομάδα δομικών λίθων. Αυτοί οι δομικοί λίθοι ονομάζονται λογικές πύλες(logical gates). Οι λογικές πύλες βρίσκονται λίγο πιο πάνω από το φυσικό επίπεδο και κατασκευάζονται χρησιμοποιώντας τρανζίστορς (transistors). Τα τρανζιστορς κατασκευάζονται από φυσικά υλικά όπως ημιαγωγούς, μέταλλα, πολυμερή, πυρίτιο και οξείδια πυριτίου. Ο τρόπος κατασκευής των κυκλωμάτων στο φυσικό επίπεδο αποτελεί μελέτη της Μικροηλεκτρονικής. Εμείς θα εστιάσουμε από το επίπεδο των λογικών πυλών και πάνω.

3 Λογικές πύλες Βασικές λογικές πύλες Η(λογική) πύλη AND A B AND F A B F L L L L H L H L L H H H Η(λογική)πύλη OR A B OR F A B F L L L L H H H L H H H H

4 Λογικές πύλες Βασικές λογικές πύλες Η(λογική) πύλη AND A B AND F A B F L L L L H L H L L H H H Η(λογική)πύλη OR A B OR F A B F L L L L H H H L H H H H

5 Λογικές πύλες Βασικές λογικές πύλες Η(λογική) πύλη NOT A NOT F A F L H H L

6 Λογικές πύλες Βασικές λογικές πύλες Οι βασικές λογικές πύλες συνδυάζονται κατασκευάζοντας συνθετότερα ολοκληρωμένα κυκλώματα. Παράδειγμα

7 Λογικές πύλες Βασικές λογικές πύλες Ερωτήσεις Πως περιγράφεται ένα ολοκληρωμένο κύκλωμα χωρίς σχήμα; Ποιαείναιηλειτουργίατου;Δηλαδήποιαέξοδοδίνει(Hή L) για μια συγκεκριμένη είσοδο; Πως κατασκευάζουμε ένα κύκλωμα που κάνει μια συγκεκριμένη λειτουργία; Υπάρχειάλλοκύκλωμαπουέχειτηνίδιαέξοδομεένα άλλο κύκλωμα για κάθε δυνατή είσοδο; Πως χαρακτηρίζουμε ένα κύκλωμα απλούστερο από ένα άλλο; Μπορούμε να βρούμε το απλούστερο κύκλωμα που κάνει μια συγκεκριμένη λειτουργία;

8 Λογικές πύλες Βασικές λογικές πύλες Ερωτήσεις Πως περιγράφεται ένα ολοκληρωμένο κύκλωμα χωρίς σχήμα; Ποιαείναιηλειτουργίατου;Δηλαδήποιαέξοδοδίνει(Hή L) για μια συγκεκριμένη είσοδο; Πως κατασκευάζουμε ένα κύκλωμα που κάνει μια συγκεκριμένη λειτουργία; Υπάρχειάλλοκύκλωμαπουέχειτηνίδιαέξοδομεένα άλλο κύκλωμα για κάθε δυνατή είσοδο; Πως χαρακτηρίζουμε ένα κύκλωμα απλούστερο από ένα άλλο; Μπορούμε να βρούμε το απλούστερο κύκλωμα που κάνει μια συγκεκριμένη λειτουργία;

9 Λογικές πύλες Βασικές λογικές πύλες Ερωτήσεις Πως περιγράφεται ένα ολοκληρωμένο κύκλωμα χωρίς σχήμα; Ποιαείναιηλειτουργίατου;Δηλαδήποιαέξοδοδίνει(Hή L) για μια συγκεκριμένη είσοδο; Πως κατασκευάζουμε ένα κύκλωμα που κάνει μια συγκεκριμένη λειτουργία; Υπάρχειάλλοκύκλωμαπουέχειτηνίδιαέξοδομεένα άλλο κύκλωμα για κάθε δυνατή είσοδο; Πως χαρακτηρίζουμε ένα κύκλωμα απλούστερο από ένα άλλο; Μπορούμε να βρούμε το απλούστερο κύκλωμα που κάνει μια συγκεκριμένη λειτουργία;

10 Λογικές πύλες Βασικές λογικές πύλες Ερωτήσεις Πως περιγράφεται ένα ολοκληρωμένο κύκλωμα χωρίς σχήμα; Ποιαείναιηλειτουργίατου;Δηλαδήποιαέξοδοδίνει(Hή L) για μια συγκεκριμένη είσοδο; Πως κατασκευάζουμε ένα κύκλωμα που κάνει μια συγκεκριμένη λειτουργία; Υπάρχειάλλοκύκλωμαπουέχειτηνίδιαέξοδομεένα άλλο κύκλωμα για κάθε δυνατή είσοδο; Πως χαρακτηρίζουμε ένα κύκλωμα απλούστερο από ένα άλλο; Μπορούμε να βρούμε το απλούστερο κύκλωμα που κάνει μια συγκεκριμένη λειτουργία;

11 Λογικές πύλες Βασικές λογικές πύλες Ερωτήσεις Πως περιγράφεται ένα ολοκληρωμένο κύκλωμα χωρίς σχήμα; Ποιαείναιηλειτουργίατου;Δηλαδήποιαέξοδοδίνει(Hή L) για μια συγκεκριμένη είσοδο; Πως κατασκευάζουμε ένα κύκλωμα που κάνει μια συγκεκριμένη λειτουργία; Υπάρχειάλλοκύκλωμαπουέχειτηνίδιαέξοδομεένα άλλο κύκλωμα για κάθε δυνατή είσοδο; Πως χαρακτηρίζουμε ένα κύκλωμα απλούστερο από ένα άλλο; Μπορούμε να βρούμε το απλούστερο κύκλωμα που κάνει μια συγκεκριμένη λειτουργία;

12 Λογικές πύλες Βασικές λογικές πύλες Ερωτήσεις Πως περιγράφεται ένα ολοκληρωμένο κύκλωμα χωρίς σχήμα; Ποιαείναιηλειτουργίατου;Δηλαδήποιαέξοδοδίνει(Hή L) για μια συγκεκριμένη είσοδο; Πως κατασκευάζουμε ένα κύκλωμα που κάνει μια συγκεκριμένη λειτουργία; Υπάρχειάλλοκύκλωμαπουέχειτηνίδιαέξοδομεένα άλλο κύκλωμα για κάθε δυνατή είσοδο; Πως χαρακτηρίζουμε ένα κύκλωμα απλούστερο από ένα άλλο; Μπορούμε να βρούμε το απλούστερο κύκλωμα που κάνει μια συγκεκριμένη λειτουργία;

13 Άλγεβρα Boole Το 1938 ο Claude Shannon ήταν ο πρώτος που χρησιμοποίησε την άλγεβρα Boole για τη σχεδίαση και απλοποίηση των ψηφιακών κυκλωμάτων της εποχής. Παρόλο που τα υλικά και οι τεχνολογία έχουν εξελιχθεί από τότε, η ίδια ιδέα εφαρμόζεται και σήμερα.

14 Άλγεβρα Boole Λογικές πράξεις Στηνάλγεβρα Booleκάθεμεταβλητή x,y,z,...λαμβάνει μόνοδύοτιμές: 0ή1. Στην άλγεβρα Boole ορίζονται τρεις(λογικές) πράξεις: Η λογική πρόσθεση +. Ο λογικός πολλαπλασιασμός. x y x +y x y x y

15 Άλγεβρα Boole Λογικές πράξεις Στηνάλγεβρα Booleκάθεμεταβλητή x,y,z,...λαμβάνει μόνοδύοτιμές: 0ή1. Στην άλγεβρα Boole ορίζονται τρεις(λογικές) πράξεις: Η λογική πρόσθεση +. Ο λογικός πολλαπλασιασμός. x y x +y x y x y

16 Άλγεβρα Boole Λογικές πράξεις Στηνάλγεβρα Booleκάθεμεταβλητή x,y,z,...λαμβάνει μόνοδύοτιμές: 0ή1. Στην άλγεβρα Boole ορίζονται τρεις(λογικές) πράξεις: Η λογική πρόσθεση +. Ο λογικός πολλαπλασιασμός. x y x +y x y x y

17 Άλγεβρα Boole Λογικές πράξεις Στηνάλγεβρα Booleκάθεμεταβλητή x,y,z,...λαμβάνει μόνοδύοτιμές: 0ή1. Στην άλγεβρα Boole ορίζονται τρεις(λογικές) πράξεις: Η λογική πρόσθεση +. Ο λογικός πολλαπλασιασμός. x y x +y x y x y

18 Άλγεβρα Boole Λογικές πράξεις Ηλογικήάρνηση ή. x x Παρατηρήσεις: Η λογική πρόσθεση + και ο λογικός πολλαπλασιασμός δεν πρέπεινασυγχέεταιμετηνπρόσθεσηήτον πολλαπλασιασμό στους δεκαδικούς ή δυαδικούς αριθμούς. Οι παρακάτω πίνακες με την βοήθεια των οποίων ορίζονται οι λογικές πράξεις ονομάζονται πίνακες αλήθειας της κάθε πράξης.

19 Άλγεβρα Boole Λογικές πράξεις Ηλογικήάρνηση ή. x x Παρατηρήσεις: Η λογική πρόσθεση + και ο λογικός πολλαπλασιασμός δεν πρέπεινασυγχέεταιμετηνπρόσθεσηήτον πολλαπλασιασμό στους δεκαδικούς ή δυαδικούς αριθμούς. Οι παρακάτω πίνακες με την βοήθεια των οποίων ορίζονται οι λογικές πράξεις ονομάζονται πίνακες αλήθειας της κάθε πράξης.

20 Άλγεβρα Boole Λογικές πράξεις Ηλογικήάρνηση ή. x x Παρατηρήσεις: Η λογική πρόσθεση + και ο λογικός πολλαπλασιασμός δεν πρέπεινασυγχέεταιμετηνπρόσθεσηήτον πολλαπλασιασμό στους δεκαδικούς ή δυαδικούς αριθμούς. Οι παρακάτω πίνακες με την βοήθεια των οποίων ορίζονται οι λογικές πράξεις ονομάζονται πίνακες αλήθειας της κάθε πράξης.

21 Λογικές πύλες και Άλγεβρα Boole Ο Shannon έκανε την εξής απλή παρατήρηση: Αντουψηλόδυναμικό Hμιαςπύληςαντιστοιχηθείστολογικό1 καιτοχαμηλόδυναμικό Lστολογικό0,τότεοιβασικέςλογικές πύλες(and, OR, NOT) αντιστοιχούν στις λογικές πράξεις της άλγεβρας Boole. Οπολ/σμος Η πρόσθεση +. x y x y x y x +y Ηπύλη AND Ηπύλη OR A B F L L L L H L H L L H H H A B F L L L L H H H L H H H H

22 Λογικές πύλες και Άλγεβρα Boole Ο Shannon έκανε την εξής απλή παρατήρηση: Αντουψηλόδυναμικό Hμιαςπύληςαντιστοιχηθείστολογικό1 καιτοχαμηλόδυναμικό Lστολογικό0,τότεοιβασικέςλογικές πύλες(and, OR, NOT) αντιστοιχούν στις λογικές πράξεις της άλγεβρας Boole. Οπολ/σμος Η πρόσθεση +. x y x y x y x +y Ηπύλη AND Ηπύλη OR A B F L L L L H L H L L H H H A B F L L L L H H H L H H H H

23 Λογικές πύλες και Άλγεβρα Boole Ιδιότητες των πράξεων Για τις λογικές} πράξεις ισχύουν οι επόμενες ιδιότητες: x +y = y +x (αντιμεταθετικότητα) x y = y x } x +(y +z) = (x +y)+z (προσεταιριστικότητα) x (y z) = (x y) z } x +x = x (αδυναμία) x x = x } x +(x y) = x (απορροφητικότητα) x (x +y) = x } x (y +z) = x y +x z (επιμεριστικότητα) x +y z = (x +y) (x +z)

24 Λογικές πύλες και Άλγεβρα Boole Ιδιότητες των πράξεων Για τις λογικές} πράξεις ισχύουν οι επόμενες ιδιότητες: x +y = y +x (αντιμεταθετικότητα) x y = y x } x +(y +z) = (x +y)+z (προσεταιριστικότητα) x (y z) = (x y) z } x +x = x (αδυναμία) x x = x } x +(x y) = x (απορροφητικότητα) x (x +y) = x } x (y +z) = x y +x z (επιμεριστικότητα) x +y z = (x +y) (x +z)

25 Λογικές πύλες και Άλγεβρα Boole Ιδιότητες των πράξεων Για τις λογικές} πράξεις ισχύουν οι επόμενες ιδιότητες: x +y = y +x (αντιμεταθετικότητα) x y = y x } x +(y +z) = (x +y)+z (προσεταιριστικότητα) x (y z) = (x y) z } x +x = x (αδυναμία) x x = x } x +(x y) = x (απορροφητικότητα) x (x +y) = x } x (y +z) = x y +x z (επιμεριστικότητα) x +y z = (x +y) (x +z)

26 Λογικές πύλες και Άλγεβρα Boole Ιδιότητες των πράξεων Για τις λογικές} πράξεις ισχύουν οι επόμενες ιδιότητες: x +y = y +x (αντιμεταθετικότητα) x y = y x } x +(y +z) = (x +y)+z (προσεταιριστικότητα) x (y z) = (x y) z } x +x = x (αδυναμία) x x = x } x +(x y) = x (απορροφητικότητα) x (x +y) = x } x (y +z) = x y +x z (επιμεριστικότητα) x +y z = (x +y) (x +z)

27 Λογικές πύλες και Άλγεβρα Boole Ιδιότητες των πράξεων Για τις λογικές} πράξεις ισχύουν οι επόμενες ιδιότητες: x +y = y +x (αντιμεταθετικότητα) x y = y x } x +(y +z) = (x +y)+z (προσεταιριστικότητα) x (y z) = (x y) z } x +x = x (αδυναμία) x x = x } x +(x y) = x (απορροφητικότητα) x (x +y) = x } x (y +z) = x y +x z (επιμεριστικότητα) x +y z = (x +y) (x +z)

28 Λογικές πύλες και Άλγεβρα Boole Ιδιότητες των πράξεων Επίσης ισχύουν οι παρακάτω ιδιότητες: i. (x ) = x ii. x +0 = xκαι x +1 = 1. iii. x 0 = 0και x 1 = x. iv. x +x = 1και x x = 0. v. x +x y = x +y. vi. (x +y) = x y (x y) = x +y } (τύποι De Morgan).

29 Λογικές πύλες και Άλγεβρα Boole Ιδιότητες των πράξεων Επίσης ισχύουν οι παρακάτω ιδιότητες: i. (x ) = x ii. x +0 = xκαι x +1 = 1. iii. x 0 = 0και x 1 = x. iv. x +x = 1και x x = 0. v. x +x y = x +y. vi. (x +y) = x y (x y) = x +y } (τύποι De Morgan).

30 Λογικές πύλες και Άλγεβρα Boole Ιδιότητες των πράξεων Ενας τρόπος για την απόδειξη/έλεγχο των προηγούμενων ιδιοτήτων είναι χρησιμοποιώντας την μέθοδο του πίνακα αληθείας. Επειδή οι μεταβλητές στην άλγεβρα Boole λαμβάνουν μόνο δύο τιμές είναι δυνατός ο εξαντλητικός έλεγχος όλων των δυνατών περιπτώσεων. Για μια ιδιότητα που περιέχει μόνο μια μεταβλητή οι δυνατές περιπτώσεις για την τιμή της μεταβλητής είναι 2. Ετσι, αρκεί να επαληθεύσουμε την αντίστοιχη ιδιότητα για τις δύο τιμές της μεταβλητής.

31 Λογικές πύλες και Άλγεβρα Boole Ιδιότητες των πράξεων Ενας τρόπος για την απόδειξη/έλεγχο των προηγούμενων ιδιοτήτων είναι χρησιμοποιώντας την μέθοδο του πίνακα αληθείας. Επειδή οι μεταβλητές στην άλγεβρα Boole λαμβάνουν μόνο δύο τιμές είναι δυνατός ο εξαντλητικός έλεγχος όλων των δυνατών περιπτώσεων. Για μια ιδιότητα που περιέχει μόνο μια μεταβλητή οι δυνατές περιπτώσεις για την τιμή της μεταβλητής είναι 2. Ετσι, αρκεί να επαληθεύσουμε την αντίστοιχη ιδιότητα για τις δύο τιμές της μεταβλητής.

32 Λογικές πύλες και Άλγεβρα Boole Ιδιότητες των πράξεων Ενας τρόπος για την απόδειξη/έλεγχο των προηγούμενων ιδιοτήτων είναι χρησιμοποιώντας την μέθοδο του πίνακα αληθείας. Επειδή οι μεταβλητές στην άλγεβρα Boole λαμβάνουν μόνο δύο τιμές είναι δυνατός ο εξαντλητικός έλεγχος όλων των δυνατών περιπτώσεων. Για μια ιδιότητα που περιέχει μόνο μια μεταβλητή οι δυνατές περιπτώσεις για την τιμή της μεταβλητής είναι 2. Ετσι, αρκεί να επαληθεύσουμε την αντίστοιχη ιδιότητα για τις δύο τιμές της μεταβλητής.

33 Λογικές πύλες και Άλγεβρα Boole Ιδιότητες των πράξεων Για παράδειγμα, για τον έλεγχο της ιδιότητας x +x = x κατασκευάζουμε τον επόμενο πίνακα αλήθειας x x +x απ όπουπροκύπτειότικαιγιατιςδύοδυνατέςτιμέςτις μεταβλητής x η ιδιότητα επαληθεύεται.

34 Λογικές πύλες και Άλγεβρα Boole Ιδιότητες των πράξεων Στην περίπτωση όπου έχουμε 2 μεταβλητές τότε πρέπει να λάβουμευπόψη 4 = 2 2περιπτώσεις. Για παράδειγμα, για τον έλεγχο της ιδιότητας x +(x y) = x κατασκευάζουμε τον επόμενο πίνακα αληθείας x y x y x +x y από όπου προκύπτει ότι η ιδιότητα της απορροφητικότητας ισχύει.

35 Λογικές πύλες και Άλγεβρα Boole Ιδιότητες των πράξεων Στην περίπτωση όπου έχουμε 2 μεταβλητές τότε πρέπει να λάβουμευπόψη 4 = 2 2περιπτώσεις. Για παράδειγμα, για τον έλεγχο της ιδιότητας x +(x y) = x κατασκευάζουμε τον επόμενο πίνακα αληθείας x y x y x +x y από όπου προκύπτει ότι η ιδιότητα της απορροφητικότητας ισχύει.

36 Λογικές πύλες και Άλγεβρα Boole Ιδιότητες των πράξεων Άσκηση Να αποδειχθούν οι ιδιότητες των πράξεων της άλγεβρας Boole χρησιμοποιώντας την μέθοδο του πίνακα αληθείας.

37 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Κάθεσυνάρτηση f : {0,1} n {0,1}πουχρησιμοποιεί μεταβλητές της άλγεβρας Boole και λογικές πράξεις ονομάζεται συνάρτηση Boole ή λογική συνάρτηση. Παράδειγμα Η f είναιμιαλογικήσυνάρτησηδύομεταβλητώνμετύπο Ισχύει ότι f(x,y) = x y +y f(0,0) = 1 f(0,1) = 0 f(1,0) = 1 f(1,1) = 1

38 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Κάθεσυνάρτηση f : {0,1} n {0,1}πουχρησιμοποιεί μεταβλητές της άλγεβρας Boole και λογικές πράξεις ονομάζεται συνάρτηση Boole ή λογική συνάρτηση. Παράδειγμα Η f είναιμιαλογικήσυνάρτησηδύομεταβλητώνμετύπο Ισχύει ότι f(x,y) = x y +y f(0,0) = 1 f(0,1) = 0 f(1,0) = 1 f(1,1) = 1

39 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Κάθεσυνάρτηση f : {0,1} n {0,1}πουχρησιμοποιεί μεταβλητές της άλγεβρας Boole και λογικές πράξεις ονομάζεται συνάρτηση Boole ή λογική συνάρτηση. Παράδειγμα Η f είναιμιαλογικήσυνάρτησηδύομεταβλητώνμετύπο Ισχύει ότι f(x,y) = x y +y f(0,0) = 1 f(0,1) = 0 f(1,0) = 1 f(1,1) = 1

40 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Κάθεσυνάρτηση f : {0,1} n {0,1}πουχρησιμοποιεί μεταβλητές της άλγεβρας Boole και λογικές πράξεις ονομάζεται συνάρτηση Boole ή λογική συνάρτηση. Παράδειγμα Η f είναιμιαλογικήσυνάρτησηδύομεταβλητώνμετύπο Ισχύει ότι f(x,y) = x y +y f(0,0) = 1 f(0,1) = 0 f(1,0) = 1 f(1,1) = 1

41 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Κάθεσυνάρτηση f : {0,1} n {0,1}πουχρησιμοποιεί μεταβλητές της άλγεβρας Boole και λογικές πράξεις ονομάζεται συνάρτηση Boole ή λογική συνάρτηση. Παράδειγμα Η f είναιμιαλογικήσυνάρτησηδύομεταβλητώνμετύπο Ισχύει ότι f(x,y) = x y +y f(0,0) = 1 f(0,1) = 0 f(1,0) = 1 f(1,1) = 1

42 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Παράδειγμα Η f μετύπο f(x,y) = x +x y είναι μια λογική συνάρτηση δύο μεταβλητών για την οποία ισχύει ότι f(0,0) = 0 f(0,1) = 0 f(1,0) = 1 f(1,1) = 1 Παρατήρηση f(x,y) = x (!)

43 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Παράδειγμα Η f μετύπο f(x,y) = x +x y είναι μια λογική συνάρτηση δύο μεταβλητών για την οποία ισχύει ότι f(0,0) = 0 f(0,1) = 0 f(1,0) = 1 f(1,1) = 1 Παρατήρηση f(x,y) = x (!)

44 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Παράδειγμα Η f μετύπο f(x,y) = x +x y είναι μια λογική συνάρτηση δύο μεταβλητών για την οποία ισχύει ότι f(0,0) = 0 f(0,1) = 0 f(1,0) = 1 f(1,1) = 1 Παρατήρηση f(x,y) = x (!)

45 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Παράδειγμα Η f μετύπο f(x,y) = x +x y είναι μια λογική συνάρτηση δύο μεταβλητών για την οποία ισχύει ότι f(0,0) = 0 f(0,1) = 0 f(1,0) = 1 f(1,1) = 1 Παρατήρηση f(x,y) = x (!)

46 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Παράδειγμα Η f μετύπο f(x,y) = x +x y είναι μια λογική συνάρτηση δύο μεταβλητών για την οποία ισχύει ότι f(0,0) = 0 f(0,1) = 0 f(1,0) = 1 f(1,1) = 1 Παρατήρηση f(x,y) = x (!)

47 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Ενας τρόπος αναπαράστασης μιας λογικής συνάρτησης, αντι της αλγεβρικής της παράστασης, ο οποίος χρησιμοποιείται ευρύτατα, είναι μέσω πινάκων αληθείας. Παράδειγμα Ησυνάρτηση f(x,y) = x y +x y περιγράφεται από τον επόμενο πίνακα αληθείας x y f

48 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Ενας τρόπος αναπαράστασης μιας λογικής συνάρτησης, αντι της αλγεβρικής της παράστασης, ο οποίος χρησιμοποιείται ευρύτατα, είναι μέσω πινάκων αληθείας. Παράδειγμα Ησυνάρτηση f(x,y) = x y +x y περιγράφεται από τον επόμενο πίνακα αληθείας x y f

49 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Ενας τρόπος αναπαράστασης μιας λογικής συνάρτησης, αντι της αλγεβρικής της παράστασης, ο οποίος χρησιμοποιείται ευρύτατα, είναι μέσω πινάκων αληθείας. Παράδειγμα Ησυνάρτηση f(x,y) = x y +x y περιγράφεται από τον επόμενο πίνακα αληθείας x y f

50 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Ενας τρόπος αναπαράστασης μιας λογικής συνάρτησης, αντι της αλγεβρικής της παράστασης, ο οποίος χρησιμοποιείται ευρύτατα, είναι μέσω πινάκων αληθείας. Παράδειγμα Ησυνάρτηση f(x,y) = x y +x y περιγράφεται από τον επόμενο πίνακα αληθείας x y f

51 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Ενας τρόπος αναπαράστασης μιας λογικής συνάρτησης, αντι της αλγεβρικής της παράστασης, ο οποίος χρησιμοποιείται ευρύτατα, είναι μέσω πινάκων αληθείας. Παράδειγμα Ησυνάρτηση f(x,y) = x y +x y περιγράφεται από τον επόμενο πίνακα αληθείας x y f

52 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Ενας τρόπος αναπαράστασης μιας λογικής συνάρτησης, αντι της αλγεβρικής της παράστασης, ο οποίος χρησιμοποιείται ευρύτατα, είναι μέσω πινάκων αληθείας. Παράδειγμα Ησυνάρτηση f(x,y) = x y +x y περιγράφεται από τον επόμενο πίνακα αληθείας x y f

53 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Άσκηση Να κατασκευασθεί ο πίνακας αληθείας των παρακάτω συναρτήσεων f(x,y,z,w) = xy +yz +z w +x y z g(x,y,z,w) = x(x +y)(z +w)z

54 Λογικές πύλες και Άλγεβρα Boole Συναρτήσεις Boole Άσκηση Να κατασκευασθεί ο πίνακας αληθείας των παρακάτω συναρτήσεων f(x,y,z,w) = xy +yz +z w +x y z g(x,y,z,w) = x(x +y)(z +w)z

55 Λογικές πύλες και Άλγεβρα Boole Από το κύκλωμα στη συνάρτηση Σεκάθεψηφιακόκύκλωμαμε nεισόδουςκαι 1έξοδο αντιστοιχεί μια συνάρτηση Boole η οποία δίνει το αποτέλεσμα της εξόδου για κάθε δυνατή περίπτωση για τις n εισόδους.

56 Λογικές πύλες και Άλγεβρα Boole Από το κύκλωμα στη συνάρτηση Παράδειγμα 1 Στο λογικό κύκλωμα αντιστοιχεί η συνάρτηση f(a,b) = (A+B)(A+B )(A +B) Ερώτηση Ποιοςείναιοπίνακαςαληθείαςτης f;

57 Λογικές πύλες και Άλγεβρα Boole Από το κύκλωμα στη συνάρτηση Παράδειγμα 1 Στο λογικό κύκλωμα αντιστοιχεί η συνάρτηση f(a,b) = (A+B)(A+B )(A +B) Ερώτηση Ποιοςείναιοπίνακαςαληθείαςτης f;

58 Λογικές πύλες και Άλγεβρα Boole Από το κύκλωμα στη συνάρτηση Παράδειγμα 1 Στο λογικό κύκλωμα αντιστοιχεί η συνάρτηση f(a,b) = (A+B)(A+B )(A +B) Ερώτηση Ποιοςείναιοπίνακαςαληθείαςτης f;

59 Λογικές πύλες και Άλγεβρα Boole Από το κύκλωμα στη συνάρτηση Παράδειγμα 2 Στο λογικό κύκλωμα αντιστοιχεί η συνάρτηση f(a,b) = (A B)+(B C)+(A C) Ερώτηση Ποιοςείναιοπίνακαςαληθείαςτης f;

60 Λογικές πύλες και Άλγεβρα Boole Από το κύκλωμα στη συνάρτηση Παράδειγμα 2 Στο λογικό κύκλωμα αντιστοιχεί η συνάρτηση f(a,b) = (A B)+(B C)+(A C) Ερώτηση Ποιοςείναιοπίνακαςαληθείαςτης f;

61 Λογικές πύλες και Άλγεβρα Boole Από το κύκλωμα στη συνάρτηση Παράδειγμα 2 Στο λογικό κύκλωμα αντιστοιχεί η συνάρτηση f(a,b) = (A B)+(B C)+(A C) Ερώτηση Ποιοςείναιοπίνακαςαληθείαςτης f;

62 Λογικές πύλες και Άλγεβρα Boole Από τη συνάρτηση στο κύκλωμα Σε κάθε λογική συνάρτηση με n μεταβλητές αντιστοιχεί ένα(;) κύκλωμα με n μεταβλητές η έξοδος του οποίου συμπεριφέρεται όπως η συνάρτηση.

63 Λογικές πύλες και Άλγεβρα Boole Από τη συνάρτηση στο κύκλωμα Παράδειγμα Η λογική συνάρτηση F(A,B,C,D) = A+B +C +D αντιστοιχεί στο κύκλωμα αλλά και στο κύκλωμα

64 Λογικές πύλες και Άλγεβρα Boole Από τη συνάρτηση στο κύκλωμα Παράδειγμα Η λογική συνάρτηση F(A,B,C,D) = A+B +C +D αντιστοιχεί στο κύκλωμα αλλά και στο κύκλωμα

65 Λογικές πύλες και Άλγεβρα Boole Από τη συνάρτηση στο κύκλωμα Παράδειγμα Η λογική συνάρτηση F(A,B,C,D) = A+B +C +D αντιστοιχεί στο κύκλωμα αλλά και στο κύκλωμα

66 Λογικές πύλες και Άλγεβρα Boole Από τη συνάρτηση στο κύκλωμα Παρατήρηση: Σε μια συνάρτηση μπορεί να αντιστοιχούν πολλά κυκλώματα, όπως επίσης και σε ένα κύκλωμα να αντιστοιχούν πολλές αλγεβρικές εκφράσεις συναρτήσεων. Άσκηση Να βρεθεί ένα κύκλωμα που αντιστοιχεί στις παρακάτω συναρτήσεις f(a,b,c) = (A B )+(B C)+(A C) g(a,b) = (A+(A B))

67 Λογικές πύλες και Άλγεβρα Boole Από τη συνάρτηση στο κύκλωμα Παρατήρηση: Σε μια συνάρτηση μπορεί να αντιστοιχούν πολλά κυκλώματα, όπως επίσης και σε ένα κύκλωμα να αντιστοιχούν πολλές αλγεβρικές εκφράσεις συναρτήσεων. Άσκηση Να βρεθεί ένα κύκλωμα που αντιστοιχεί στις παρακάτω συναρτήσεις f(a,b,c) = (A B )+(B C)+(A C) g(a,b) = (A+(A B))

68 Λογικές πύλες και Άλγεβρα Boole Από τη συνάρτηση στο κύκλωμα Παρατήρηση: Σε μια συνάρτηση μπορεί να αντιστοιχούν πολλά κυκλώματα, όπως επίσης και σε ένα κύκλωμα να αντιστοιχούν πολλές αλγεβρικές εκφράσεις συναρτήσεων. Άσκηση Να βρεθεί ένα κύκλωμα που αντιστοιχεί στις παρακάτω συναρτήσεις f(a,b,c) = (A B )+(B C)+(A C) g(a,b) = (A+(A B))

69 Λογικές πύλες και Άλγεβρα Boole Επαρκή σύνολα Παρατήρηση Αν κατασκευάσουμε τον πίνακα αλήθειας της συνάρτησης f(x,y) = (x +y ) x y f παρατηρούμε ότι συμπίπτει με τον πίνακα αληθείας της f(x,y) = x y. Δηλαδή μπορούμε να εκφράσουμε την λογική πράξη χρησιμοποιώνταςμόνοτιςλογικέςπράξεις +και.

70 Λογικές πύλες και Άλγεβρα Boole Επαρκή σύνολα Παρατήρηση Αν κατασκευάσουμε τον πίνακα αλήθειας της συνάρτησης f(x,y) = (x +y ) x y f παρατηρούμε ότι συμπίπτει με τον πίνακα αληθείας της f(x,y) = x y. Δηλαδή μπορούμε να εκφράσουμε την λογική πράξη χρησιμοποιώνταςμόνοτιςλογικέςπράξεις +και.

71 Λογικές πύλες και Άλγεβρα Boole Επαρκή σύνολα Από την προηγούμενη παρατήρηση προκύπτει ότι Πρόταση Τοσύνολο {+, }είναιεπαρκέςγιαναεκφράσειοποιαδήποτε συνάρτησηπουκατασκευάζεταιαπότιςλογικέςπράξεις +,,. Άσκηση Νααποδειχθειότιτοσύνολο {, }είναιεπίσηςεπαρκές.

72 Λογικές πύλες και Άλγεβρα Boole Επαρκή σύνολα Από την προηγούμενη παρατήρηση προκύπτει ότι Πρόταση Τοσύνολο {+, }είναιεπαρκέςγιαναεκφράσειοποιαδήποτε συνάρτησηπουκατασκευάζεταιαπότιςλογικέςπράξεις +,,. Άσκηση Νααποδειχθειότιτοσύνολο {, }είναιεπίσηςεπαρκές.

73 Λογικές πύλες και Άλγεβρα Boole Επαρκή σύνολα και λογικές πύλες Παρατήρηση Λόγω της ιδιότητας x y = (x +y ) κάθεπύλη ANDμπορείνααντικασταθείαπό4πύλες:3 NOT και1or. Άσκηση Να κατασκευασθεί η πύλη AND χρησιμοποιώντας 3 NOT και 1 OR.

74 Λογικές πύλες και Άλγεβρα Boole Επαρκή σύνολα και λογικές πύλες Παρατήρηση Λόγω της ιδιότητας x y = (x +y ) κάθεπύλη ANDμπορείνααντικασταθείαπό4πύλες:3 NOT και1or. Άσκηση Να κατασκευασθεί η πύλη AND χρησιμοποιώντας 3 NOT και 1 OR.

75 Λογικές πύλες και Άλγεβρα Boole Λογικές πύλες Ενώ,οιπύλες AND, ORκαι NOTαντιστοιχούνάμεσαστις πράξεις τις άλγεβρα Boole. Στην πράξη όμως χρησιμοποιούνται κατα κόρον οι επόμενες δύο λογικές πύλες. Η(λογική) πύλη NAND A NAND B Η(λογική) πύλη NOR F A B F L L H L H H H L H H H L A B NOR F A B F L L H L H L H L L H H L

76 Λογικές πύλες και Άλγεβρα Boole Λογικές πύλες Ενώ,οιπύλες AND, ORκαι NOTαντιστοιχούνάμεσαστις πράξεις τις άλγεβρα Boole. Στην πράξη όμως χρησιμοποιούνται κατα κόρον οι επόμενες δύο λογικές πύλες. Η(λογική) πύλη NAND A NAND B Η(λογική) πύλη NOR F A B F L L H L H H H L H H H L A B NOR F A B F L L H L H L H L L H H L

77 Λογικές πύλες και Άλγεβρα Boole Λογικές πύλες Ενώ,οιπύλες AND, ORκαι NOTαντιστοιχούνάμεσαστις πράξεις τις άλγεβρα Boole. Στην πράξη όμως χρησιμοποιούνται κατα κόρον οι επόμενες δύο λογικές πύλες. Η(λογική) πύλη NAND A NAND B Η(λογική) πύλη NOR F A B F L L H L H H H L H H H L A B NOR F A B F L L H L H L H L L H H L

78 Λογικές πύλες και Άλγεβρα Boole Επαρκή σύνολα και λογικές πύλες Οιλογικέςπύλες NANDκαι NORμπορούνναεκφραστούνμετην βοήθειαενόςζεύγουςπυλώναπό ANDκαι NOT(NOTκαι OR) Στην πράξη όμως συμβαίνει το αντίθετο, οι υπόλοιπες πύλες εκφράζονται με την βοήθεια αυτών. Ολόγοςείναιότιοιπύλες NANDκαι NOR(σεφυσικόεπίπεδο) κατασκευάζονταιφθηνότερα,είναιταχύτερες,καταναλώνουν λιγότερηενέργεια,καιτελικά αυτέςείναιοιδομικοίλίθοιτων ολοκληρωμένων ψηφιακών κυκλωμάτων.

79 Λογικές πύλες και Άλγεβρα Boole Επαρκή σύνολα και λογικές πύλες Οιλογικέςπύλες NANDκαι NORμπορούνναεκφραστούνμετην βοήθειαενόςζεύγουςπυλώναπό ANDκαι NOT(NOTκαι OR) Στην πράξη όμως συμβαίνει το αντίθετο, οι υπόλοιπες πύλες εκφράζονται με την βοήθεια αυτών. Ολόγοςείναιότιοιπύλες NANDκαι NOR(σεφυσικόεπίπεδο) κατασκευάζονταιφθηνότερα,είναιταχύτερες,καταναλώνουν λιγότερηενέργεια,καιτελικά αυτέςείναιοιδομικοίλίθοιτων ολοκληρωμένων ψηφιακών κυκλωμάτων.

80 Λογικές πύλες και Άλγεβρα Boole Επαρκή σύνολα και λογικές πύλες Οιλογικέςπύλες NANDκαι NORμπορούνναεκφραστούνμετην βοήθειαενόςζεύγουςπυλώναπό ANDκαι NOT(NOTκαι OR) Στην πράξη όμως συμβαίνει το αντίθετο, οι υπόλοιπες πύλες εκφράζονται με την βοήθεια αυτών. Ολόγοςείναιότιοιπύλες NANDκαι NOR(σεφυσικόεπίπεδο) κατασκευάζονταιφθηνότερα,είναιταχύτερες,καταναλώνουν λιγότερηενέργεια,καιτελικά αυτέςείναιοιδομικοίλίθοιτων ολοκληρωμένων ψηφιακών κυκλωμάτων.

81 Λογικές πύλες και Άλγεβρα Boole Επαρκή σύνολα και λογικές πύλες Άσκηση Να εκφραστούν οι πύλες NOT, OR και AND χρησιμοποιώντας μόνο λογικές πύλες NAND. Το ίδιο πρόβλημα χρησιμοποιώντας μόνο λογικές πύλες NOR.

82 Λογικές πύλες και Άλγεβρα Boole Λογικές πύλες Επίσης ένα ζευγάρι από σημαντικές λογικές πύλες είναι οι εξής: Η(λογική) πύλη XOR A XOR B Η(λογική) πύλη XNOR F A B F L L L L H H H L H H H L A B XNOR F A B F L L H L H L H L L H H H

83 Λογικές πύλες και Άλγεβρα Boole Λογικές πύλες Επίσης ένα ζευγάρι από σημαντικές λογικές πύλες είναι οι εξής: Η(λογική) πύλη XOR A XOR B Η(λογική) πύλη XNOR F A B F L L L L H H H L H H H L A B XNOR F A B F L L H L H L H L L H H H

84 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Υπενθύμιση: Ενας τρόπος αναπαράστασης μιας λογικής συνάρτησης, αντί της αλγεβρικής της παράστασης, είναι μέσω πινάκων αληθείας. Παράδειγμα Στησυνάρτηση f(x,y) = x y +x yαντιστοιχείοεπόμενος x y f πίνακας αληθείας: Ερώτημα: Εχοντας την αναπαράσταση μιας λογικής συνάρτησης μέσω πίνακα αληθείας μπορεί να βρεθεί η αλγεβρική της παράσταση;

85 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Υπενθύμιση: Ενας τρόπος αναπαράστασης μιας λογικής συνάρτησης, αντί της αλγεβρικής της παράστασης, είναι μέσω πινάκων αληθείας. Παράδειγμα Στησυνάρτηση f(x,y) = x y +x yαντιστοιχείοεπόμενος x y f πίνακας αληθείας: Ερώτημα: Εχοντας την αναπαράσταση μιας λογικής συνάρτησης μέσω πίνακα αληθείας μπορεί να βρεθεί η αλγεβρική της παράσταση;

86 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Ενώ ο πίνακας αληθείας είναι μοναδικός για κάθε συνάρτηση f, σε κάθε πίνακα αληθείας αντιστοιχούν πολλές(άπειρες) αλγεβρικές παραστάσεις. Μερικές από τις αλγεβρικές παραστάσεις που αντιστοιχούν στο πίνακα αληθείας του προηγούμενου παραδείγματος είναι οι εξής: f(x,y) = x y +x y f(x,y) = x (y +y x)+x (y +y) f(x,y) = x y +y (x +x)+x y κ.ο.κ. x y f

87 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Ενώ ο πίνακας αληθείας είναι μοναδικός για κάθε συνάρτηση f, σε κάθε πίνακα αληθείας αντιστοιχούν πολλές(άπειρες) αλγεβρικές παραστάσεις. Μερικές από τις αλγεβρικές παραστάσεις που αντιστοιχούν στο πίνακα αληθείας του προηγούμενου παραδείγματος είναι οι εξής: f(x,y) = x y +x y f(x,y) = x (y +y x)+x (y +y) f(x,y) = x y +y (x +x)+x y κ.ο.κ. x y f

88 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Ερωτήματα Πώς υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; Ποια απ όλες τις αλγεβρικές εκφράσεις είναι η πιο κατάλληλη για τις εφαρμογές;

89 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Ερωτήματα Πώς υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; Ποια απ όλες τις αλγεβρικές εκφράσεις είναι η πιο κατάλληλη για τις εφαρμογές;

90 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Πως υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; Παράδειγμα x y f Ιδέα:Ανβρωμιααλγεβρικήπαράσταση f 1 πουδίνει 1μόνο όταν x = 0και y = 1καιβρωμιααλγεβρικήπαράσταση f 2 που δίνει 1μόνοόταν x = 1και y = 0,τότεηf μπορείναεκφραστεί ωςάθροισματων f 1 και f 2 f = f 1 +f 2

91 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Πως υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; Παράδειγμα x y f Ιδέα:Ανβρωμιααλγεβρικήπαράσταση f 1 πουδίνει 1μόνο όταν x = 0και y = 1καιβρωμιααλγεβρικήπαράσταση f 2 που δίνει 1μόνοόταν x = 1και y = 0,τότεηf μπορείναεκφραστεί ωςάθροισματων f 1 και f 2 f = f 1 +f 2

92 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Ιδέα:Ανβρωμιααλγεβρικήπαράσταση f 1 πουδίνει 1μόνο όταν x = 0και y = 1καιβρωμιααλγεβρικήπαράσταση f 2 που δίνει 1μόνοόταν x = 1και y = 0,τότεηf μπορείναεκφραστεί ωςάθροισματων f 1 και f 2 f = f 1 +f 2 x y f Ηαπλούστερηέκφρασηγιατην f 1 είναιηf 1 = x y. Ηαπλούστερηέκφρασηγιατην f 2 είναιηf 2 = xy. Άρα, f(x,y) = x y +xy.

93 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Πως υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; Παράδειγμα x y f Ιδέα 2:Ανβρωμιααλγεβρικήπαράσταση f 1 πουδίνει 0μόνο όταν x = 0και y = 0καιβρωμιααλγεβρικήπαράσταση f 2 που δίνει 0μόνοόταν x = 1και y = 1,τότεηf μπορείναεκφραστεί ωςγινόμενοτων f 1 και f 2 f = f 1 f 2

94 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Ιδέα 2:Ανβρωμιααλγεβρικήπαράσταση f 1 πουδίνει 0μόνο όταν x = 0και y = 0καιβρωμιααλγεβρικήπαράσταση f 2 που δίνει 0μόνοόταν x = 1και y = 1,τότεηf μπορείναεκφραστεί ωςγινόμενοτων f 1 και f 2 f = f 1 f 2 x y f Ηαπλούστερηέκφρασηγιατην f 1 είναιηf 1 = x +y. Ηαπλούστερηέκφρασηγιατην f 2 είναιηf 2 = x +y. Άρα, f(x,y) = (x +y)(x +y ).

95 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Πως υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; x y f f(x,y) = x y +xy. f(x,y) = (x +y)(x +y ). Στην πρώτη μορφή γράψαμε την f ως άθροισμα γινομένων. Ο κάθε όρος του αθροίσματος ονομάζεται ελαχιστόρος. Ενώστηδεύτερημορφήγράψαμετην f ωςγινόμενο αθροισμάτων. Ο κάθε όρος του γινομένου ονομάζεται μεγιστόρος.

96 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Πως υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; x y f f(x,y) = x y +xy. f(x,y) = (x +y)(x +y ). Στην πρώτη μορφή γράψαμε την f ως άθροισμα γινομένων. Ο κάθε όρος του αθροίσματος ονομάζεται ελαχιστόρος. Ενώστηδεύτερημορφήγράψαμετην f ωςγινόμενο αθροισμάτων. Ο κάθε όρος του γινομένου ονομάζεται μεγιστόρος.

97 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Πως υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; x y f f(x,y) = x y +xy. f(x,y) = (x +y)(x +y ). Στην πρώτη μορφή γράψαμε την f ως άθροισμα γινομένων. Ο κάθε όρος του αθροίσματος ονομάζεται ελαχιστόρος. Ενώστηδεύτερημορφήγράψαμετην f ωςγινόμενο αθροισμάτων. Ο κάθε όρος του γινομένου ονομάζεται μεγιστόρος.

98 Κανονικές μορφές λογικών συναρτήσεων Ελαχιστόροι Με βάση των πίνακα αληθείας μιας συνάρτησης τριων μεταβλητών οι δυνατοί ελαχιστόροι είναι οι εξης: x y z ελαχιστόρος x y z x y z x yz x yz xy z xy z xyz xyz

99 Κανονικές μορφές λογικών συναρτήσεων Ελαχιστόροι Επειδήκάθετριάδατιμώντων x,y,zαντιστοιχείσεένα μοναδικό δυαδικό αριθμό μπορούμε να ονομάσουμε τους ελαχιστόρους με βάση αυτόν το αριθμό ως εξής: x y z ελαχιστόρος ονομασία x y z m x y z m x yz m x yz m xy z m xy z m xyz m xyz m 7

100 Κανονικές μορφές λογικών συναρτήσεων Μεγιστόροι Με βάση των πίνακα αληθείας μιας συνάρτησης τριων μεταβλητών οι δυνατοί μεγιστόροι είναι οι εξης: x y z μεγιστόρος x +y +z x +y +z x +y +z x +y +z x +y +z x +y +z x +y +z x +y +z

101 Κανονικές μορφές λογικών συναρτήσεων Μεγιστόροι Αντίστοιχα,επειδήκάθετριάδατιμώντων x,y,zαντιστοιχείσε ένα μοναδικό δυαδικό αριθμό μπορούμε να ονομάσουμε τους μεγιστόρους με βάση αυτόν το αριθμό ως εξής: x y z μεγιστόρος ονομασία x +y +z M x +y +z M x +y +z M x +y +z M x +y +z M x +y +z M x +y +z M x +y +z M 7

102 Κανονικές μορφές λογικών συναρτήσεων Άσκηση Να γραφούν ως άθροισμα ελαχιστόρων και γινόμενο μεγιστόρων οι συναρτήσεις f, g με τους παρακάτω πίνακες αληθείας. x y z f g

103 Κανονικές μορφές λογικών συναρτήσεων Συνοπτικός συμβολισμός Στην προηγούμενη άσκηση ισχύει ότι και f(x,y,z) = m 1 +m 4 +m 7 g(x,y,z) = m 3 +m 5 +m 6 +m 7 Ενας συνοπτικότερος τρόπος συμβολισμού αυτών των αθροισμάτων είναι ο ακόλουθος: f(x,y,z) = Σ(1,4,7) και g(x,y,z) = Σ(3,5,6,7)

104 Κανονικές μορφές λογικών συναρτήσεων Συνοπτικός συμβολισμός Αντίστοιχα, ισχύει ότι και f(x,y,z) = M 0 M 2 M 3 M 5 M 6 g(x,y,z) = M 0 M 1 M 2 M 4 Ενας συνοπτικότερος τρόπος συμβολισμού αυτών των γινομένων είναι ο ακόλουθος: f(x,y,z) = Π(0,2,3,5,6) και g(x,y,z) = Π(0,1,2,4)

105 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Υπενθύμιση: Ενας τρόπος αναπαράστασης μιας λογικής συνάρτησης, αντί της αλγεβρικής της παράστασης, είναι μέσω πινάκων αληθείας. Παράδειγμα Στησυνάρτηση f(x,y) = x y +x yαντιστοιχείοεπόμενος x y f πίνακας αληθείας: Ερώτημα: Εχοντας την αναπαράσταση μιας λογικής συνάρτησης μέσω πίνακα αληθείας μπορεί να βρεθεί η αλγεβρική της παράσταση;

106 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Υπενθύμιση: Ενας τρόπος αναπαράστασης μιας λογικής συνάρτησης, αντί της αλγεβρικής της παράστασης, είναι μέσω πινάκων αληθείας. Παράδειγμα Στησυνάρτηση f(x,y) = x y +x yαντιστοιχείοεπόμενος x y f πίνακας αληθείας: Ερώτημα: Εχοντας την αναπαράσταση μιας λογικής συνάρτησης μέσω πίνακα αληθείας μπορεί να βρεθεί η αλγεβρική της παράσταση;

107 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Ενώ ο πίνακας αληθείας είναι μοναδικός για κάθε συνάρτηση f, σε κάθε πίνακα αληθείας αντιστοιχούν πολλές(άπειρες) αλγεβρικές παραστάσεις. Μερικές από τις αλγεβρικές παραστάσεις που αντιστοιχούν στο πίνακα αληθείας του προηγούμενου παραδείγματος είναι οι εξής: f(x,y) = x y +x y f(x,y) = x (y +y x)+x (y +y) f(x,y) = x y +y (x +x)+x y κ.ο.κ. x y f

108 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Ενώ ο πίνακας αληθείας είναι μοναδικός για κάθε συνάρτηση f, σε κάθε πίνακα αληθείας αντιστοιχούν πολλές(άπειρες) αλγεβρικές παραστάσεις. Μερικές από τις αλγεβρικές παραστάσεις που αντιστοιχούν στο πίνακα αληθείας του προηγούμενου παραδείγματος είναι οι εξής: f(x,y) = x y +x y f(x,y) = x (y +y x)+x (y +y) f(x,y) = x y +y (x +x)+x y κ.ο.κ. x y f

109 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Ερωτήματα Πώς υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; Ποια απ όλες τις αλγεβρικές εκφράσεις είναι η πιο κατάλληλη για τις εφαρμογές;

110 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Ερωτήματα Πώς υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; Ποια απ όλες τις αλγεβρικές εκφράσεις είναι η πιο κατάλληλη για τις εφαρμογές;

111 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Πως υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; Παράδειγμα x y f Ιδέα:Ανβρωμιααλγεβρικήπαράσταση f 1 πουδίνει 1μόνο όταν x = 0και y = 1καιβρωμιααλγεβρικήπαράσταση f 2 που δίνει 1μόνοόταν x = 1και y = 0,τότεηf μπορείναεκφραστεί ωςάθροισματων f 1 και f 2 f = f 1 +f 2

112 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Πως υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; Παράδειγμα x y f Ιδέα:Ανβρωμιααλγεβρικήπαράσταση f 1 πουδίνει 1μόνο όταν x = 0και y = 1καιβρωμιααλγεβρικήπαράσταση f 2 που δίνει 1μόνοόταν x = 1και y = 0,τότεηf μπορείναεκφραστεί ωςάθροισματων f 1 και f 2 f = f 1 +f 2

113 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Ιδέα:Ανβρωμιααλγεβρικήπαράσταση f 1 πουδίνει 1μόνο όταν x = 0και y = 1καιβρωμιααλγεβρικήπαράσταση f 2 που δίνει 1μόνοόταν x = 1και y = 0,τότεηf μπορείναεκφραστεί ωςάθροισματων f 1 και f 2 f = f 1 +f 2 x y f Ηαπλούστερηέκφρασηγιατην f 1 είναιηf 1 = x y. Ηαπλούστερηέκφρασηγιατην f 2 είναιηf 2 = xy. Άρα, f(x,y) = x y +xy.

114 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Πως υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; Παράδειγμα x y f Ιδέα 2:Ανβρωμιααλγεβρικήπαράσταση f 1 πουδίνει 0μόνο όταν x = 0και y = 0καιβρωμιααλγεβρικήπαράσταση f 2 που δίνει 0μόνοόταν x = 1και y = 1,τότεηf μπορείναεκφραστεί ωςγινόμενοτων f 1 και f 2 f = f 1 f 2

115 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Ιδέα 2:Ανβρωμιααλγεβρικήπαράσταση f 1 πουδίνει 0μόνο όταν x = 0και y = 0καιβρωμιααλγεβρικήπαράσταση f 2 που δίνει 0μόνοόταν x = 1και y = 1,τότεηf μπορείναεκφραστεί ωςγινόμενοτων f 1 και f 2 f = f 1 f 2 x y f Ηαπλούστερηέκφρασηγιατην f 1 είναιηf 1 = x +y. Ηαπλούστερηέκφρασηγιατην f 2 είναιηf 2 = x +y. Άρα, f(x,y) = (x +y)(x +y ).

116 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Πως υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; x y f f(x,y) = x y +xy. f(x,y) = (x +y)(x +y ). Στην πρώτη μορφή γράψαμε την f ως άθροισμα γινομένων. Ο κάθε όρος του αθροίσματος ονομάζεται ελαχιστόρος. Ενώστηδεύτερημορφήγράψαμετην f ωςγινόμενο αθροισμάτων. Ο κάθε όρος του γινομένου ονομάζεται μεγιστόρος.

117 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Πως υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; x y f f(x,y) = x y +xy. f(x,y) = (x +y)(x +y ). Στην πρώτη μορφή γράψαμε την f ως άθροισμα γινομένων. Ο κάθε όρος του αθροίσματος ονομάζεται ελαχιστόρος. Ενώστηδεύτερημορφήγράψαμετην f ωςγινόμενο αθροισμάτων. Ο κάθε όρος του γινομένου ονομάζεται μεγιστόρος.

118 Κανονικές μορφές λογικών συναρτήσεων Από τον πίνακα αληθείας στη συνάρτηση Πως υπολογίζεται η αλγεβρική παράσταση μιας συνάρτησης από τον πίνακα αληθείας; x y f f(x,y) = x y +xy. f(x,y) = (x +y)(x +y ). Στην πρώτη μορφή γράψαμε την f ως άθροισμα γινομένων. Ο κάθε όρος του αθροίσματος ονομάζεται ελαχιστόρος. Ενώστηδεύτερημορφήγράψαμετην f ωςγινόμενο αθροισμάτων. Ο κάθε όρος του γινομένου ονομάζεται μεγιστόρος.

119 Κανονικές μορφές λογικών συναρτήσεων Ελαχιστόροι Με βάση των πίνακα αληθείας μιας συνάρτησης τριων μεταβλητών οι δυνατοί ελαχιστόροι είναι οι εξης: x y z ελαχιστόρος x y z x y z x yz x yz xy z xy z xyz xyz

120 Κανονικές μορφές λογικών συναρτήσεων Ελαχιστόροι Επειδήκάθετριάδατιμώντων x,y,zαντιστοιχείσεένα μοναδικό δυαδικό αριθμό μπορούμε να ονομάσουμε τους ελαχιστόρους με βάση αυτόν το αριθμό ως εξής: x y z ελαχιστόρος ονομασία x y z m x y z m x yz m x yz m xy z m xy z m xyz m xyz m 7

121 Κανονικές μορφές λογικών συναρτήσεων Μεγιστόροι Με βάση των πίνακα αληθείας μιας συνάρτησης τριων μεταβλητών οι δυνατοί μεγιστόροι είναι οι εξης: x y z μεγιστόρος x +y +z x +y +z x +y +z x +y +z x +y +z x +y +z x +y +z x +y +z

122 Κανονικές μορφές λογικών συναρτήσεων Μεγιστόροι Αντίστοιχα,επειδήκάθετριάδατιμώντων x,y,zαντιστοιχείσε ένα μοναδικό δυαδικό αριθμό μπορούμε να ονομάσουμε τους μεγιστόρους με βάση αυτόν το αριθμό ως εξής: x y z μεγιστόρος ονομασία x +y +z M x +y +z M x +y +z M x +y +z M x +y +z M x +y +z M x +y +z M x +y +z M 7

123 Κανονικές μορφές λογικών συναρτήσεων Άσκηση Να γραφούν ως άθροισμα ελαχιστόρων και γινόμενο μεγιστόρων οι συναρτήσεις f, g με τους παρακάτω πίνακες αληθείας. x y z f g

124 Κανονικές μορφές λογικών συναρτήσεων Συνοπτικός συμβολισμός Στην προηγούμενη άσκηση ισχύει ότι και f(x,y,z) = m 1 +m 4 +m 7 g(x,y,z) = m 3 +m 5 +m 6 +m 7 Ενας συνοπτικότερος τρόπος συμβολισμού αυτών των αθροισμάτων είναι ο ακόλουθος: f(x,y,z) = Σ(1,4,7) και g(x,y,z) = Σ(3,5,6,7)

125 Κανονικές μορφές λογικών συναρτήσεων Συνοπτικός συμβολισμός Αντίστοιχα, ισχύει ότι και f(x,y,z) = M 0 M 2 M 3 M 5 M 6 g(x,y,z) = M 0 M 1 M 2 M 4 Ενας συνοπτικότερος τρόπος συμβολισμού αυτών των γινομένων είναι ο ακόλουθος: f(x,y,z) = Π(0,2,3,5,6) και g(x,y,z) = Π(0,1,2,4)

126 Απλοποίηση λογικών συναρτήσεων Οι αλγεβρικές παραστάσεις και x +xy έχουν τον ίδιο πίνακα αληθείας, δηλαδή περιγράφουν την ίδια λογική συνάρτηση. Επομένως, στην περίπτωση που θέλουμε να υλοποίησουμε την συνάρτηση αυτή είναι προτιμότερο να χρησιμοποιήσουμε την δεύτερη μορφή διότι είναι απλούστερη, αφού περιέχει λιγότερα αθροίσματα και κάθε άθροισμα περιέχει λιγότερες μεταβλητές. Με βάση αυτά τα δύο κριτήρια θα μελετήσουμε μεθόδους για την απλοποίηση λογικών συναρτήσεων. x

127 Απλοποίηση λογικών συναρτήσεων Οι αλγεβρικές παραστάσεις και x +xy έχουν τον ίδιο πίνακα αληθείας, δηλαδή περιγράφουν την ίδια λογική συνάρτηση. Επομένως, στην περίπτωση που θέλουμε να υλοποίησουμε την συνάρτηση αυτή είναι προτιμότερο να χρησιμοποιήσουμε την δεύτερη μορφή διότι είναι απλούστερη, αφού περιέχει λιγότερα αθροίσματα και κάθε άθροισμα περιέχει λιγότερες μεταβλητές. Με βάση αυτά τα δύο κριτήρια θα μελετήσουμε μεθόδους για την απλοποίηση λογικών συναρτήσεων. x

128 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Η μέθοδος των ιδιοτήτων

129 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 1 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = (x +y)(z +w)(y +w )z Ισχύει ότι f(x,y,z,w) = (x +y)(z z +w z)(y +w ) = (x +y)(0+wz)(y +w ) = (x +y)(y wz +wzw ) = (x +y)(y wz +0) = x y wz +yy wz = x y wz

130 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 1 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = (x +y)(z +w)(y +w )z Ισχύει ότι f(x,y,z,w) = (x +y)(z z +w z)(y +w ) = (x +y)(0+wz)(y +w ) = (x +y)(y wz +wzw ) = (x +y)(y wz +0) = x y wz +yy wz = x y wz

131 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 1 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = (x +y)(z +w)(y +w )z Ισχύει ότι f(x,y,z,w) = (x +y)(z z +w z)(y +w ) = (x +y)(0+wz)(y +w ) = (x +y)(y wz +wzw ) = (x +y)(y wz +0) = x y wz +yy wz = x y wz

132 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 1 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = (x +y)(z +w)(y +w )z Ισχύει ότι f(x,y,z,w) = (x +y)(z z +w z)(y +w ) = (x +y)(0+wz)(y +w ) = (x +y)(y wz +wzw ) = (x +y)(y wz +0) = x y wz +yy wz = x y wz

133 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 1 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = (x +y)(z +w)(y +w )z Ισχύει ότι f(x,y,z,w) = (x +y)(z z +w z)(y +w ) = (x +y)(0+wz)(y +w ) = (x +y)(y wz +wzw ) = (x +y)(y wz +0) = x y wz +yy wz = x y wz

134 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 1 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = (x +y)(z +w)(y +w )z Ισχύει ότι f(x,y,z,w) = (x +y)(z z +w z)(y +w ) = (x +y)(0+wz)(y +w ) = (x +y)(y wz +wzw ) = (x +y)(y wz +0) = x y wz +yy wz = x y wz

135 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 1 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = (x +y)(z +w)(y +w )z Ισχύει ότι f(x,y,z,w) = (x +y)(z z +w z)(y +w ) = (x +y)(0+wz)(y +w ) = (x +y)(y wz +wzw ) = (x +y)(y wz +0) = x y wz +yy wz = x y wz

136 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 2 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = xy +yz +z w +x y z. Ισχύει ότι f(x,y,z,w) = y (x +x z)+yz +z w = y (x +z)+yz +z wιδιότητα v. = y x +y z +yz +z w = y x +(y +y)z +z w = y x +z +z w = y x +z +wιδιότητα v. = xy +z +w

137 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 2 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = xy +yz +z w +x y z. Ισχύει ότι f(x,y,z,w) = y (x +x z)+yz +z w = y (x +z)+yz +z wιδιότητα v. = y x +y z +yz +z w = y x +(y +y)z +z w = y x +z +z w = y x +z +wιδιότητα v. = xy +z +w

138 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 2 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = xy +yz +z w +x y z. Ισχύει ότι f(x,y,z,w) = y (x +x z)+yz +z w = y (x +z)+yz +z wιδιότητα v. = y x +y z +yz +z w = y x +(y +y)z +z w = y x +z +z w = y x +z +wιδιότητα v. = xy +z +w

139 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 2 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = xy +yz +z w +x y z. Ισχύει ότι f(x,y,z,w) = y (x +x z)+yz +z w = y (x +z)+yz +z wιδιότητα v. = y x +y z +yz +z w = y x +(y +y)z +z w = y x +z +z w = y x +z +wιδιότητα v. = xy +z +w

140 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 2 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = xy +yz +z w +x y z. Ισχύει ότι f(x,y,z,w) = y (x +x z)+yz +z w = y (x +z)+yz +z wιδιότητα v. = y x +y z +yz +z w = y x +(y +y)z +z w = y x +z +z w = y x +z +wιδιότητα v. = xy +z +w

141 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 2 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = xy +yz +z w +x y z. Ισχύει ότι f(x,y,z,w) = y (x +x z)+yz +z w = y (x +z)+yz +z wιδιότητα v. = y x +y z +yz +z w = y x +(y +y)z +z w = y x +z +z w = y x +z +wιδιότητα v. = xy +z +w

142 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 2 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = xy +yz +z w +x y z. Ισχύει ότι f(x,y,z,w) = y (x +x z)+yz +z w = y (x +z)+yz +z wιδιότητα v. = y x +y z +yz +z w = y x +(y +y)z +z w = y x +z +z w = y x +z +wιδιότητα v. = xy +z +w

143 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 2 Να απλοποιηθεί η συνάρτηση f(x,y,z,w) = xy +yz +z w +x y z. Ισχύει ότι f(x,y,z,w) = y (x +x z)+yz +z w = y (x +z)+yz +z wιδιότητα v. = y x +y z +yz +z w = y x +(y +y)z +z w = y x +z +z w = y x +z +wιδιότητα v. = xy +z +w

144 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 3 Να απλοποιηθεί η συνάρτηση f(x,y,z) = x yz +xy z +xyz +xyz Ισχύει ότι f(x,y,z) = x yz +xy z +xy(z +z) = x yz +xy z +xy = (x z +x)y +xy z = (x +z)y +xy z = xy +zy +xy z = xy +z(y +xy = xy +z(y +x) = xy +zy +xz

145 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 3 Να απλοποιηθεί η συνάρτηση f(x,y,z) = x yz +xy z +xyz +xyz Ισχύει ότι f(x,y,z) = x yz +xy z +xy(z +z) = x yz +xy z +xy = (x z +x)y +xy z = (x +z)y +xy z = xy +zy +xy z = xy +z(y +xy = xy +z(y +x) = xy +zy +xz

146 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 3 Να απλοποιηθεί η συνάρτηση f(x,y,z) = x yz +xy z +xyz +xyz Ισχύει ότι f(x,y,z) = x yz +xy z +xy(z +z) = x yz +xy z +xy = (x z +x)y +xy z = (x +z)y +xy z = xy +zy +xy z = xy +z(y +xy = xy +z(y +x) = xy +zy +xz

147 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 3 Να απλοποιηθεί η συνάρτηση f(x,y,z) = x yz +xy z +xyz +xyz Ισχύει ότι f(x,y,z) = x yz +xy z +xy(z +z) = x yz +xy z +xy = (x z +x)y +xy z = (x +z)y +xy z = xy +zy +xy z = xy +z(y +xy = xy +z(y +x) = xy +zy +xz

148 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 3 Να απλοποιηθεί η συνάρτηση f(x,y,z) = x yz +xy z +xyz +xyz Ισχύει ότι f(x,y,z) = x yz +xy z +xy(z +z) = x yz +xy z +xy = (x z +x)y +xy z = (x +z)y +xy z = xy +zy +xy z = xy +z(y +xy = xy +z(y +x) = xy +zy +xz

149 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 3 Να απλοποιηθεί η συνάρτηση f(x,y,z) = x yz +xy z +xyz +xyz Ισχύει ότι f(x,y,z) = x yz +xy z +xy(z +z) = x yz +xy z +xy = (x z +x)y +xy z = (x +z)y +xy z = xy +zy +xy z = xy +z(y +xy = xy +z(y +x) = xy +zy +xz

150 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 3 Να απλοποιηθεί η συνάρτηση f(x,y,z) = x yz +xy z +xyz +xyz Ισχύει ότι f(x,y,z) = x yz +xy z +xy(z +z) = x yz +xy z +xy = (x z +x)y +xy z = (x +z)y +xy z = xy +zy +xy z = xy +z(y +xy = xy +z(y +x) = xy +zy +xz

151 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 3 Να απλοποιηθεί η συνάρτηση f(x,y,z) = x yz +xy z +xyz +xyz Ισχύει ότι f(x,y,z) = x yz +xy z +xy(z +z) = x yz +xy z +xy = (x z +x)y +xy z = (x +z)y +xy z = xy +zy +xy z = xy +z(y +xy = xy +z(y +x) = xy +zy +xz

152 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Παράδειγμα 3 Να απλοποιηθεί η συνάρτηση f(x,y,z) = x yz +xy z +xyz +xyz Ισχύει ότι f(x,y,z) = x yz +xy z +xy(z +z) = x yz +xy z +xy = (x z +x)y +xy z = (x +z)y +xy z = xy +zy +xy z = xy +z(y +xy = xy +z(y +x) = xy +zy +xz

153 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Πλεονεκτήματα της μεθόδου των ιδιοτήτων: Γενική μέθοδος Μειονεκτήματα της μεθόδου των ιδιοτήτων: Ποια ιδιότητα θα εφαρμοσθεί σε κάθε βήμα; Πότε σταματάμε; Δηλαδή υπάρχει άλλη απλοποίηση; Προκειμένου να αντιμετωπισθούν αυτές οι δυσκολίες αναπτύχθηκαν διάφορες αλγοριθμικές μεθοδολογίες για την απλοποίηση συναρτήσεων.

154 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Πλεονεκτήματα της μεθόδου των ιδιοτήτων: Γενική μέθοδος Μειονεκτήματα της μεθόδου των ιδιοτήτων: Ποια ιδιότητα θα εφαρμοσθεί σε κάθε βήμα; Πότε σταματάμε; Δηλαδή υπάρχει άλλη απλοποίηση; Προκειμένου να αντιμετωπισθούν αυτές οι δυσκολίες αναπτύχθηκαν διάφορες αλγοριθμικές μεθοδολογίες για την απλοποίηση συναρτήσεων.

155 Απλοποίηση λογικών συναρτήσεων 1η μέθοδος: Με τη βοήθεια των ιδιοτήτων Πλεονεκτήματα της μεθόδου των ιδιοτήτων: Γενική μέθοδος Μειονεκτήματα της μεθόδου των ιδιοτήτων: Ποια ιδιότητα θα εφαρμοσθεί σε κάθε βήμα; Πότε σταματάμε; Δηλαδή υπάρχει άλλη απλοποίηση; Προκειμένου να αντιμετωπισθούν αυτές οι δυσκολίες αναπτύχθηκαν διάφορες αλγοριθμικές μεθοδολογίες για την απλοποίηση συναρτήσεων.

156 Απλοποίηση λογικών συναρτήσεων 2η μέθοδος: Η μέθοδος του χάρτη Karnaugh Η μέθοδος του χάρτη Karnaugh