Liste de sujets relatifs à l'algèbre de Boole — Wikipédia
Voici une liste de sujets autour de l'algèbre booléenne et la logique propositionnelle.
Articles généraux et introductions[modifier | modifier le code]
- 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[modifier | modifier le code]
- 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[modifier | modifier le code]
Extensions et généralisations[modifier | modifier le code]
- 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[modifier | modifier le code]
- Forme normale algébrique
- Forme canonique (algèbre booléenne)
- Forme normale conjonctive
- Forme normale disjonctive
- Système formel
Applications techniques[modifier | modifier le code]
Théorèmes, lois et principes spécifiques[modifier | modifier le code]
- Théorème de compacité
- Théorème du consensus
- Lois de De Morgan
- Algèbre de Boole (logique)
- Loi de Peirce
Personne[modifier | modifier le code]
- Boole, George
- De Morgan, Auguste
- Jevons, William Stanley
- Peirce, Charles Sanders
- Stone, Marshall Harvey
- Venn, John
Philosophie[modifier | modifier le code]
Représentation[modifier | modifier le code]
Non classé[modifier | modifier le code]
- Fonction booléenne
- Problème SAT
- Fonction caractéristique
- Matrice logique
- Valeur de vérité
- Algèbre booléenne topologique (en)
Références[modifier | modifier le code]
- (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).