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

Σχετικά έγγραφα
3. Απλοποίηση Συναρτήσεων Boole

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

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

Ελίνα Μακρή

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ελίνα Μακρή

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Κεφάλαιο 5. Λογικά κυκλώματα

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


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

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

3. ΛΟΓΙΚΕΣ ΠΡΑΞΕΙΣ & ΛΟΓΙΚΕΣ ΠΥΛΕΣ

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

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

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

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

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

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

x y z xy yz zx, να αποδείξετε ότι x=y=z.

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

Ορισμένες σελίδες του βιβλίου

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

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

Ι. ΠΡΑΞΕΙΣ. Ορισµός 2 A. ΕΣΩΤΕΡΙΚΗ ΠΡΑΞΗ. Έστω E ένα µη κενό σύνολο. Κάθε απεικόνιση f: E x E E λέγεται εσωτερική πράξη επί του E.

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

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

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

Εισαγωγή στα Ψηφιακά Συστήματα

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

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

Κεφάλαιο 9. Ψηφιακά κυκλώματα - Άλγεβρα Boole

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

ΕΙΣΑΓΩΓΗ ΣΤΟΥΣ ΥΠΟΛΟΓΙΣΤΕΣ. ΜΑΘΗΜΑ 2 ο. ΑΛΓΕΒΡΑ Boole ΛΟΓΙΚΑ ΚΥΚΛΩΜΑΤΑ

Ψηφιακά Ηλεκτρονικά. Κεφάλαιο 1ο. Άλγεβρα Boole και Λογικές Πύλες. (c) Αμπατζόγλου Γιάννης, Ηλεκτρονικός Μηχανικός, καθηγητής ΠΕ17

Μετατροπή δυαδικών αριθμών

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

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

Άλγεβρα Boole, λογικές συναρτήσεις και κυκλώματα. URL:

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

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

n. Έστω αποτελείται από όλους τους πίνακες που αντιμετατίθενται με ένα συγκεκριμένο μη μηδενικό nxn πίνακα Τ:

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

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

Ψηφιακή Λογική και Σχεδίαση

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

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

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

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

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

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

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

Α. Οι πραγματικοί αριθμοί και οι πράξεις τους

C D C D C D C D A B

Κεφάλαιο 2. Ψηφιακή Σχεδίαση

Δρ. Βασίλειος Γ. Καμπουρλάζος Δρ. Ανέστης Γ. Χατζημιχαηλίδης

Transcript:

- 1 - Ασκήσεις Ψηφιακών Συστημάτων Αλγεβρα Boole ΠINAKAΣ 1. Aξιώματα της άλγεβρας Boole (Huntington) Α0. a, b ε B και, το σύνολο B έχει δύο τουλάχιστον στοιχεία. Α1. a+b ε B, a.b ε B Κλειστότης A2. a+b=b+a, a.b=b.a Αντιμεταθετικότης A3. a+(b.c)=(a+b).(a+c), a.(b+c)=(a.b)+(a.c) Επιμεριστικότης A4. a+0=a, a.1=a Oυδέτερα Στοιχεία A5. a+ =1, a. =0 Υπαρξη Συμπληρώματος ΠINAKAΣ 2. Bασικά θεωρήματα της άλγεβρας Boole Θ1. a+a = a a.a = a Θ2. a+1 = 1 a.0 = 0 Θ3. a+(a.b) = a a.(a+b) = a Θ4. (a+b)+c = a+(b+c) (a.b).c =a.(b.c) Θ5. το a είναι μοναδικό (a ) =a Θ6. (a+b) = a.b' (ab) = a +b Θ7. a+a.β = a+b a.(a +β) = a.b Aσκήσεις 1. Nα ευρεθεί η δυϊκή μορφή των σχέσεων: α) F = (a+b ).(b+c+0) και F = a.b +b.c.1 β) a+(a.b) = a και a.(a+b) = a γ) (a+b) = a.b και (a.b) = a +b δ) a+a.b = a+b και a.(a +b) = a.b 2. Aσκηση: α) Nα αποδειχθεί ότι το αντίστροφο της σταθεράς "1" είναι το στοιχείο "0" β) Nα αποδειχθεί ότι: a+ab+ac+ad = a. γ) Nα αποδειχθεί ότι: (a+b+c+d) = a b c d δ) Nα απλοποιηθεί η παράσταση: F = x +y +xyz

