Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

ΗΥ120 ΨΗΦΙΑΚΗ ΣΧΕΔΙΑΣΗ Συναρτησεις Boole. Παρασταση Λογικων Μεταβλητων με Διαγραμματα Venn x xx (a) Λογικο 1(b)Λογικο 0 (c) μεταβλητηx (d) x x.

Παρόμοιες παρουσιάσεις


Παρουσίαση με θέμα: "ΗΥ120 ΨΗΦΙΑΚΗ ΣΧΕΔΙΑΣΗ Συναρτησεις Boole. Παρασταση Λογικων Μεταβλητων με Διαγραμματα Venn x xx (a) Λογικο 1(b)Λογικο 0 (c) μεταβλητηx (d) x x."— Μεταγράφημα παρουσίασης:

1 ΗΥ120 ΨΗΦΙΑΚΗ ΣΧΕΔΙΑΣΗ Συναρτησεις Boole

2 Παρασταση Λογικων Μεταβλητων με Διαγραμματα Venn x xx (a) Λογικο 1(b)Λογικο 0 (c) μεταβλητηx (d) x x

3 Παρασταση Λογικων Μεταβλητων με Διαγραμματα Venn (2) xy z x xyxy (e)(f) (g) (h) xy  xy+ xyz+  xy  y

4 Επαληθευση της επιμεριστικης ιδιοτητας xy z xy z xy z xy z xy z xy z x xy  xy  x+z  xyz+  (a) (d) (c)(f) xz  yz+ (b) (e)

5 Επαληθευση της σχεσης xy + xz = xy+xz+yz xy  x+z  xy z xy  xy z xz  y z x y z x xy  x+zyz  +  xy z yx z xy z xy  yz  xz 

6 Προτεραιοτητα Πραξεων Οι πραξεις στις εκφρασεις Boole εκτελουνται με την ακολουθη σειρα: Πραξεις εντος παρενθεσεων ΝΟΤ AND OR Π.χ. ΟΡΙΣΜΟΙ: Δυαδικη μεταβλητη = μεταβλητη που παιρνει τιμες 0 ή 1 Συναρτηση Boole: Μια εκφραση με δυαδικες μεταβλητες που συνδεονται με δυαδικες πραξεις. Π.χ.

7 Συναρτησεις Boole Οι συναρτησεις Boole μπορουν να περιγραφουν: –Mε μια αλγεβρικη εκφραση, εστω n μεταβλητων –Με εναν πινακα αληθείας: Ο πινακας αληθειας συναρτησης με n μεταβλητες εχει 2 n γραμμες (ολες τις δυνατες n-αδες bits). Σε καθε γραμμη του πινακα αληθειας η συναρτηση παιρνει την τιμη 0 ή 1. –Με λογικες πυλες (λογικο κυκλωμα) –Με το συνολο των ελαχιστορων της –Με το συνολο των μεγιστορων της Μια συναρτηση Boole μπορει να εχει πολλες εκφρασεις: –Οι εκφρασεις αυτες ειναι ισοδυναμες –Προσπαθουμε να βρουμε την απλουστερη δυνατη εκφραση (ελαχιστοποιηση συναρτησης) –Υπαρχουν διαφορα κριτηρια ελαχιστοποιησης

8 Αλγεβρικοι μετασχηματισμοι συναρτησεων Boole Απλοποιηση της εκφρασης : οροι γινομενου Η συναρτηση ειναι σε μορφη αθροισματος γινομενων. Προσπαθουμε να βρουμε συναρτηση που να ειναι αθροισμα του μικροτερου δυνατου αριθμου γινομενων με τους λιγοτερους ορους Ελαχιστοποιουμε...

9 f (a) «Αθροισμα γινομενων» f = x 1 x 2 + x 1 x 2 + x 1 x 2 f (b) Υλοποιηση ελαχιστου κοστους f = x 1 + x 2 x 2 x 1 x 1 x 2 πινακας αληθειας συναρτησης f Δυο υλοποιησεις μιας συναρτησης x 1 x 2

10 Πινακας αληθειας της συναρτησης x 1 x 2 x 3 + x 1 x 2 x 3 + x 1 x 2 x 3 + x 1 x 2 x 3

11 f (a)Ελαχιστοποιημενη υλοποιηση ως αθροισμα γινομενων f (b) Ελαχιστοποιημενη υλοποιηση ως γινομενο αθροισματων x 1 x 2 x 3 x 2 x 1 x 3 x2x3x2x3 x3x1x3x1 x 1 +x 3 x 3 +x 2

12 Πινακας Αληθειας ελεγκτη φωτισμου τριων δρομων x1x1 x2x2 x3x3

13 f Υλοποιηση του ελεγκτη φωτισμου τριων δρομων σε μορφη αθροισματος γινομενων x 1 x 2 x 3

14 Υλοποιηση του ελεγκτη φωτισμου τριων δρομων σε μορφη γινομενου αθροισματων f x 1 x 2 x 3

15 Ελαχιστοποιηση Συναρτησεων Boole

