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

Transcript

1 3. Απλοποίηση Συναρτήσεων Boole 3. Μέθοδος του χάρτη Η πολυπλοκότητα ψηφιακών πυλών που υλοποιούν μια συνάρτηση Boole σχετίζεται άμεσα με την πολύπλοκότητα της αλγεβρικής της έκφρασης. Η αλγεβρική αναπαράσταση μιας συνάρτησης Boole μπορεί να πάρει πολλές μορφές. Στόχος είναι η παραγωγή απλούστερων μορφών. Οι αλγεβρικοί τρόποι απλοποίησης είναι δύσχρηστοι διότι δεν ακολουθούν συγκεκριμένη μεθοδολογία. Η μέθοδος του χάρτη ή χάρτης Καρνώ είναι μια απλή μέθοδος για την ελαχιστοποίηση των συναρτήσεων Boole. Ο χάρτης Καρνώ είναι ένα διάγραμμα αποτελούμενο από τετράγωνα όπου κάθε τετράγωνο παριστάνει έναν ελαχιστόρο. Μια συνάρτηση Boole αναγνωρίζεται γραφικά στο χάρτη από την περιοχή που καλύπτουν τα τετράγωνα των ελαχιστόρων που περιέχονται στη συνάρτηση. Μπορούν να δημιουργηθούν εναλλακτικές αλγεβρικές παραστάσεις για την ίδια συνάρτηση. Θεωρούμε απλούστερη αυτήν που έχει τον ελάχιστο αριθμό παραγόντων.

2 Χάρτης δυο και τριών μεταβλητών Χάρτης δυο μεταβλητών m 0 m y x 0 0 x y x y m 2 m 3 xy xy Τρόπος αναπαράστασης συναρτήσεων Boole στο Χάρτη Καρνώ y x 0 0 y x 0 0 f=xy=m 3 f=x+y=x y+xy +xy=m +m 2 +m 3

3 Χάρτης τριών μεταβλητών x yz m 0 m m 3 m 2 0 x y z x y z x yz x yz m 4 m 5 m 7 m 6 xy z xy z xyz xyz Βασική ιδιότητα: οποιαδήποτε δυο γειτονικά τετράγωνα στο χάρτη διαφέρουν κατά μία μόνο μεταβλητή, η οποία εμφανίζεται ως το συμπλήρωμά της στο ένα τετράγωνο και με την πραγματική της τιμή στο άλλο Το άθροισμα δυο ελαχιστόρων σε γειτονικά τετράγωνα μπορεί να απλοποιηθεί σε έναν όρο AND με δυο μόνο παράγοντες π.χ. m 5 +m 7 = xy z +xyz=xz(y +y)=xz

4 Χάρτης τριών μεταβλητών Π.χ. απλοποιείστε τη συνάρτηση Boole F(x,y,z)=Σ(2,3,4,5) Απάντηση: Δημιουργούμε το χάρτη Karnaugh yz x Βρίσκουμε και προσθέτουμε τους γειτονικούς ελαχιστόρους x yz + x yz = x y(z+ z )= x y xy z + xy z= xy (z +z)= xy Συνεπώς F= x y+xy

5 Χάρτης τριών μεταβλητών Π.χ. απλοποιείστε τη συνάρτηση Boole F(x,y,z)=Σ(3,4,6,7) yz x F= yz+xz Ο αριθμός των γειτονικών τετραγώνων που μπορούν να συνδυαστούν πρέπει πάντα να αντιπροσωπεύει αριθμό που είναι δύναμη του 2 Καθώς μεγαλώνει ο αριθμός των γειτονικών τετραγώνων που συνδυάζονται παίρνουμε γινόμενα με λιγότερους όρους πχ. m 0 +m 2 +m 4 +m 6 = x y z + x yz + xy z + xyz = x z (y +y)+ xz (y +y)= = x z + xz = z (x + x) = z

6 Χάρτης τριών μεταβλητών Π.χ. απλοποιείστε τη συνάρτηση Boole F(x,y,z)=Σ(0,2,4,5,6) yz x F= z +xy Αν μια συνάρτηση δεν εκφράζεται ως άθροισμα ελαχιστόρων, είναι δυνατό να χρησιμοποιήσουμε το χάρτη για να πάρουμε τους ελαχιστόρους της συνάρτησης και μετά να απλοποιήσουμε τη συνάρτηση σε μια έκφραση με ελάχιστο αριθμό όρων Είναι απαραίτητο να εξασφαλίσουμε ότι η αλγεβρική έκφραση είναι σε μορφή αθροίσματος γινομένων. Κάθε όρος γινομένου μπορεί να παρασταθεί στο χάρτη με ένα, δύο ή περισσότερα τετράγωνα