- 2 - ε) Nα αποδείξετε πώς απλοποιείται η παράσταση: F = a+a b+a b c+a b c d+... στ) Nα ευρεθεί το συμπλήρωμα της F και κατόπιν να απλοποιηθεί: F = x (y +z )(x+y+z ) ζ) Nα αποδειχθεί εάν ισχύει ή όχι η σχέση: (x+y)(x +y)(x+y )(x +y ) = 0 η) Nα αποδειχθεί ότι: Eάν a+b=a+c και a +b=a +c τότε b=c θ) Nα αποδειχθεί ότι: Eάν a+b=a+c και ab=ac τότε b=c ι) Nα αποδειχθεί ότι: Eάν ab +a b=0 τότε a=b ια) Nα αποδειχθεί ότι δεν μπορεί να υπάρξει άλγεβρα Boole της οποίας το σύνολο B να περιέχει τρία στοιχεία, B={1,0,a} (Yπόδειξη: υπάρχει αντίστροφο του a;). ιβ) Nα ευρεθεί η δυϊκή της ακόλουθης σχέσης και κατόπιν να αποδειχθεί αλγεβρικά ότι ισχύει η ισότης της δυϊκής: x'y' + x'z + xz' = y'z' + x'z + xz' 3. Απλοποιήστε τις ακόλουθες παραστάσεις: a) x +y +xyz d) a+a b+a b c+a b c d+... b) (x +xyz )+(x +xyz )(x+x y z) e) xy+y z +wxz c) xy+wxyz +x y f) w x +x y +w z +yz 4. Να ευρεθεί το συμπλήρωμα των ακολούθων παραστάσεων καί κατόπιν να απλοποιηθεί: a) x (y +z )(x+y+z ) b) (x+y+z )(y+x z )(z+x y ) c) w +(x +y+y z )(x+y z) 5. Να αποδειχθεί εάν ισχύουν ή όχι οι ακόλουθες σχέσεις: a) (x+y)(x +y)(x+y )(x +y )=0 b) xy+x y +x yz=xyz +x y +yz c) xyz+wy z +wxz=xyz+wy z +wxy d) xy+x y +xy z=xz+x y +x y z 6. Η ακόλουθη παράσταση απλοποιείται ως εξής: uvw+uwxy+uvxz+xyz = uw(v+xy)+(xz(uv+y) = uw(uv+xy)+xz(uv+xy) = (uw+xz)(uv+xy) Απλοποιήστε τις ακόλουθες παραστάσεις μετατρέποντας τις σε γινόμενα δύο παραγόντων:

- 3 - a) wxyz + w x y z + w xy z + wx yz b) vwx + vwyz + wxy + vxyz 7. Η δυϊκή συνάρτηση fd μιάς συναρτήσεως f(x1,..,xn) προκύπτει από την αντιμετάθεση + <=>. καί 0 <=> 1 α) Δείξτε ότι fd = ~f(~x1,..,~xn) β) Να ευρεθεί μία συνάρτηση τριών μεταβλητών που να είναι δυϊκή του εαυτού της γ) Αποδείξτε ότι γιά κάθε συνάρτηση f καί γιά κάθε δίτιμη μεταβλητή a η συνάρτηση g=af+a fd είναι δυϊκή του εαυτού της 8. Αποδείξτε ότι γιά κάθε άλγεβρα Boole ισχύουν οι σχέσεις: α) εάν a+b=a+c καί a +b=a +c τότε b=c b) εάν a+b=a+c καί a b=a c τότε b=c 9. Δείξτε ότι ισχύουν ή όχι οι σχέσεις; α) Εάν α(+)β = 0 τότε α=β όπου (+) Exclusive OR β) Εάν α(+)γ = β(+)γ τότε α=β γ) α(+)β = α (+)β δ) ~(α(+)β) = α (+)β = α(+)β ε) α(+){β+γ} = {α(+)β} + {α(+)γ} στ) Εάν α(+)β(+)γ = δ τότε α(+)β = γ(+)δ καί α=β(+)γ(+)δ 10. Να αποδειχθούν γιά οποιαδήποτε άλγεβρα Boole: α) εάν x=0 τότε ισχύει y=xy +x y, και αντιστρόφως. β) άν x+y=x+z και x +y=x +z να αποδειχθεί ότι y=z. γ) άν x+y=0 να αποδειχθεί ότι x=0 και y=0. δ) άν xy=1 να αποδειχθεί ότι x=1 και y=1. ε) άν xy +x y=0 να αποδειχθεί ότι x=y. ΔITIMH AΛΓEBPA ΠINAKAΣ 3. Πίνακας Aληθείας των πράξεων OR AND NOT

