title: Liste de sujets relatifs à l'algèbre de Boole
text: # 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)
  