Professional Documents
Culture Documents
03 - Boole Algebra
03 - Boole Algebra
• Βασικοί ορισμοί
• Η άλγεβρα Boole μπορεί να οριστεί με ένα σύνολο στοιχείων, ένα σύνολο
τελεστών και έναν αριθμό από αξιώματα
• Σύνολο στοιχείων: Συλλογή από αντικείμενα τα οποία έχουν μια κοινή ιδιότητα
• Πώς συμβολίζεται; S = {x, y}
• Τα αξιώματα ενός μαθ. Συστήματος δίνουν τις βασικές παραδοχές από τις
οποίες μπορούν να εξαχθούν οι κανόνες, τα θεωρήματα και οι ιδιότητες του
συστήματος
Βασικά Αξιώματα για Σχηματισμό Αλγεβρικών Δομών
1. Κλειστότητα (Closure):
• Ένα σύνολο S είναι κλειστό ως προς ένα δυαδικό τελεστή αν για κάθε
ζευγάρι στοιχείων του S ο δυαδικός τελεστής καθορίζει έναν κανόνα που
παράγει ένα μοναδικό στοιχείο του S.
• Πχ.: Για τους φυσικούς αριθμούς, το N = {1, 2, 3…} είναι κλειστό ως προς
τον δυαδικό τελεστή «+» διότι, ό,τι αποτέλεσμα κι αν δώσει η πρόσθεση
a + b = c, !"c"#"N
• Το σύνολο των φυσικών αριθμών δεν είναι κλειστό ως προς τον δυαδικό
τελεστή «-» διότι πχ. 2 – 3 = -1, όπου -1 $"%
Βασικά Αξιώματα για Σχηματισμό Αλγεβρικών Δομών
2. Προσεταιριστικός κανόνας (Associative law)
• Ένας δυαδικός τελεστής «*» σε ένα σύνολο S λέμε ότι είναι
προσεταιριστικός όταν
Προτεραιότητα Τελεστών
1. Παρενθέσεις
2. ΌΧΙ
3. ΚΑΙ
4. Ή
Θεωρήματα
• Θ.1 (α):
• !+! =!
• ! + ! = ! + ! 1 = ! + ! ! + ! % = ! + !! % = ! + 0 = !
• Θ.1 (β):
• !"! =!
• ! " ! = !! + 0 = !! + !! % = ! ! + ! % = x " 1 = x
• Θ.2 (α):
• !+1=1
• ! + 1 = 1 " ! + 1 = ! + !% ! + 1 = ! + !% " 1 = ! + !% = 1
Θεωρήματα
• Θ.3:
• !% %
=!
• Θ.6 (α):
• ! + !# = !
• ! + !# = ! " 1 + !# = ! ! + # = ! # + 1 = ! " 1 = !
• Θ.6 (β):
• ! ! + # = ! λόγω δυϊσμού
Λογικές Συναρτήσεις
• Συνάρτηση Boole
• Αλγεβρική έκφραση που αποτελείται από
• Δυαδικές μεταβλητές (0 και 1)
• Τα σύμβολα των λογικών πράξεων
• Αποδίδει είτε 0 είτε 1
• Περιγράφεται με πίνακα αληθείας
• Πχ.: F1 = x + y’z
Πότε η F1 θα δώσει 1;
Παραδείγματα
• Πώς θα σχεδιάζατε με πύλες την παρακάτω συνάρτηση:
1. ! = " # $ # % # + " # $% + "$&
2. ! = "$ # + " # $
Αλγεβρικοί Μετασχηματισμοί
• Όταν είναι σε μορφή αλγεβρικών συναρτήσεων (και όχι
υλοποιημένες σε λογικά κυκλώματα – πύλες) μπορούν να
βελτιστοποιηθούν και να απλοποιηθούν με λιγότερες πύλες από
ότι αν τις χρησιμοποιούσαμε ατόφιες.
• " " # + $ = "" # + "$ = 0 + "$ = "$
• " + "#$ = " + "# " + $ = 1 " + $ = " + $
• " + $ " + $ # = " + "$ + "$ # + $$ # = " 1 + $ + $ # = "
• "$ + " # % + $% = "$ + " # % + $% " + " # = "$ + " # % + "$% + " # $% =
= "$ 1 + % + " # % 1 + $ = "$ + " # %
Συμπλήρωμά Συνάρτησης Boole
• Το συμπλήρωμα F΄ µιας συνάρτησης F είναι η συνάρτηση εκείνη
που ισούται µε 0 όταν F = 1 και 1 όταν F = 0.
• Το συμπλήρωμα µιας συνάρτησης προκύπτει εφαρμόζοντας τα
γενικευμένα θεωρήματα DeMorgan
• (A + B + C + D + …+ F)΄ = A΄ B΄ C΄ D΄ …F΄
• (ABCD…F)΄ = A΄ + B΄ + C΄ + D΄ + … + F΄
• εάν αλλάξουμε τα ΚΑΙ µε τα Η και συμπληρώσουμε κάθε
παράγοντα
• Το συμπλήρωμα προκύπτει εύκολα εάν πάρουμε το δυϊκό της
συνάρτησης και συγχρόνως το συμπλήρωμα κάθε παράγοντα.
Συμπλήρωμα Συνάρτησης Boole
ΠΡΟΣΟΧΗ:
Το θεώρηµα De Morgan πρέπει να εφαρµόζεται σταδιακά και
ακολουθώντας την προτεραιότητα των τελεστών ανάποδα
Σπίτι (Κάντε όσες μπορείτε)
• Κάντε τις παρακάτω αλγεβρικές απλοποιήσεις:
1. xy+xy’
2. (x+y)(x+y’)
• Απλοποιήστε τις παρακάτω εκφράσεις Boole ώστε να προκύψει ελάχιστος
αριθμός παραγόντων:
1. (x+y)’(x+y’)
2. x‘yz+xz
• Βρείτε το συμπλήρωμα της F=x+yz
• Βρείτε το συμπλήρωμα:
1. xy‘+x’y
2. (x+y’+z)(x’+z’)(x+y)
• Γράψτε τον πίνακα αληθείας της συνάρτησης F=xy+xy’+y’x και σχεδιάστε το
λογικό της διάγραμμα
• Κάντε το ίδιο για την συνάρτηση F=(xy+x’y’)(zw’+z’w)
Links
• https://www.youtube.com/watch?v=mxNa0zrjhBU
• https://www.youtube.com/watch?v=FmiTTbMg3Wg
• https://www.youtube.com/watch?v=rcFaQdWGW-E