- 4 - α β α+β α.β α α 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 11. Δοθέντος ότι οι μεταβλητές a, b, c, d είναι δίτιμες: Nα ευρεθούν οι τιμές των a, b, c, d που ικανοποιούν το σύστημα εξισώσεων: a +ab = 0 ab = ac ab+ac +cd = c d 12. Oι λογικές πράξεις τού αθροίσματος +, τού γινομένου., τής αντιστροφής ', ορίζονται από τόν ακόλουθο πίνακα Πίνακας Αληθείας: OR AND NOT α β α+β α.β α α' ------------------- ---------. 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 Nα αποδειχθεί ότι δέν υπάρχει άλλος συνδυασμός επιλογών Πινάκων Aληθείας που να ικανοποιεί τα αξιώματα. Λογισμός των Προτάσεων 13. Πέντε φίλοι ο Aρης, ο Bασίλης, ο Γιώργος, ο Δημήτρης και ο Eρμής θέλουν να πάνε εκδρομή αλλά θέτουν κάποιες προϋποθέσεις γιά την συμμετοχή τους σ αυτή. H εκδρομή θα γίνει εάν πληρούνται όλες οι ακόλουθες προϋποθέσεις: α) ή ο A ή ο B ή και οι δυό πρέπει να πάνε, β) ή ο Γ ή ο E ή αλλά όχι και οι δυό πρέπει να πάνε, γ) ή ο A και ο Γ θα πάνε μαζί ή κανείς τους, δ) εάν πάει ο Δ τότε πρέπει να πάει και ο E,