7 Χάρτης τριών μεταβλητών Π.χ. Δίνεται η συνάρτηση F(A,B,C) = A C + A B + AB C + BC α) να εκφραστεί σε άθροισμα ελαχιστόρων β) να ελαχιστοποιηθεί σε άθροισμα γινομένων BC Α α) F(A,B,C)= Σ(,2,3,5,7) β) F = C + A B

8 3.2 Χάρτης τεσσάρων μεταβλητών yz wx m 0 m m 3 m 2 00 w x y z w x y z w x yz w x yz m 4 m 5 m 7 m 6 0 w xy z w xy z w xyz w xyz m 2 m 3 m 5 m 4 wxy z wxy z wxyz wxyz m 8 m 9 m m 0 0 wx y z wx y z wx yz wx yz Η ελαχιστοποίηση συναρτήσεων Boole τεσσάρων μεταβλητών με το χάρτη είναι παρόμοια με αυτή των τριών μεταβλητών

9 yz wx Χάρτης τεσσάρων μεταβλητών Απλοποιείστε τη συνάρτηση Boole F(w,x,y,z)=Σ(0,,2,4,5,6,8,9,2,3,4) 0 F(x,y,z)= y + w z + xz 0 Γίνονται οι παρακάτω ομαδοποιήσεις m 0 +m +m 4 +m 5 + m 8 +m 9 +m 2 +m 3 = w x y z + w x y z+ w xy z + w xy z+ wx y z +wx y z+ wxy z + wxy z w x y w xy wx y wxy w y y m 0 +m 2 +m 4 +m 6 = w x y z + w x yz + w xy z + w xyz = w x z + w xz = w z m 4 +m 6 +m 2 +m 4 = w xy z + w xyz + wxy z + +wxyz = w xz + wxz = xz wy

10 CD AB Χάρτης τεσσάρων μεταβλητών Απλοποιείστε τη συνάρτηση Boole F(A,B,C,D)= A B C + B CD + A BCD + AB C 0 F (A,B,C,D)= B C + B D + A CD 0 Γίνονται οι συνδυασμοί m 0 +m +m 8 +m 9 = Α Β C D + A B C D+ AB C D +AB C D= Α Β C + AB C = B C m 0 +m 2 +m 8 +m 0 = Α Β C D + A B CD + AB C D +AB CD = Α Β D + A B D = B D m 0 +m 6 = Α Β CD + A BCD = A CD

11 Πρώτοι Όροι (Prime Implicants) Η διαδικασία για τον συνδυασμό των τετραγώνων στον χάρτη γίνεται πιο συστηματική με τη χρήση των πρώτων όρων και των ουσιωδών πρώτων όρων Ένας πρώτος όρος είναι ένα γινόμενο παραγόντων που σχηματίζεται συνδυάζοντας τον μεγαλύτερο δυνατό αριθμό γειτονικών τετραγώνων στο χάρτη Αν ένας ελαχιστόρος σε ένα τετράγωνο καλύπτεται από έναν μόνο πρώτο όρο, αυτός ο πρώτος όρος λέγεται ουσιώδης Γενικά, η απλοποιημένη έκφραση μιας συνάρτησης Boole προκύπτει από το λογικό άθροισμα όλων των ουσιωδών πρώτων όρων και των άλλων πρώτων όρων που μπορεί να χρειάζονται για να καλύψουν κάποιους εναπομείναντες ελαχιστόρους που δεν καλύπτονται από τους ουσιώδεις πρώτους όρους.

12 00 Πρώτοι Όροι (Prime Implicants) Να βρεθούν οι πρώτοι όροι της συνάρτησης F(A,B,C,D)= Σ(0,2,3,5,7,8,9,0,,3,5) CD CD AB AB Ουσιώδεις πρώτοι όροι ΒD και B D Πρώτοι όροι CD, B C, AD και AB Η απλοποιημένη έκφραση για τη συνάρτηση προκύπτει από το λογικό άθροισμα των ουσιωδών πρώτων όρων και οποιονδήποτε δυο πρώτων όρων οι οποίοι καλύπτουν τους ελαχιστόρους m 3, m 9, και m. F = ΒD + B D + CD+ AD = ΒD + B D + CD+ AB = ΒD + B D + B C+ AD = ΒD + B D + B C + AB

