Άλγεβρα Μπουλ

Στα μαθηματικά και την μαθηματική λογική, Άλγεβρα Μπουλ είναι η υποπεριοχή της άλγεβρας όπου οι τιμές των μεταβλητών είναι οι δυαδικές, είτε αληθές και ψευδές, που συνήθως αναπαρίστανται με 1 και 0 αντίστοιχα. Σε αντίθεση με τη στοιχειώδη άλγεβρα όπου οι τιμές των μεταβλητών είναι αριθμοί και οι κύριες πράξεις είναι η πρόσθεση και ο πολλαπλασιασμός, στην άλγεβρα Μπουλ υπάρχουν τρεις κύριες πράξεις: η σύζευξη και (συμβ. ∧), η διάζευξη ή (συμβ. ∨) και η άρνηση όχι (σύμβ. ¬).

Η άλγεβρα Μπουλ εισήχθη το 1854 από τον Τζορτζ Μπουλ με το έργο του An Investigation of the Laws of Thought (Διερεύνηση των νόμων της σκέψης). Σύμφωνα με τον Χάντινγκτον ο όρος «Άλγεβρα Μπουλ» χρησιμοποιήθηκε για πρώτη φορά από τον Sheffer το 1913.

Η άλγεβρα Μπουλ είναι θεμελιώδους σημασίας για την πληροφορική και αποτελεί τη βάση για τη θεωρητική μελέτη του πεδίου της λογικής σχεδίασης. Επιπλέον, είναι σημαντική σε άλλα πεδία όπως η στατιστική, η Θεωρία συνόλων και ο προγραμματισμός.

Ιστορικά στοιχεία
Ο μαθηματικός Τζορτζ Μπουλ (1815-1864) παρουσίασε το 1847 μια άλγεβρα με μεταβλητές δύο τιμών (που καλούνται "λογικές μεταβλητές"). Ουσιαστικά παρουσίασε με τα μαθηματικά της εποχής του, την Αριστοτέλεια λογική, του είναι ή δεν είναι. Σήμερα η άλγεβρα αυτή ονομάζεται άλγεβρα Μπουλ, ή δυαδική άλγεβρα, ή διακοπτική άλγεβρα και έχει βρει ευρεία εφαρμογή στη σχεδίαση του λογισμικού και των κυκλωμάτων των ηλεκτρονικών υπολογιστών, επειδή είναι ιδανική για χειρισμό λογικών συναρτήσεων και πράξεων στο δυαδικό σύστημα.
Ο παρακάτω ορισμός της άλγεβρας Μπουλ στηρίζεται σε συγκεκριμένα αξιώματα που παρουσίασε το 1933 ο μαθηματικός Έντουαρντ Χάντινγκτον (Edward Vermilye Huntington, 1874-1952).

 Πράξεις 
 Βασικές πράξεις 
Οι βασικές πράξεις της Άλγεβρας Μπουλ είναι: 

 Λογική σύζευξη (Και): συμβολίζεται με  (μερικές φορές  και  ή ) και ορίζεται ως

 Λογική διάζευξη (Ή): συμβολίζεται με  (μερικές φορές  ή  ή ) και ορίζεται ως

 Λογική άρνηση (Όχι): συμβολίζεται με  (μερικές φορές όχι ,  ή ) και ορίζεται ως

Αν οι τιμές αληθείας 0 και 1 ερμηνευθούν ως ακέραιοι αριθμοί, οι παραπάνω πράξεις μπορούν να εκφραστούν με τις συνήθεις πράξεις της αριθμητικής:

 ,
 ,
 .

Εναλλακτικά, οι τιμές των ,  και  μπορούν να οριστούν με τους εξής πίνακες αληθείας:

{| class="wikitable" style="text-align:center;"
|+
! style="width:35px;background:#aaaaaa;" | 
! style="width:35px;background:#aaaaaa;" | 
! style="width:35px" | 
! style="width:35px" | 
|-
| 0  || 0  || 0 || 0
|-
| 0  || 1  || 0 || 1
|-
| 1  || 0  || 0 || 1
|-
| 1  || 1  || 1 || 1
|}
+   0   1 1   0

Λόγω των παρακάτω ταυτοτήτων μπορεί κανείς να συμπεράνει ότι μόνο η άρνηση και μία από τις άλλες δύο πράξεις είναι βασικές, δηλαδή αρκούν για να ορίσουν την τρίτη:



 Νόμοι 