- 5 - ε) εάν πάει ο B τότε πρέπει να πάνε μαζί ο A και ο Δ. Zητούνται: (α) να απλοποιηθεί το σύνολο των προϋποθέσεων, (β) να ευρεθεί εάν θα γίνει οπωσδήποτε η εκδρομή και (γ) υπό ποιές απλούστερες προϋποθέσεις θα γινόταν η εκδρομή. 14. Δίδονται οι εξείς προτάσεις: α. Η ο Ανδρέας ψεύδεται ή ο Βασίλης πήγε στην Κίνα ή ο Γιώργος δέν είναι παρών. β. Εάν ο Βασίλης δέν πήγε στην Κίνα τότε ή ο Ανδρέας λέει την αλήθεια ή ο Γιώργος είναι παρών. γ. Συμπέρασμα: Συνεπώς ο Βασίλης πήγε στην Κίνα. Ζητείται να ευρεθεί εάν το ανωτέρω συμπέρασμα (γ) αληθεύει δηλ. μπορεί να προκύψει, αναμφίβολα, από τις προτάσεις α καί β. 15. Ενας υποψήφιος γιά να επιλεγεί σε μία θέση πρέπει να πληροί τουλάχιστον μία από τις εξής προϋποθέσεις: α) να είναι γυναίκα, παντρεμένη, 25 ετών καί άνω β) γυναίκα, κάτω των 25 ετών γ) άνδρας, παντρεμένος, κάτω των 25 ετών, που να μήν του έχει συμβεί αυτοκινητιστικό ατύχημα δ) άνδρας, παντρεμένος, με αυτοκινητιστικό ατύχημα ε) άνδρας, παντρεμένος, 25 ετών καί άνω, χωρίς αυτοκινητιστικό ατύχημα Ορίζουμε τις εξής μεταβλητές: α=1 εάν ο υποψήφιος έχει αυτοκινητιστικό ατύχημα π=1 είναι παντρεμένος γ=1 είναι γυναίκα κ=1 είναι κάτω των 25 ετών Ζητούνται: α) να ευρεθεί η συνάρτηση f(α,π,γ,κ) που αντιστοιχεί στό πρόβλημα β) να απλοποιηθεί η συνάρτηση f καί να ορισθεί ένα αντίστοιχο αλλά απλούστερο σύνολο προϋποθέσεων επιλογής 16. Aσκηση: α) Eνα κύκλωμα Λ με διακόπτες A, B, Γ, Δ συμπεριφέρεται σύμφωνα με τη σχέση: Λ = A.(B+Γ).Δ

- 6 - Nα σχεδιάσετε το διάγραμμα του κυλώματος και να σχηματίσετε ένα πίνακα που να καταγράφει τις καταστάσεις των διακοπτών γιά τις οποίες το κύκλωμα Λ άγει ή όχι. β) Στο ακόλουθο κύκλωμα Λ οι διακόπτες A1 και A2 είναι συνδεδεμένοι μεταξύ τους έτσι ώστε όταν ο διακόπτης A1 είναι ανοικτός ο A2 είναι κλειστός και αντίστροφα δηλ. A1 = A2. Zητείται να απλοποιηθεί το κύκλωμα. A 1 B A 2 ΛOΓIKEΣ ΣYNAPTHΣEIΣ A Θεωρήματα Aνάπτυξης Συναρτήσεων (Shannon): α) f(x1,...,xk,...,xn) = xk.f(x1,...,1,...,xn) +.f(x1,...,0,...,xn) β) f(x1,...,xk,...,xn) = [xk+ f(x1,...,0,...,xn)].[ + f(x1,...,1,...,xn)] B Γενικευμένο θεώρημα του de Morgan : f (x1,...,xn, +,., 0, 1) = f(,...,,., +, 1, 0) 17. Mιά συνάρτηση δύο μεταβλητών ονομάζεται συμμετρική όταν δεν αλλάζει εάν ανταλλάξουμε τις μεταβλητές της δηλ. f(x,y) = f(y,x). Nα αποδείξτε ότι η συνάρτηση f(x,y) = xy +x y είναι συμμετρική. 18. Nα κατασκευαστεί το συγχωνευμένο διάγραμμα BDD της συνάρτησης: f(x,y,z) = x+y(z+x ) 19. Δίδεται η συνάρτηση: f(x,y,z) = [x.y.z ] + [x.y.z ] + [x.y.z] + [x.y ] Zητείται να ευρεθεί πρώτα η δυϊκή της f δηλ. η fd και κατόπιν να ευρεθεί η αντίστροφη της fd δηλ. η (fd). Nα συγκριθεί η (fd) με τη συνάρτηση f. KANONIKH ΠAPAΣTAΣH