16 Ελαχιστοροι και μεγιστοροι συναρτησης Θεωρουμε n μεταβλητες {x 1, x 2,…, x n } και τις συμπληρωματικες τους  Ονομαζουμε ελαχιστορους τα γινομενα Α 1 Α 2 …Α n οπου - Υπαρχουν 2 n ελαχιστοροι (minterms ή standard products)  Ονομαζομε μεγιστορους τα αθροισματα Α 1 +Α Α n οπου: - Υπαρχουν επισης 2 n μεγιστοροι (Maxterms ή standard sums)

17 Οι ελαχιστοροι και μεγιστοροι δυο μεταβλητων x y m 0 =x´y´ m 1 = x´y m 2 = xy´ m 3 =xy F m 1 +m x y M 0 =x+y M 1 =x+y´ M 2 =x´+y M 3 =x´+y´ F M 0 M Μ k =m k ´

18 Οι ελαχιστοροι και μεγιστοροι τριων μεταβλητων M k = m k ´

19 Ελαχιστοροι και μεγιστοροι Συμβολισμοι: Ελαχιστορος m k = γινομενο μεταβλητων ή συμπληρωματων τους το οποιο γινεται 1 για εκεινο τον συνδυασμο τιμων των μεταβλητων που διδει τον αριθμο k σε δυαδικη μορφη. –Παραδειγμα: n=3 μεταβλητες x,y,z => m 0 =x´y´z´ (=1 για xyz=000=0 10 ) m 3 =x´yz (=1 για xyz=011=3 10 ), m 6 =xyz´ (=1 για xyz=110=6 10 ) Μεγιστορος Μ k =αθροισμα μεταβλητων ή των συμπληρωματων τους το οποιο γινεται 0 για εκεινο τον συνδυασμο τιμων των μεταβλητων που διδει τον αριθμο k σε δυαδικη μορφη. –Παραδειγμα: n=3 μεταβλητες x,y,z=> M 0 =x+y+z (=0 για xyz=000=0) M 3 =x+y´+z´(=0 για 011=3), M 6 =x´+y´+z (=0 για 110=6). Βασικη σχεση Μ k =m k ´ και m k =M k ´ –Παραδειγμα: m 3 = x´yz =(x+y´+z´)´ = M k ´

20 Βασικες Ιδιοτητες των ελαχιστορων και μεγιστορων Μ k = m k ´ Καθε συναρτηση γραφεται –σαν αθροισμα των ελαχιστορων «της» ή –σαν γινομενο των μεγιστορων «της». Ενας ελαχιστορος «ανηκει» σε μια συναρτηση αν γινεται 1 με ενα συνδυασμο τιμων των μεταβλητων με τον οποιον και η συναρτηση γινεται 1. Μια συναρτηση που αποτελειται απο το αθροισμα των ελαχιστορων m k, k  I, (I ειναι το συνολο των δεικτων των ελαχιστορων που ανηκουν στην συναρτηση) συμβολιζεται οπως πιο κατω: Αν Ι´ ειναι το συμπληρωματικο συνολο του Ι τοτε: 19

21 Βασικες Ιδιοτητες των ελαχιστορων και μεγιστορων Ομοιως μπορουμε να γραψουμε: Πραγματι εχουμε: Τελικα: 20

22 Κανονικες και προτυπες μορφες Κανονικες μορφες ειναι –τα αθροισματα ελαχιστορων, F = m 2 +m 4 +m 5 +m 6 +m 7 –τα γινομενα μεγιστορων F = M 0 M 2 M 4 M 5 Προτυπες μορφες ειναι: –Τα αθροισματα γινομενων F = y´+xy+x´yz´ –τα γινομενα αθροισματων F = x(y´+z)(x´+y+z´+w) –

23 Μετατροπη συναρτησης σε κανονικη μορφη Αθροισμα ελαχιστορων: Γινομενο μεγιστορων: Ετσι: 22

24 Αλλες Λογικες Πραξεις Με n μεταβλητες εχουμε 2 n ελαχιστορους (και μεγιστορους). Ενας ελαχιστορος μπορει να ανηκει σε μια συναρτηση ή να μην ανηκει. Κατα συνεπεια υπαρχουν διαφορετικες συναρτησεις των n μεταβλητων: Για n=1 εχουμε τις ακολουθες συναρτησεις n 2 n x F 0 F 1 F 2 F x x´ Συναρτησεις μιας μεταβλητης

25 Συναρτησεις των δυο μεταβλητων F(x,y) Υπαρχουν 16 διαφορετικες συναρτησεις με δυο μεταβλητες x y F 0 F 1 F 2 F 3 F 4 F 5 F 6 F 7 F 8 F 9 F 10 F 11 F 12 F 13 F 14 F xy xy´ x x´y y x  y x+y (x+y)´ x  y y´ x´y x´ x+y´ (xy)´ 1 AND XOR OR NOR XNOR NAND NOR: (x  y)= (x+y)´ = x´y´ NOT-OR (ΟΥΤΕ) NAND: (x  y) = (xy)´ = x´+y´ NOT-AND XOR: x  y = xy´+x´y Exclusive OR (Αποκλειστικο Η) XNOR (or XOR): x  y = xy+x´y´ Exclusive NOR (Ισοδυναμιας)