Ένας νόμος της άλγεβρας Μπουλ είναι μια ταυτότητα, όπως x∨(y∨z) = (x∨y)∨z μεταξύ δύο όρων Μπουλ, όπου ο όρος Μπουλ ορίζεται ως μια έκφραση που αποτελείται από μεταβλητές και τις σταθερές 0 και 1, χρησιμοποιώντας τις πράξεις ∧, ∨ και ¬. Η ιδέα μπορεί να επεκταθεί στους όρους που αφορούν άλλες πράξεις της Άλγεβρας Μπουλ, όπως τις ⊕, →, και ≡, αλλά οι επεκτάσεις αυτές δεν είναι αναγκαίες για τους σκοπούς για τους οποίους έχουν τεθεί οι νόμοι. 

 Μονότονοι νόμοι  
Η άλγεβρα Μπουλ πληροί πολλούς από τους ίδιους νόμους όπως και η στοιχειώδης άλγεβρα, εάν γίνει αντιστοίχιση του ∨ με την πρόσθεση και του ∧ με τον πολλαπλασιασμό. Ειδικότερα, οι ακόλουθοι νόμοι είναι κοινοί για τα δύο είδη άλγεβρας:  

(Προσεταιριστική ιδιότητα της )       (Προσεταιριστική ιδιότητα της )      (Αντιμεταθετική ιδιότητα της )       (Αντιμεταθετική ιδιότητα της )       (Επιμεριστική ιδιότητα της ∧ ως προς την ∨)       (Ουδέτερο στοιχείο της )       (Ουδέτερο στοιχείο της )       (Απορροφητικό στοιχείο της )      

Στην άλγεβρα Μπουλ ισχύουν και επιπλέον οι εξής νόμοι:

(Ταυτοδυναμία της )     (Ταυτοδυναμία της )     (Νόμος της απορρόφησης 1)     (Νόμος της απορρόφησης 2)     (Επιμεριστική ιδιότητα της  ως προς την )      (Απορροφητικό στοιχείο της )      

 Μη μονότονοι νόμοι 
Οι δύο νόμοι για το συμπλήρωμα είναι οι εξής:

 (Συμπλήρωμα 1) ,
 (Συμπλήρωμα 2) .

Και στη στοιχειώδη και στην Άλγεβρα Μπουλ ισχύει ο νόμος της διπλής άρνησης:

 (Διπλή άρνηση) .

Αλλά, ενώ η στοιχειώδης Άλγεβρα πληροί τους δύο νόμους:
 ,
 .

η άλγεβρα Μπουλ πληροί τους δύο νόμους Ντε Μόργκαν:
 (Ντε Μόργκαν 1) ,
 (Ντε Μόργκαν 2) .

Αρχή του δυϊσμού
Αν σε μια λογική έκφραση αντικατασταθούν το (συν +) με (επί •) και το (επί •) με (συν +) και το (μηδέν 0) με (ένα 1) και το (ένα 1) με (μηδέν 0) δημιουργείται η δυϊκή έκφραση, που ισχύει όπως και η αρχική. 
Η αρχή του δυϊσμού εμφανίζεται και στα αξιώματα του Χάντινγκτον, που δίνονται κατά ζεύγη.

Άλγεβρα Μπουλ και θεωρία συνόλων 
Θα μπορούσαμε να δούμε τη θεωρία συνόλων (τις πράξεις με σύνολα) ως μια άλγεβρα Μπουλ. Ας δούμε τις αντιστοιχίες:

 Τα ονόματα στοιχείων του Κ στη θεωρία συνόλων είναι ονόματα συνόλων. 
 Η πράξη πρόσθεση αντιστοιχεί στην ένωση συνόλων. 
 Η πράξη πολλαπλασιασμός αντιστοιχεί στην τομή συνόλων. 
 Το στοιχείο  αντιστοιχεί στο κενό σύνολο. 
 Το στοιχείο  αντιστοιχεί στο καθολικό σύνολο . (Όπως είναι γνωστό, δεν ορίζεται το σύνολο όλων των συνόλων). 
 Το συμπλήρωμα στοιχείου αντιστοιχεί στο σχετικό συμπλήωμα του συνόλου ως προς το .

Με τις αντιστοιχήσεις αυτές, κάθε σχέση της άλγεβρας Μπουλ μπορεί να μετατραπεί σε συνολοθεωρητική σχέση. Παρακάτω δίνεται ένας πίνακας με τις αντιστοιχίες.

Άλγεβρα Μπουλ και προτασιακή λογική 

Λογική πρόταση είναι κάθε σύνολο χαρακτήρων ή λέξεων που μπορούμε να του δώσουμε την τιμή «ψευδής» ή «αληθής». 

Η πρόταση p=[Θα κερδίσω το λαχείο μεθαύριο] δεν είναι λογική πρόταση. 

Η πρόταση q=[Ο ακέραιος αριθμός 4 είναι άρτιος] είναι λογική πρόταση και έχει αληθοτιμή = «αληθής». 