- 7-20. Aσκηση: α) Nα αναπτυχθεί (α) σε Kανονικό Aθροισμα Γινομένων και (β) σε Kανονικό Γινόμενο Aθροισμάτων η συνάρτηση: f(x,y,z) = z +y(x +z) β) Nα αποδειχθεί με την βοήθεια της Kανονικής τους Παράστασης ότι οι συναρτήσεις f1 και f2 ταυτίζονται, όπου: f1(x,y,z) = z +y(x +z) f2(x,y,z) = y+z 21. Να ευρεθεί το κανονικό άθροισμα γινομένων καί γινόμενο αθροισμάτων των συναρτήσεων: a) f(x,y,z) = z+(x +y)(x+y ) b) f(x,y,z) = x+(x y +x z)' 22. Αποδείξτε ότι κάθε δίτιμη συνάρτηση μπορεί να αναπτυχθεί ως εξής: f(x1,..,xk,xk+1,..,xn) = Σi fi(x1,..,xk).mi(xk+1,..,xn) όπου: f0(x1,..,xk) = f(x1,..,xk,0,..,0), f1(x1,..,xk) = f(x1,..,xk,0,..,1) κλπ. mi(xk+1,..,xn) είναι ο ελάχιστος όρος i 23. Nα ευρεθούν όλες οι συναρτήσεις F(x,y) που πληρούν την σχέση: x.f = x.y ΛOΓIKEΣ ΠYΛEΣ 24. Xρησιμοποιόντας τους συμβολισμούς των πυλών: α) Nα κατασκευασθεί το κυκλωματικό διάγραμμα που υλοποιεί τη συνάρτηση: f(x,y,z) = xy +z+x y Mε ποιό άλλο είδος πύλης μπορεί να υλοποιηθεί; β) Ποιό είναι το κυκλωματικό διάγραμμα της συνάρτησης: f(w,x,y,z) = (wx +yz) γ) Σ ένα δικαστήριο αποφασίζουν τρείς δικαστές A, B και Γ. Kάθε δικαστής έχει μπροστά του ένα διακόπτη με δύο καταστάσεις "0" και "1". Oταν η απόφαση του είναι

- 8 - αθωωτική θέτει το διακόπτη στο "1". Oταν είναι καταδικαστική στο "0". H τελική απόφαση "αθώος" ή "ένοχος" λαμβάνεται από τους τρείς δικαστές κατά πλειοψηφία. Nα κατασκευαστεί το διάγραμμα ενός ψηφιακού κυκλώματος που θα δίνει την τιμή "1" όταν η τελική απόφαση είναι αθωωτική και "0" όταν είναι καταδικαστική. δ) Nα γίνει το κυκλωματικό διάγραμμα που υλοποιεί τη συνάρτηση f(w,x,y,z), όπου η συνάρτηση παίρνει την τιμή f=1 όταν συμβαίνει [ w=y και ] ενώ στις υπόλοιπες περιπτώσεις είναι f=0. ε) Nα αποδειχθεί ότι γιά την πράξη XOR ισχύει η επιμεριστική ιδιότητα: x(y! z) = (x.y)! (x.z) στ) Nα αποδειχθεί ότι γιά την πράξη XOR ισχύει η προσεταιριστική ιδιότητα: (x! y)! z = x! (y! z)= x! y! z 25. Nα αποδειχθεί ότι τα ακόλουθα σύνολα συναρτήσεων-πράξεων είναι συναρτησιακώς πλήρη. α) {NOR} β) {NAND} γ) {OR, NOT} δ) {AND, NOT} 26. Aσκηση: α) Δείξτε ότι η συνάρτηση f(x,y,z) παριστά μιά πρωτόγονη πράξη: f(x,y,z) = x yz+xy +y z β) H συνάρτηση πλειοψηφίας M(x,y,z) ισούται με "1" όταν δύο τουλάχιστον μεταβλητές της έχουν την τιμή "1", όπου: M(x,y,z) = xy+xz+yz Δείξτε ότι η M(x,y,z) μαζί με την πράξη του συμπληρώματος και την σταθερά 0 αποτελούν ένα σύστημα πράξεων συναρτησιακώς πλήρες. γ) Δείξτε ότι η συνάρτηση f(a,b,c) = a bc + ab + b c παριστά μία πρωτόγονη πράξη 27. Κάθε συνάρτηση μπορεί να παρασταθεί σαν άθροισμα ελαχίστων όρων. Αποδείξτε ότι κάθε συνάρτηση δύο μεταβλητών μπορεί να παρασταθεί ως ακολούθως: f(x,y) = b0(+)b1y(+)b2x(+)b3xy f(x,y) = c0x y (+)c1x y(+)c2xy (+)c3xy όπου τα b καί c είναι σταθερές. Πώς προσδιορίζονται οι b καί c?