13 BC 00 m 0 m m 3 m Χάρτης πέντε μεταβλητών A=0 A= DE DE BC m 6 m 7 m 9 m 8 0 m 4 m 5 m 7 m 6 0 m 20 m 2 m 23 m 22 m 2 m 3 m 5 m 4 m 28 m 29 m 3 m 30 0 m 8 m 9 m m 0 0 m 24 m 25 m 27 m 26 Οι χάρτες για περισσότερες από τέσσερις μεταβλητές είναι δύσχρηστοι Σε κάθε επιμέρους χάρτη των τεσσάρων μεταβλητών μπορεί να εφαρμοστεί η διαδικασία εύρεσης γειτονικών τετραγώνων όπως ορίστηκε προηγουμένως. Επιπλέον, κάθε τετράγωνο στον χάρτη Α=0 είναι γειτονικό με το αντίστοιχο τετράγωνο του χάρτη Α=.

14 Χάρτης πέντε μεταβλητών Γενικά σε ένα χάρτη n μεταβλητών κάθε 2 k γειτονικά τετράγωνα όπου k=0,,2, n, παριστάνουν μια περιοχή που δίνει ένα γινόμενο n-k παραγόντων. Απλοποιείστε τη συνάρτηση Boole F(A,B,C,D,E)= Σ(0,2,4,6,9,3,2,23,25,29,3) DE BC 00 Α=0 Α= DE 00 BC F = Α Β E +BD E + ACE γειτονικά τετράγωνα

15 3.4 Απλοποίηση γινομένων αθροισμάτων Διαδικασία. Σημειώνουμε 0 στα τετράγωνα του χάρτη που αντιστοιχούν σε ελαχιστόρους που δεν περιέχονται στη συνάρτηση F. Τα τετράγωνα αυτά παριστάνουν τη συμπληρωματική της συνάρτηση F. 2. Συνδυάζουμε τα γειτονικά τετράγωνα και παίρνουμε απλοποιημένη έκφραση για την F σε μορφή αθροίσματος γινομένων 3. Το συμπλήρωμα της F δίνει την F σε μορφή γινομένων αθροισμάτων Π.χ. Απλοποιείστε τη συνάρτηση Boole α) σε άθροισμα γινομένων β) σε γινόμενο αθροισμάτων F(A,B,C,D)= Σ(0,,2,5,8,9,0) α) συνδυάζουμε τα και έχουμε F = B D +B C +A C D β) συνδυάζουμε τα «0» και έχουμε F = ΑΒ+CD+BD F = (A +B )(C +D )(B +D)

16 Υλοποίηση παραπάνω εκφράσεων σε δύο επίπεδα πυλών

17 Η παραπάνω διαδικασία απλοποίησης ισχύει και όταν η συνάρτηση δίνεται σε μορφή γινομένου μεγιστόρων, αφού τα μηδενικά της συνάρτησης παριστάνουν τους μεγιστόρους Πχ. Απλοποιείστε τη συνάρτηση Boole F(x,y,z)= Π(0,2,5,7) Ισχύει F(x,y,z)= Σ(,3,4,6) Απλοποίηση γινομένων αθροισμάτων yz x α) συνδυάζουμε τα και έχουμε F = x z+xz β) συνδυάζουμε τα «0» και έχουμε F = xz+x z F=(x +z )(x+z)

18 3.5 Συνθήκες αδιαφορίας Σε πολλές εφαρμογές μια συνάρτηση Boole μπορεί να μην προσδιορίζεται για ορισμένες μεταβλητές Οι ελαχιστόροι για τους οποίους η συνάρτηση δεν προσδιορίζεται λέγονται «συνθήκες αδιαφορίας» και σημειώνονται με X στο χάρτη Ο συνθήκες αδιαφορίας μπορούν να χρησιμοποιηθούν σε ένα χάρτη για παραπέρα απλοποίηση της έκφρασης Boole Όταν επιλέγουμε γειτονικά τετράγωνα για να απλοποιήσουμε μια συνάρτηση σε ένα χάρτη, οι αδιάφοροι ελαχιστόροι μπορούν να θεωρηθούν ως ή 0.

