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.

 Algebra Booleana (introductio)
 Algebra Booleana (structura)
 Algebra Heyting
 Algebra Lindenbaum–Tarski
 Algebra universalis
 Calculus propositionum
 Cancelli (ordo)
 Diagramma Venn
 Dominium Booleanum
 Electronica digitalis
 Functio Booleana
 Functio Booleana finitary
 Functio valita Booleana
 Functiones Booleanae ad syntactica explicandum
 Graphicum logicale
 Informatica
 Index rerum algebrae Booleanae
 Java (lingua programmandi)
 Leges Formae
 Leges De Morgan
 Logica trinaria
 Logica propositionalis
 Logicam minimi facere
 Minimus negationis operator
 Porta logica
 Tabula veritatis

Bibliographia
 
 
 .

Nexus externi
Georgius Boole, 1848, "The Calculus of Logic," ''Cambridge and Dublin Mathematical Journal III: 183-98.
Logical Formula Evaluator (for Windows), a software which calculates all possible values of a logical formula
How Stuff Works - Boolean Logic
 Maiki & Boaz BDD-PROJECT, a Web Application for BDD reduction and visualization.

Algebra Booleana
Logica