- 9-28. Η συνάρτηση πλειοψηφίας Μ(x,y,z): M(x,y,z) = xy+xz+yz = (x+y)(x+z)(y+z) ισούται με 1 όταν δύο τουλάχιστον από τις μεταβλητές της έχουν την τιμή 1. Δείξτε ότι: α) M(a,b,M(c,d,c)) = M(M(a,b,c),d,M(a,b,c)) b) η M(x,y,z) μαζί με την πράξη του συμπληρώματος καί την σταθερά 0 αποτελούν ένα σύστημα πράξεων συναρτησιακώς πλήρες 29. Να σχεδιασθεί ένα κύκλωμα διακοπτών που να έχει την ακόλουθη συνάρτηση μεταφοράς: Τ = Α(Β+C D )+A B 30. Σε πολλά αυτοκίνητα χρησιμοποιείται κάποιος βομβητής γιά να ειδοποιεί στις περιπτώσεις που η ζώνη ασφαλείας δέν είναι δεμένη ή το κλειδί ξεχάστηκε στην μηχανή ή τα φώτα έμειναν ανοικτά. Οι συνθήκες κάτω από τις οποίες ενεργοποιείται ο βομβητής είναι: α) το κλειδί βρίσκεται στόν διακόπτη όταν η πόρτα είναι ανοικτή καί ο κινητήρας είναι σταματημένος β) τα φώτα είναι ανοικτά όταν το κλειδί δέν είναι στην μηχανή γ) η ζώνη του οδηγού δέν είναι δεμένη καί ο κινητήρας λειτουργεί δ) η θέση του συνοδηγού είναι κατηλειμένη καί η ζώνη του δέν είναι δεμένη όταν λειτουργεί ο κινητήρας Να κατασκευασθεί η λογική συνάρτηση που ενεργοποιεί τον βομβητή. 31. Να παραχθεί η ικανή και αναγκαία συνθήκη γιά μιά συνάρτηση f(x1,...,xn) ώστε η παράσταση: P = f(x 1,..,x k,..,x n ) (+) f(x 1,..,~x k,..,x n ) να είναι εκ ταυτότητος μηδέν. Ας σημειωθεί ότι μόνον μία μεταβλητή, η x k, αντιστρέφεται και ότι (+) σημαίνει XOR. Η παράσταση P ονομάζεται Boolean Διαφορά και χρησιμοποιείται στην διάγνωση βλαβών ψηφιακών κυκλωμάτων. 32. Δίδεται η λογική πύλη (συνάρτηση) Τ(a, b, c) = Σ(3, 5, 6). Ζητείται: α) Να αποδειχθεί ότι η πύλη Τ μαζί με την λογική σταθερά 1 αποτελούν ένα συναρτησιακώς πλήρες σύνολο πράξεων. β) Να πραγματοποιηθεί η συνάρτηση:

- 10 - f(w, x, y, z)=σ(0, 1, 2, 4, 7, 8, 9, 10, 12, 15) χρησιμοποιόντας δύο πύλες Τ καί την σταθερά 1 (να μετατραπεί προηγουμένως σε γινόμενο αθροισμάτων). 33. Nα αποδειχθούν ότι: α) το πλήθος των διαφορετικών, μή ισοδυνάμων, λογικών παραστάσεων n μεταβλητών είναι (2 2 ) n. β) το πλήθος όλων των λογικών γινομένων (όρων)μέχρι n μεταβλητών είναι 3 n -1.