19 Συνθήκες αδιαφορίας Απλοποιείστε τη συνάρτηση F(w,x,y,z)= Σ(,3,7,,5) με συνθήκες αδιαφορίας d(w,x,y,z)= Σ(0,2,5) Και οι δυο εκφράσεις είναι αποδεκτές. Η διαφορά έγκειται στη διαφορετική χρήση των συνθηκών αδιαφορίας

20 3.6 Υλοποίηση με πύλες NAND και NOR Οι βασικές πύλες που χρησιμοποιούνται για την κατασκευή ψηφιακών κυκλωμάτων είναι η NAND και η NOR - απλούστερος σχεδιασμός (μικρότερος αριθμός τρανζίστορ) - μεγαλύτερη ταχύτητα Έχουν αναπτυχθεί κανόνες για τη μετατροπή από συναρτήσεις Boole που χρησιμοποιούν πράξεις AND, OR και NOT σε ισοδύναμες που έχουν NAND ή NOR

21 Υλοποίηση με πύλες NAND Υλοποιείστε τη συνάρτηση Boole F = ΑΒ+CD - τρεις τρόποι υλοποίησης

22 Υλοποιείστε τη συνάρτηση Boole με πύλες NAND F(x,y,z) = Σ(,2,3,4,5)

23 Κυκλώματα NAND πολλών επιπέδων Για την υλοποίηση συνδυαστικών κυκλωμάτων χρησιμοποιούνται συχνότερα πύλες NAND και NOR παρά AND και OR καθώς παρουσιάζουν απλούστερη κατασκευή Η πύλη NAND ονομάζεται «οικουμενική» πύλη, καθώς κάθε ψηφιακό κύκλωμα μπορεί να υλοποιηθεί με τη χρήση μόνο πυλών NAND Υλοποίηση των NOT, AND και OR με πύλες NAND

24 Υλοποιείστε με πύλες NAND στη συνάρτηση

25 Υλοποιείστε με πύλες NAND στη συνάρτηση

26 Υλοποίηση με πύλες NOR Η πύλη NOR είναι «οικουμενική» πύλη, καθώς κάθε ψηφιακό κύκλωμα μπορεί να υλοποιηθεί με τη χρήση μόνο πυλών NOR Υλοποίηση των NOT, AND και OR με πύλες NOR

27 Υλοποίηση με πύλες NOR Απαιτεί η συναρτήσεις να είναι εκφρασμένες σε γινόμενο αθροισμάτων Υλοποιείστε τη συνάρτηση Boole F = (Α+Β)(C+D)Ε Υλοποίηση συνάρτησης Σχήματος 3.23(α) με πύλες NOR

28 Υλοποίηση AND-OR-INVERTER Μπορεί να υλοποιηθεί με δυο μορφές AND-NOR και NAND-AND

29 Υλοποίηση OR-AND-INVERTER Μπορεί να υλοποιηθεί με δυο μορφές OR-NAND και NOR-OR

30 Υλοποίηση της συνάρτησης F(x,y,z) = Σ(0,6) σε διαφορετικές μορφές

31 3.8 Η συνάρτηση XOR Η πράξη XOR συμβολίζεται με και είναι λογική πράξη που εκτελεί την παρακάτω λογική λειτουργία x y = xy +x y - ισούται με μόνο όταν ένα και μόνο ένα από τα x και y είναι ίσο με Η πράξη XNOR συμβολίζεται με και εκτελεί την παρακάτω λογική λειτουργία x y = xy +x y - ισούται με για x=y. Οι παρακάτω ταυτότητες ισχύουν για την XOR x 0 = x x = x x x = 0 x x = x y = (x y) x y = (x y) x y = y x (αντιμεταθετική) (x y) z = x (y z) = x y z (προσεταιριστική)

32 Υλοποίηση συνάρτησης XOR

33 Περιττή και Άρτια συνάρτηση

34 Περιττή και Άρτια συνάρτηση 4-μεταβλητών

35 Γεννήτρια και ελεγκτής ισοτιμίας Οι συναρτήσεις XOR και XNOR (ισοδυναμίας) είναι πολύ χρήσιμες στα συστήματα που χρειάζονται κώδικες ανίχνευσης και διόρθωσης λαθών. Πίνακας αλήθειας για τη γεννήτρια άρτιας ισοτιμίας Μήνυμα τριών ψηφίων Ψηφίο ισοτιμίας x y z P