26 Σημαντικες συναρτησεις δυο μεταβλητων ΟΝΟΜΑ ΣΥΜΒΟΛΟ (ΠΥΛΗ) Συναρτηση ορισμου AND f = xy OR f = x+y NOT f = x´ BUFFER f = x NAND f = (xy)´= (x´+y)´ NOR f = (x+y)´= x´y´ XOR f = x  y = xy´+x´y XNOR f = x  y = xy + x´y´ f x y xf f y x x f x y f f xyxy xyxy f xyxy 26

27 Οικουμενικοτητα των πυλων NOR και NAND Οι πυλες NAND και NOR ειναι οικουμενικες δηλαδη μπορουμε να ορισουμε την Αλγεβρα Boole με μια απο τις δυο συναρτησεις και μονο. Πραγματι με την συναρτηση NOR μπορουμε να ορισουμε τις βασικες συναρτησεις AND, OR και NOT: x  y = (x+y)´ –NOT: x´=(x+x)´ x´ = x  x –AND: xy = (x´)´·(y´)´=(x´+y´)´ xy = (x  x )  (y  y) –OR: x+y = ((x + y)´)´ x+y = (x  y)  (x  y) Ομοιως με την συναρτηση NΑΝD μπορουμε να ορισουμε τις βασικες συναρτησεις AND, OR και NOT: x  y= (xy)´ –NOT: x´=(xx)´ x´ = x  x –ΟR: x+y = (x´y´)´ x+y = (x  x )  (y  y) –AND: xy = ((x y)´)´ xy = (x  y)   (x  y)

28 Γραφικη παρουσιαση

29 Μη επιμεριστικοτητα των NAND και NOR Θα δειξουμε οτι οι πραξεις NAND και NOR ειναι μη επιμεριστικες, δηλαδη οτι (x  y)  z  x  (y  z) και οτι (x  y)  z  x  (y  z): (x  y)  z = (xy)´  z = ((xy)´ z)´= xy+z´ x  (y  z) = x  (yz)´ = (x(yz)´)´ = x´ + yz  xy+z´ Oμοιως: (x  y)  z = (x+y)´  z = ((x+y)´+z)´ = (x+y)z´ = x z´+y z´ x  (y  z) = x  (y+z)´ = (x+(y+z)´)´= x´(y+z) = x´y+x´z  x z´+y z´ Η μη επιμεριστικοτητα των δυο αυτων πραξεων αποκλειει την συνθεση πυλων NAND και NOR με χρηση πυλων δυο εισοδων (οπως συμβαινει π.χ. με τις πυλες AND και OR πολλων εισοδων) Ετσι xyz = x (yz) ενω δεν υπαρχει παρομοια σχεση για την NOR

30 Αλλες Ιδιοτητες των NAND και NOR Η πραξη NAND ειναι εκεινη της οποιας η πυλη υλοποιειται ευκολωτερα στις διαφορες οικογενειες Ολοκληρωμενων Κυκλωματων (Integrated Circuits –Ics), και αποτελει την βαση για την υλοποιηση των αλλων πυλων. Αν μια συναρτηση ειναι στην μορφη "αθροισμα γινομενων" τοτε υλοποιειται πολυ ευκολα με πυλες ΝAND, αντικαθιστωντας απλα τις πυλες AND και OR με πυλες NAND. xyz´xyz´ xyz´xyz´ zy´zy´ zy´zy´ ff xyz´+zy´ = ((xyz´)´·(zy´)´)´ Κανονας DeMorgan

31 Οι πραξεις XOR και XNOR ειναι αντιμεταθετικες και επιμεριστικες Πραγματι ειναι αντιμεταθετικες, διοτι: x  y = xy´+x´y και y  x =yx´+y´x = xy´+x´y => x  y = y  x, και x  y = xy + x´y´ και y  x= yx+ y´x´= xy + x´y´ => x  y = y  x Βασικη Ιδιοτητα: x  y=(x  y)´ και x  y = (x  y)´ (x  y)´= (xy´+x´y)´ = (x´+y)(x+y´) = x´x + x´y´+yx+yy´=xy +x´y´= x  y Ειναι επιμεριστικες διοτι: x  (y  z)=x  (yz´+y´z) = x´(yz´+y´z)+x(yz´+y´z)´= = x´yz´+ x´y´z+x(yz+y´z´) = x´yz´+ x´y´z +xyz +xy´z´ (x  y)  z = (xy´+x´y)  z = (xy´+x´y)z´+ (xy´+x´y)´z = = xy´z´+x´yz´+(xy + x´y´)z= xy´z´+x´yz´+xyz + x´y´z Αρα x  (y  z)= (x  y)  z = x  y  z

32

33


Κατέβασμα ppt "ΗΥ120 ΨΗΦΙΑΚΗ ΣΧΕΔΙΑΣΗ Συναρτησεις Boole. Παρασταση Λογικων Μεταβλητων με Διαγραμματα Venn x xx (a) Λογικο 1(b)Λογικο 0 (c) μεταβλητηx (d) x x."

Παρόμοιες παρουσιάσεις


Διαφημίσεις Google