Algebra Booleana (logica)

Algebra Booleana, seu logica Booleana, est logicae calculus, medio saeculo undevicensimo a Georgio Boole propositus, qui ad valores veritatis computandas adhibetur. Fundamenta eius sunt operationes coniunctio x ∧ y, disiunctio x ∨ y, et negatio ¬x. Haec algebrae numerorum realum dissimilia non sunt, 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 universalis
 Calculus propositionum
 Diagramma Vennianum
 Dominium Booleanum
 Electronica digitalis
 Functio Booleana
 Functio Booleana finitaria
 Functio valita Booleana
 Functiones Booleanae ad syntactica explicandum
 Graphicum logicale
 Informatica
 Index rerum algebrae Booleanae
 Java (lingua programmandi)
 Leges formae
 Leges De Morganiana
 Logica trinaria
 Logica propositionalis
 Logicam minimi facere
 Minimus negationis operator
 Porta logica
 Statistica
 Tabula veritatis

Bibliographia


 .












Nexus externi
Georgius Boole, 1848. "The Calculus of Logic." ''Cambridge and Dublin Mathematical Journal 3: 183–198.
"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.

!
Categoria:Logica