Liste de sujets relatifs à l'algèbre de Boole

Voici une liste de sujets autour de l'algèbre booléenne et la logique propositionnelle.

Articles généraux et introductions

• Algèbre des parties d'un ensemble
• Algèbre de Boole (structure)
• Algèbre de Boole
• Algèbre d'ensembles
• Connecteur logique
• Calcul des propositions

Connecteurs et fonctions booléennes

• Fonction NON-OU
• Algèbres de Boole canoniquement définies (en)
• Disjonction conditionnée
• Fonction Booléenne évasive (en)
• OU Exclusif
• Complétude fonctionnelle (en)
• Conjonction logique
• Disjonction logique
• Égalité logique (en)
• Déduction logique
• Négation logique
• Représentation de Lupanov (en), attribuée à Oleg Lupanov
• Implication logique
• Barre de Sheffer
• Fonction Booléenne symétrique (en)

Exemples de algèbres de Boole

• Domaine booléen
• Algèbre de Lindenbaum
• Algèbre de Boole à deux éléments

Extensions et généralisations

• Algèbre de Boole complète (en)
• Logique du premier ordre
• Algèbre de Boole libre (en)
• Algèbre de Heyting
• Algèbre Booléenne monadique (en)

Syntaxe

• Forme normale algébrique
• Forme canonique (algèbre booléenne)
• Forme normale conjonctive
• Forme normale disjonctive
• Système formel

Applications techniques

• Porte logique
• Analyse Booléenne

Théorèmes, lois et principes spécifiques

• Théorème de compacité
• Théorème du consensus
• Lois de De Morgan
• Algèbre de Boole (logique)
• Loi de Peirce

Personne

• Boole, George
• De Morgan, Auguste
• Jevons, William Stanley
• Peirce, Charles Sanders
• Stone, Marshall Harvey
• Venn, John

Philosophie

• Syllogistique de Boole (en)
• Graphe logique

Représentation

• Table de vérité
• Table de Karnaugh
• Diagramme de Venn

Non classé

• Fonction booléenne
• Problème SAT
• Fonction caractéristique
• Matrice logique
• Valeur de vérité
• Algèbre booléenne topologique (en)

Références

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « List of Boolean algebra topics » (voir la liste des auteurs).