Θα μπορούσαμε να δούμε την προτασιακή λογική (πράξεις με λογικές προτάσεις) ως μια άλγεβρα Μπουλ. Ας δούμε τις αντιστοιχίες:

 Τα στοιχεία του Κ στην προτασιακή λογική είναι λογικές προτάσεις.
 Η πρόσθεση αντιστοιχεί στη λογική διάζευξη.
 Ο πολλαπλασιασμός αντιστοιχεί στη λογική σύζευξη.
 Το  αντιστοιχεί στην τιμή ψευδής.
 Το  αντιστοιχεί στην τιμή αληθής.
 Το συμπλήρωμα αντιστοιχεί στην άρνηση της πρότασης.

{| class="wikitable" cellpadding="2"
|+ 
! colspan="6" | Πίνακας αντιστοιχιών άλγεβρας Μπουλ, συνολοθεωρίας και προτασιακής λογικής 
|-
! colspan="2" | Άλγεβρα Μπουλ 
! colspan="2" | Θεωρία Συνόλων
! colspan="2" | Προτασιακή Λογική
|+

|+
|-
|Πρόσθεση||||Ένωση||||Διάζευξη||
|-
|Πολλαπλασιασμός||||Τομή||||Σύζευξη||
|-
|Μηδέν||||Κενό σύνολο||||Ψευδής||F
|-
|Ένα||||καθολικό σύνολο||||Αληθής||
|-
|Στοιχεία||||Σύνολα||||Προτάσεις||
|-
|Συμπλήρωμα του ||||Σχετικό συμπλήρωμα του ||||Λογική άρνηση||
|}

{| class="wikitable" cellpadding="2"
|+ 
! colspan="3" | Παραδείγματα όμοιων προτάσεων σε διάφορους συμβολισμούς 
|-
! Άλγεβρα Μπουλ || Θεωρία Συνόλων || Προτασιακή Λογική
|-
|||||
|-
|||||
|-
|||||
|}

 Ψηφιακές λογικές πύλες 

Ψηφιακή λογική είναι η εφαρμογή της Άλγεβρας Μπουλ σε υλικό υπολογιστή που αποτελείται από λογικές πύλες που συνδέονται μεταξύ τους προκειμένου να σχηματισθούν πιο σύνθετα κυκλώματα. Κάθε λογική πύλη αντιστοιχεί σε μια από τις πράξεις της Άλγεβρας Μπουλ και αναπαρίσταται γραφικά με διαφορετικό σχήμα. Στην επόμενη εικόνα φαίνονται τα σχήματα για τις πύλες ΚΑΙ (AND), Ή (OR) και ΟΧΙ (ΝΟΤ).


Οι γραμμές στα αριστερά κάθε λογικής πύλης αναπαριστούν καλώδια εισόδου (ή αλλιώς ports). Η τιμή της εισόδου είναι η τιμή της τάσης (διαφορά δυναμικού). Για παράδειγμα, τάση κοντά στο μηδέν θα μπορούσε να αντιστοιχισθεί στην αληθοτιμή 0 και υψηλότερη διαφορά δυναμικού στην αληθοτιμή 1. Αυτός είναι ένας από τους τρόπους αντιστοίχισης τάσης με αληθοτιμές. Η γραμμή στα δεξιά κάθε πύλης αναπαριστά την έξοδο της λογικής πύλης. Συνήθως ακολουθείται η ίδια σύμβαση αντιστοίχισης τάσης-αληθοτιμών στις εισόδους και στην έξοδο.

Η λογική άρνηση υλοποιείται με τη χρήση ενός αντιστροφέα, ο οποίος συμβολίζεται με ένα κυκλίσκο. Το τρίγωνο μπροστά από τον κυκλίσκο υποδηλώνει απλώς αντιγραφή της εισόδου.

Εάν χρησιμοποιήσουμε το συμπλήρωμα σε όλες τις θύρες (ports) κάθε λογικής πύλης, και χρησιμοποιήσουμε την πύλη ΚΑΙ στη θέση της πύλης Ή και αντίστροφα, τότε θα έχουμε υλοποιήσει ισοδύναμα τις τρεις αρχικές πράξεις. Το γεγονός αυτό επιδεικνύει την εφαρμογή των δύο νόμων De Morgan καθώς και της αρχής της δυαδικότητας.


Δείτε επίσης
 Τζορτζ Μπουλ
 Λογική σχεδίαση
 Λογική πύλη
 Θεωρία συνόλων

Περαιτέρω ανάγνωση




 Bocheński, Józef Maria (1959). A Précis of Mathematical Logic. Translated from the French and German editions by Otto Bird. Dordrecht, South Holland: D. Reidel.

Ιστορική προοπτική


 , several relevant chapters by Hailperin, Valencia, and Grattan-Guinness




Εξωτερικοί σύνδεσμοι

 Monk, J. Donald, The Mathematics of Boolean Algebra

 Παραπομπές