Algebra Booleana seu logica Booleana est logicaecalculus, decennio 184 a Georgio Boole creatus, qui ad valores veritatis computandas adhibetur. Fundamenta eius sunt operationes coniunctiox ∧ y, disiunctiox ∨ y, et negatio¬x.
Hoc non est dissimilis algebraenumerorum realum, quae multiplicatione xy et additione x + y utitur. Operationes Booleanae sunt etiam omnes aliae operationes quae ex his operationibus primitivis creari possunt, velut x∧(y∨z). Copia illarum operationum aequivalet copiae omnium operationum super copia {0,1} quae numerum argumentorum finitum habent; sunt 22n illorum operationum n argumenta habentum.
Leges algebrae Booleanae aequationibus
quae systema axiomatum dicuntur et consecutionibus logicis eorum quae theoremata dicuntur, aut semantica—aequationibus quae omni adsignatione argumentorum eorum sunt verae—definiri possunt. Axiomatibus definire est sanum et perfectum, id est, axiomatibus definire nec plurem (sanum) nec pauciorem (perfectum) leges probat quam semantica.
Dwinger,Philip(1971).Introduction to Boolean algebras.Würzburg:Physica Verlag
Givant,Steven;Halmos,Paul(2009).Introduction to Boolean Algebras.Undergraduate Texts in Mathematics, Springer.ISBN978-0-387-40293-2.
Koppelberg,Sabine(1989)."General Theory of Boolean Algebras".Handbook of Boolean Algebras, Vol. 1 (ed. J. Donald Monk with Robert Bonnet).Amsterdam:North Holland.ISBN978-0-444-70261-6
Peirce,Carolus Sanders(1989).Writings of Charles S. Peirce: A Chronological Edition: 1879–1884 (ed. Christian J. W. Kloesel).Bloomington, IN:Indiana University Press.ISBN978-0-253-37204-8
Schröder,Ernestus(1890–1910).Vorlesungen über die Algebra der Logik (exakte Logik), I–III.Leipzig:B.G. Teubner
Shannon,Claudius(1938)."The Symbolic Analysis of Relay and Switching Circuits".Trans. Am. Inst. Electrical Eng.38: 713
Shannon,Claudius(1949)."The Synthesis of Two-Terminal Switching Circuits".Bell System Technical Journal28: 59–98