Algebra Booleana (logica)
Algebra Booleana seu logica Booleana est logicae calculus, decennio 184 a Georgio Boole creatus, qui ad valores veritatis computandas adhibetur. Fundamenta eius sunt operationes coniunctio x ∧ y, disiunctio x ∨ y, et negatio ¬x. Hoc non est dissimilis algebrae numerorum 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.