Ο μαθηματικός Τζορτζ Μπουλ (George Boole, 1815-1864) παρουσίασε το 1847 μια άλγεβρα με μεταβλητές δύο τιμών (που καλούνται "λογικές μεταβλητές"). Ουσιαστικά ο Τζορτζ Μπουλ παρουσίασε με τα μαθηματικά της εποχής του, την Αριστοτέλεια λογική, του είναι ή δεν είναι.
Σήμερα η άλγεβρα αυτή ονομάζεται άλγεβρα Μπουλ, ή δυαδική άλγεβρα, ή διακοπτική άλγεβρα και έχει βρει ευρεία εφαρμογή στην σχεδίαση του λογισμικού και των κυκλωμάτων των ηλεκτρονικών υπολογιστών, επειδή είναι ιδανική για χειρισμό λογικών συναρτήσεων και πράξεων στο δυαδικό σύστημα. Ο Τζορτζ Μπουλ (αγγλικά: George Boole) γεννήθηκε στις 2 Νοεμβρίου 1815 και πέθανε τον Δεκέμβριο του 1864. Ήταν Άγγλος μαθηματικός, φιλόσοφος και μελετητής της λογικής. Εργάστηκε στους τομείς των διαφορικών εξισώσεων και της αλγεβρικής λογικής και είναι ευρύτερα γνωστός ως ο συγγραφέας του Οι νόμοι της Λογικής. Η Google τιμάει με ένα Doodle τα 200 χρόνια αποό τη γέννησή του. Στα Μαθηματικά και την Μαθηματική λογική, Άλγεβρα Μπουλ είναι η υποπεριοχή της άλγεβρας όπου οι τιμές των μεταβλητών είναι οι τιμές αληθείας αληθές και ψευδές, που συνήθως αναπαρίστανται με 1 και 0 αντίστοιχα. Σε αντίθεση με την στοιχειώδη άλγεβρα όπου οι τιμές των μεταβλητών είναι αριθμοί και οι κύριες πράξεις είναι η πρόσθεση και ο πολλαπλασιασμός, στην άλγεβρα Μπουλ υπάρχουν τρεις κύριες πράξεις: η σύζευξη και (συμβ. ^), η διάζευξη ή (συμβ. ∨) και η άρνηση όχι (σύμβ. ¬). Η άλγεβρα Μπουλ εισήχθη το 1854 από τον Τζορτζ Μπουλ (George Boole) με το έργο του An Investigation of the Laws of Thought (Διερεύνηση των νόμων της σκέψης). Σύμφωνα με τον Huntington ο όρος «Άλγεβρα Μπουλ» χρησιμοποιήθηκε για πρώτη φορά από τον Sheffer το 1913. Η άλγεβρα Μπουλ είναι θεμελιώδους σημασίας για την επιστήμη της Πληροφορικής και αποτελεί την βάση για την θεωρητική μελέτη του πεδίου της λογικής σχεδίασης. Επιπλέον είναι σημαντική σε άλλα πεδία όπως η Στατιστική, η Θεωρία συνόλων και ο προγραμματισμός. Η ιδιότητα του Μπουλ ως μαθηματικού αναγνωρίστηκε όταν το 1849 του ανατέθηκε η θέση του πρώτου καθηγητή μαθηματικών στο κολλέγιο Κουϊνς στην Ιρλανδία. Εκεί γνώρισε και την μέλλουσα σύζυγο του,Μαίρη Έβερεστ το 1850 όταν η τελευταία επισκέπτοταν τον θείο της Τζόν Ρίαλ ο οποίος ήταν καθηγητής Ελληνικών. Μερικά χρόνια αργότερα παντρεύτηκαν. Διατήρησε τους δεσμούς του με το Λίνκολν, εργαζόμενος εκεί μαζί με τον Λάρκεν σε μια καμπάνια υπέρ της μείωσης της πορνείας. Δείτε το Doodle της Google: