Prérequis
Avoir lu l'article Le binaire : comment 0 et 1 portent toute l'information (parties 1 et 3), ou au moins savoir ce qu'est un bit et une table de vérité.
Lire une table de vérité ne suffit pas. Pour concevoir un circuit, il faut savoir calculer avec ces expressions : les écrire, les transformer, les simplifier, et surtout vérifier qu'on n'a pas changé leur sens.
L'enjeu est concret : dans un circuit, une expression plus courte demande moins de portes, donc un composant plus petit, moins cher et moins gourmand.
L'article suit un fil en trois temps. On apprend d'abord à calculer (parties 1 à 5 : lire, évaluer, démontrer, simplifier). On apprend ensuite à nier une expression (partie 6 : lois de De Morgan). On construit enfin le composant qui réalise une expression, la porte logique, avec ses symboles normalisés (partie 7). Les parties 8 et 9 ouvrent des pistes et rappellent les limites.
Il s'adresse à deux publics : les débutants, qui suivent le fil principal avec des exemples chiffrés, et les spécialistes, qui trouveront des approfondissements dans les encadrés « Pour aller plus loin ». Chaque terme est défini à sa première apparition et repris dans le glossaire.
À retenir
L'algèbre de Boole est une algèbre où l'on peut tout vérifier. Comme il n'y a que deux valeurs, une règle est prouvée dès qu'on l'a testée sur tous les cas possibles.
01Rappel express : variables, opérations, tables de vérité
Une variable booléenne est une grandeur qui ne vaut que 0 (faux) ou 1 (vrai). On l'associe à une question à réponse oui ou non : A = « la porte est ouverte », B = « il pleut ».
Trois opérations de base, que nous connaissons dans le langage courant :
- NON (négation, notée ¬A) : inverse la valeur.
- ET (conjonction, notée A·B) : vaut 1 seulement si les deux valent 1.
- OU (disjonction, notée A+B) : vaut 1 si au moins une des deux vaut 1.
Une table de vérité liste toutes les combinaisons des entrées et la sortie correspondante :
| A | B | ¬A | A·B (ET) | A+B (OU) |
|---|---|---|---|---|
| 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 0 | 1 |
| 1 | 1 | 0 | 1 | 1 |
Ces opérations se réalisent avec des interrupteurs : en série pour le ET, en parallèle pour le OU (voir l'article sur le binaire).
Une quatrième opération est très utilisée : le OU exclusif (XOR, noté A⊕B). Il vaut 1 quand les deux entrées sont différentes : l'une ou l'autre, mais pas les deux. Nous verrons qu'il se construit avec les trois premières.
02Lire une expression : l'ordre de priorité
Quand on écrit une expression comme A + B·C, il faut savoir par où commencer. Comme en arithmétique, où la multiplication passe avant l'addition, on applique dans l'ordre : NON, puis ET, puis OU. Ainsi A + B·C signifie A + (B·C).
Vérification chiffrée : avec A = 1, B = 0, C = 0. On calcule d'abord B·C = 0·0 = 0, puis A + 0 = 1. Si on avait lu à tort (A + B)·C, on aurait trouvé (1 + 0)·0 = 0. Les deux lectures donnent des résultats différents, d'où l'importance de la priorité, et des parenthèses en cas de doute.
Méthode pour évaluer une expression : remplacer les variables par leurs valeurs, calculer d'abord les NON, puis les parenthèses et les ET, puis les OU. Avec un peu d'habitude, on le fait de tête.
03Attention : ce n'est pas l'algèbre du collège
Pont de compréhension
Les symboles « + » et « · » ressemblent à l'addition et à la multiplication, mais les règles ne sont pas les mêmes. Trois différences qui surprennent :
- 1 + 1 = 1 (« vrai OU vrai » reste « vrai »). Il n'y a pas de 2 en algèbre de Boole : il n'existe que 0 et 1.
- A·A = A et A + A = A : répéter une condition ne change rien. « Il pleut ET il pleut » revient à « il pleut ».
- A + B·C = (A + B)·(A + C) : la distributivité marche « dans les deux sens », ce qui n'est pas vrai pour les nombres ordinaires. Vérifions avec A = 1, B = 0, C = 0 : à gauche 1 + 0·0 = 1 ; à droite (1+0)·(1+0) = 1·1 = 1. Avec A = 0, B = 1, C = 1 : à gauche 0 + 1 = 1 ; à droite (0+1)·(0+1) = 1. Et un cas qui donne 0, avec A = 0, B = 1, C = 0 : à gauche 0 + 1·0 = 0 ; à droite (0+1)·(0+0) = 1·0 = 0.
Trois cas ne suffisent pas à prouver une règle. La table complète des 8 combinaisons, elle, le prouve : les colonnes « A + B·C » et « (A + B)·(A + C) » sont identiques sur toutes les lignes.
| A | B | C | B·C | A + B·C | A + B | A + C | (A + B)·(A + C) |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 |
| 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
04Les règles de calcul, expliquées
Ces règles s'appellent des lois. On les retrouve, avec des noms parfois légèrement différents, dans tous les cours d'algèbre de Boole.
| Règle | Écriture | En clair |
|---|---|---|
| Élément neutre | A·1 = A ; A + 0 = A | ET avec « vrai » ne change rien ; OU avec « faux » ne change rien |
| Élément absorbant (ou nul) | A·0 = 0 ; A + 1 = 1 | ET avec « faux » donne toujours faux ; OU avec « vrai » donne toujours vrai |
| Idempotence | A·A = A ; A + A = A | Répéter ne sert à rien |
| Complément | A·¬A = 0 ; A + ¬A = 1 | Une chose et son contraire ne sont jamais vraies ensemble ; l'une des deux est toujours vraie |
| Double négation | ¬(¬A) = A | Nier deux fois revient à affirmer |
| Commutativité | A·B = B·A ; A+B = B+A | L'ordre n'importe pas |
| Associativité | (A·B)·C = A·(B·C) ; (A+B)+C = A+(B+C) | On peut regrouper comme on veut |
| Distributivité | A·(B+C) = A·B + A·C ; A+(B·C) = (A+B)·(A+C) | On « développe » dans les deux sens |
| Absorption | A + A·B = A ; A·(A+B) = A | Si A est vrai, la suite est inutile |
Deux façons de prouver une règle
1. Par table de vérité : on teste tous les cas. Prenons l'absorption A + A·B = A :
| A | B | A·B | A + A·B | Égal à A ? |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | oui |
| 0 | 1 | 0 | 0 | oui |
| 1 | 0 | 0 | 1 | oui |
| 1 | 1 | 1 | 1 | oui |
Avec n variables, il y a 2 puissance n lignes : 4 lignes pour 2 variables, 8 pour 3, 16 pour 4. C'est la méthode la plus sûre, mais elle devient longue quand n grandit.
2. Par calcul : on applique les règles du tableau, pas à pas :
A + A·B = A·1 + A·B (élément neutre) = A·(1 + B) (distributivité) = A·1 (1 + B = 1, élément absorbant) = A (élément neutre).
Le calcul est plus court, mais il demande de savoir quelle règle appliquer. D'où l'intérêt des exemples qui suivent.
05Trois exemples guidés et une méthode
Exemple 1 : simplifier une expression
On veut simplifier A·B + A·¬B.
- On met A en facteur (distributivité à l'envers) : A·(B + ¬B).
- Or B + ¬B = 1 (complément : l'un des deux vaut forcément 1).
- Donc A·1 = A (élément neutre).
L'expression se réduit à A : B n'avait aucune influence. Concrètement : « la porte est ouverte et il pleut, ou la porte est ouverte et il ne pleut pas » revient à « la porte est ouverte ».
Exemple 2 : une alarme de maison
Une alarme doit sonner si elle est armée (E) ET si une porte est ouverte (P) OU une fenêtre est brisée (V). On peut l'écrire de deux façons équivalentes :
- Forme factorisée : S = E·(P + V). Elle demande 2 portes (un OU, puis un ET).
- Forme développée : S = E·P + E·V. Elle demande 3 portes (deux ET, puis un OU).
Vérification chiffrée : E = 1, P = 0, V = 1. Forme factorisée : 1·(0+1) = 1·1 = 1. Forme développée : 1·0 + 1·1 = 0 + 1 = 1. Même résultat, mais la première coûte une porte de moins. Multipliée par des millions de circuits, cette économie compte : c'est exactement ce que Shannon cherchait à faire avec les relais.
Exemple 3 : de la table de vérité à l'expression (le vote à la majorité)
Un circuit doit sortir 1 quand au moins deux de ses trois entrées A, B, C valent 1. Sa table de vérité :
| A | B | C | Sortie M |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 |
Étape 1 : écrire un terme par ligne où la sortie vaut 1. Chaque terme est un ET qui n'est vrai que pour cette combinaison (on nie les variables qui valent 0) :
M = ¬A·B·C + A·¬B·C + A·B·¬C + A·B·C
Étape 2 : simplifier. On utilise l'idempotence pour écrire le dernier terme A·B·C trois fois (le résultat ne change pas), puis on regroupe par paires :
- ¬A·B·C + A·B·C = B·C·(¬A + A) = B·C
- A·¬B·C + A·B·C = A·C·(¬B + B) = A·C
- A·B·¬C + A·B·C = A·B·(¬C + C) = A·B
Résultat : M = A·B + A·C + B·C. Trois ET et deux OU au lieu de quatre termes de trois variables. Cette fonction « majorité » n'est pas un jouet : c'est la retenue d'un additionneur complet (partie 7).
Méthode : simplifier en 5 étapes
- Regarder. Repérer les termes (séparés par des +) et les facteurs qu'ils ont en commun.
- Réordonner. Avec la commutativité et l'associativité, placer côte à côte les termes qui se ressemblent.
- Chercher une paire. Deux termes qui ne diffèrent que par une variable (A·B + A·¬B) : mettre en facteur, appliquer le complément (B + ¬B = 1), puis le neutre.
- Chercher un cas particulier. Absorption (A + A·B), idempotence (A + A), élément nul (A·0, A + 1), double négation, et les lois de De Morgan pour toute négation placée sur une parenthèse. Ces lois disent comment nier une expression composée : nier un ET donne le OU des négations, nier un OU donne le ET des négations, soit ¬(A·B) = ¬A + ¬B et ¬(A + B) = ¬A·¬B. Elles sont expliquées et vérifiées en partie 6.
- Vérifier. Tester le résultat sur au moins deux jeux de valeurs, ou par une table de vérité complète. Une simplification non vérifiée n'est pas une simplification.
Exemple. Simplifier B·A + A·¬B. (2) Commutativité : B·A = A·B, donc A·B + A·¬B. (3) Paire : A·(B + ¬B) = A·1 = A. (5) Vérification : A = 1, B = 0 → 0 + 1 = 1 = A ; A = 0, B = 1 → 0 + 0 = 0 = A. Réponse : A.
À retenir
Simplifier, c'est repérer des paires de termes qui ne diffèrent que par une variable (A·B + A·¬B), puis appliquer le complément (B + ¬B = 1) pour la faire disparaître.
Pour s'entraîner
Une page d'exercices corrigés accompagnera cet article (à paraître) : 54 exercices en 18 paliers de difficulté croissante, sur quatre pages, de l'évaluation d'une opération jusqu'aux tableaux de Karnaugh.
06Les lois de De Morgan : nier une phrase composée
Qui est De Morgan ?
Augustus De Morgan (1806-1871) est un mathématicien et logicien britannique. En 1847, il publie « Formal Logic », où figurent les deux lois qui portent son nom. Presque au même moment, la même année, George Boole publie « The Mathematical Analysis of Logic ». Les deux hommes correspondent et renouvellent la logique en parallèle, par des voies différentes : Boole par l'algèbre, De Morgan en prolongeant la logique classique.
Ces deux lois disent comment nier un ET ou un OU :
- ¬(A·B) = ¬A + ¬B
- ¬(A+B) = ¬A · ¬B
Un moyen mnémotechnique anglais résume la méthode : « break the line, change the sign » (« casser la barre, changer le signe »). On « casse » la négation, on la place sur chaque variable, et on échange ET et OU.
En français : nier « il pleut ET il vente » donne « il ne pleut pas OU il ne vente pas » (il suffit que l'un des deux manque). Et nier « je prends du thé OU du café » donne « je ne prends pas de thé ET pas de café » (ni l'un ni l'autre).
Vérification chiffrée pour la première loi : avec A = 1 et B = 0, le premier membre vaut ¬(1·0) = ¬0 = 1 ; le second ¬1 + ¬0 = 0 + 1 = 1. Avec A = 1 et B = 1 : ¬(1·1) = 0 et ¬1 + ¬1 = 0 + 0 = 0.
Où l'utilise-t-on ? Dans la conception de circuits (pour transformer un ET en OU et réduire les types de portes), mais aussi dans les moteurs de recherche et les programmes : chercher les documents qui ne contiennent pas « chats » ET « chiens » revient à chercher ceux qui ne contiennent pas « chats » OU pas « chiens ».
07Des règles aux portes logiques
Une porte logique est un circuit électronique qui réalise une opération booléenne : elle prend un ou plusieurs bits en entrée et fournit un bit en sortie. L'algèbre de Boole donne les règles, les portes les réalisent en matériel.
Les portes usuelles
| A | B | ET | OU | NAND | NOR | XOR |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 1 | 1 | 0 |
| 0 | 1 | 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 | 0 | 0 | 0 |
- NON (inverseur) : une entrée, sortie inversée.
- NAND = « NON-ET » : l'inverse du ET. NOR = « NON-OU » : l'inverse du OU.
- XOR : vaut 1 si les deux entrées sont différentes. On le construit avec les trois opérations de base : A⊕B = A·¬B + ¬A·B. Vérification : A = 1, B = 0 → 1·1 + 0·0 = 1 ; A = 1, B = 1 → 1·0 + 0·1 = 0.
Les symboles des portes
Sur un schéma de circuit, chaque porte a un symbole. Ceux ci-dessous sont les symboles à « formes distinctives » de la norme ANSI/IEEE 91-1984. La norme internationale CEI 60617-12 propose aussi des symboles rectangulaires, et les deux familles coexistent. Trois règles de lecture : la forme donne la fonction de base (dos plat pour le ET, dos creusé pour le OU, triangle pour le NON) ; un petit cercle, la bulle, sur une sortie signifie « inversé » ; le XOR se reconnaît au trait courbe supplémentaire à l'entrée du symbole du OU.
| Porte | Reconnaître | Expression | Y pour A, B = 00, 01, 10, 11 |
|---|---|---|---|
| NON (NOT) | Triangle avec une bulle à la sortie | Y = ¬A | A = 0 → 1 ; A = 1 → 0 |
| ET (AND) | Dos plat, nez arrondi | Y = A·B | 0, 0, 0, 1 |
| OU (OR) | Dos creusé, pointe | Y = A + B | 0, 1, 1, 1 |
| NON-ET (NAND) | Symbole du ET avec une bulle | Y = ¬(A·B) | 1, 1, 1, 0 |
| NON-OU (NOR) | Symbole du OU avec une bulle | Y = ¬(A + B) | 1, 0, 0, 0 |
| OU exclusif (XOR) | Symbole du OU avec un trait courbe supplémentaire à l'entrée | Y = A·¬B + ¬A·B | 0, 1, 1, 0 |
Pont de compréhension
La bulle est la loi de De Morgan dessinée. Un NAND peut aussi se dessiner comme un symbole OU avec une bulle sur chaque entrée : ¬(A·B) = ¬A + ¬B. Les deux dessins désignent le même circuit. Lire une bulle, c'est lire une négation.
À quoi servent-elles ? Additionner deux bits
| A | B | A + B (en binaire) | Retenue | Somme |
|---|---|---|---|---|
| 0 | 0 | 00 | 0 | 0 |
| 0 | 1 | 01 | 0 | 1 |
| 1 | 0 | 01 | 0 | 1 |
| 1 | 1 | 10 | 1 | 0 |
La colonne « Somme » est exactement la table du XOR, et la colonne « Retenue » celle du ET. Deux portes suffisent donc à construire un demi-additionneur. Il est « demi » car il ne sait pas recevoir une retenue venant de la colonne précédente.
Un additionneur complet reçoit trois bits : A, B et la retenue entrante. Sa somme est un XOR des trois, et sa retenue sortante vaut 1 si au moins deux des trois entrées valent 1 : c'est la fonction « majorité » de l'exemple 3. En chaînant des additionneurs complets, on additionne des nombres de plusieurs bits. Claude Shannon présentait déjà un additionneur en base deux à la fin de son mémoire de 1937.
Exemple chiffré : 5 + 3 sur 4 bits. 0101 + 0011 : colonne de droite 1+1 = 0, retenue 1 ; deuxième colonne 0+1+1 = 0, retenue 1 ; troisième colonne 1+0+1 = 0, retenue 1 ; quatrième colonne 0+0+1 = 1. Résultat : 1000, soit 8. Le calcul est bon.
Au-delà de l'addition
Combinées, les portes réalisent aussi des comparateurs (A est-il égal à B ?), des multiplexeurs (choisir une entrée parmi plusieurs, comme un aiguillage) et des décodeurs (activer une ligne selon un code). L'unité de calcul d'un processeur est un assemblage de ces briques.
Pour aller plus loin : la porte NAND est universelle
Avec des portes NAND seules, on peut fabriquer toutes les autres :
- NON A = A NAND A. Vérification : A = 0 → 0 NAND 0 = 1 ; A = 1 → 1 NAND 1 = 0. C'est bien l'inverse. Coût : 1 porte.
- A ET B = NON(A NAND B). Coût : 2 portes NAND (une pour le NAND, une montée en inverseur).
- A OU B = (NON A) NAND (NON B), par De Morgan : ¬(¬A·¬B) = A + B. Coût : 3 portes NAND (deux inverseurs, un NAND).
C'est un avantage industriel : une seule porte de base à produire et à optimiser. Il en va de même pour la porte NOR. On dit que le NAND, comme le NOR, est une porte universelle.
08Pour aller plus loin
Formes normales : somme de produits et produit de sommes
La méthode de l'exemple 3 produit une forme normale disjonctive (une somme de produits) : toute fonction booléenne peut s'écrire ainsi, avec un terme par ligne de la table de vérité où la sortie vaut 1. À l'inverse, la forme normale conjonctive écrit un produit de sommes, avec un facteur par ligne où la sortie vaut 0. Ces formes ne sont pas les plus courtes, mais elles existent toujours : c'est un point de départ pour la simplification.
La dualité
Toute règle de l'algèbre de Boole reste vraie si l'on échange ET et OU, ainsi que 0 et 1. Exemple : A + 0 = A devient A·1 = A ; A + A·B = A devient A·(A + B) = A. C'est pourquoi les règles vont par paires dans le tableau de la partie 4.
Tableaux de Karnaugh et Quine-McCluskey
Qui est Karnaugh ? Maurice Karnaugh (1924-2022) est un physicien et mathématicien américain, né à New York. Chercheur aux laboratoires Bell, il publie en 1953 « The Map Method for Synthesis of Combinational Logic Circuits », qui perfectionne le graphique proposé en 1952 par l'informaticien américain Edward W. Veitch.
Pour simplifier à la main des fonctions de quelques variables, on dispose d'un outil visuel : le tableau de Karnaugh. Il présente la table de vérité sur une grille où les 1 voisins, qui ne diffèrent que par une variable, se regroupent d'un coup d'œil : c'est exactement la simplification A·B + A·¬B = A faite graphiquement. Au-delà de quelques variables, des algorithmes comme la méthode de Quine et McCluskey, mise au point dans les années 1950, prennent le relais, et aujourd'hui des outils de synthèse automatiques.
Les mêmes règles dans d'autres domaines
Les lois de De Morgan et les autres règles s'appliquent aussi à la théorie des ensembles : « union » joue le rôle du OU, « intersection » celui du ET, « complémentaire » celui du NON. Elles s'appliquent encore aux requêtes de recherche avec les opérateurs AND, OR et NOT.
L'algèbre de Boole d'aujourd'hui n'est pas tout à fait celle de Boole
Dans le système de Boole (1847 et 1854), le signe « + » joue le rôle d'un OU exclusif : il réunit des classes qui ne se recouvrent pas. En 1864, dans « Pure Logic », le logicien et économiste britannique William Stanley Jevons (1835-1882) redéfinit le « + » comme un OU inclusif, celui de cet article, ce qui rend possible la règle A + A = A (l'idempotence de la partie 4). Il l'avait proposé à Boole dans une lettre de 1863 ; Boole avait refusé, car cette règle aurait ruiné son appui sur l'algèbre ordinaire des nombres. Charles Sanders Peirce fait le même choix en 1867, indépendamment. C'est cette version, prolongée par Peirce et Ernst Schröder, qui a donné l'algèbre de Boole enseignée aujourd'hui. Jevons construit aussi, en 1869, un « piano logique », l'une des premières machines à raisonner.
09Limites et idées reçues
- Le « + » n'est pas une addition. C'est la confusion la plus fréquente : 1 + 1 = 1 en algèbre de Boole.
- Une table de vérité décrit un instant. Elle ne dit rien du temps : une expression booléenne n'a pas de mémoire. C'est la bascule, objet du prochain article de la série, qui apporte la mémoire.
- Tous les noms de règles ne sont pas universels. Certaines règles (comme A·B + A·¬B = A) portent des noms différents selon les cours, ou aucun nom. L'important est de savoir les vérifier, pas de les réciter.
- Boole ne pensait pas à des ordinateurs. Il voulait décrire les lois de la pensée ; ce sont Shannon, Nakashima et d'autres qui ont montré, dans les années 1930, que la même algèbre décrit des circuits.
10Conclusion
L'algèbre de Boole est une algèbre étonnamment simple : deux valeurs, trois opérations, une dizaine de règles, et la possibilité de tout vérifier par une table de vérité. Elle permet de simplifier une expression sans changer son sens, donc de construire des circuits plus petits et d'écrire des conditions plus claires. La page d'exercices corrigés (à paraître) permettra de vérifier que les règles sont acquises, pas à pas.
Mais une expression booléenne ne retient rien : elle calcule un résultat à partir des entrées présentes. Pour qu'un circuit se souvienne, il faut un composant d'un autre type. C'est le sujet du prochain article de la série : la bascule, ou comment une donnée devient mémoire.
11Glossaire
- Absorption : règle A + A·B = A (et sa duale A·(A + B) = A).
- Additionneur complet : circuit qui additionne trois bits (A, B et la retenue entrante).
- Algèbre de Boole : algèbre où les variables ne valent que 0 ou 1, avec les opérations ET, OU, NON.
- Associativité : (A·B)·C = A·(B·C) et (A + B) + C = A + (B + C) ; les parenthèses d'une suite de ET ou de OU n'importent pas.
- Commutativité : A·B = B·A et A + B = B + A ; l'ordre n'importe pas.
- Complément : règles A·¬A = 0 et A + ¬A = 1.
- De Morgan (lois de) : règles pour nier un ET ou un OU : ¬(A·B) = ¬A + ¬B et ¬(A+B) = ¬A·¬B.
- Demi-additionneur : circuit qui additionne deux bits ; somme = XOR, retenue = ET.
- Distributivité : A·(B + C) = A·B + A·C, et aussi A + B·C = (A + B)·(A + C).
- Double négation : ¬(¬A) = A.
- Dualité : principe selon lequel une règle reste vraie si l'on échange ET et OU, ainsi que 0 et 1.
- Élément absorbant (ou nul) : A·0 = 0 et A + 1 = 1.
- Élément neutre : A·1 = A et A + 0 = A.
- Forme normale disjonctive : expression écrite comme une somme (OU) de produits (ET), un terme par ligne à 1 de la table de vérité.
- Idempotence : règles A·A = A et A + A = A.
- Multiplexeur : circuit qui choisit une entrée parmi plusieurs, comme un aiguillage.
- NAND, NOR : portes « NON-ET » et « NON-OU », inverses du ET et du OU.
- Porte logique : circuit réalisant une opération booléenne.
- Table de vérité : tableau des sorties pour toutes les entrées possibles.
- Tableau de Karnaugh : grille qui présente une table de vérité de façon à repérer d'un coup d'œil les simplifications.
- Variable booléenne : grandeur qui ne vaut que 0 ou 1.
- XOR (OU exclusif) : vaut 1 si les deux entrées diffèrent ; A⊕B = A·¬B + ¬A·B.
Sources
Manuels de référence
- Kuphaldt (Tony R.), Lessons In Electric Circuits, vol. IV, chapitre 7 — Boolean Algebra — consulté en novembre 2026
- Kuphaldt (Tony R.) — Boolean Rules for Simplification — consulté en novembre 2026
Boole (texte original)
- Project Gutenberg — Boole (George), An Investigation of the Laws of Thought, 1854 — consulté en novembre 2026
Algèbre de Boole : lois et méthode
- University of Washington (CSE 370) — Lecture 3: Boolean Algebra — consulté en octobre 2026
- University of Toronto (CSC 258) — Some Boolean algebra identities — consulté en octobre 2026
- Brooklyn College (CUNY) — Laws of Boolean algebra — consulté en octobre 2026
- University College Cork — Biographical history: George Boole — consulté en octobre 2026
Symboles de portes
- Texas Instruments (F. A. Mann) — Overview of IEEE Standard 91-1984: Explanation of Logic Symbols — consulté en novembre 2026
- IEEE Standards Association — IEEE/ANSI 91/91a-1991, Graphic Symbols for Logic Functions — consulté en novembre 2026
- Spinning Numbers (Willy McAllister) — Digital logic gates — consulté en novembre 2026
- Wikipedia — Logic gate — consulté en novembre 2026
De Morgan
- Wikipedia — De Morgan's laws — consulté en octobre 2026
- ProofWiki — De Morgan's Laws — consulté en octobre 2026
- Encyclopædia Britannica — History of logic: Boole and De Morgan — consulté en novembre 2026
- New Mexico State University (J. H. Barnett) — Origins of Boolean Algebra in the Logic of Classes — consulté en novembre 2026
- University of Waterloo (S. Burris) — Notes sur De Morgan, Boole et Jevons — consulté en novembre 2026
Jevons et l'algèbre de Boole moderne
- Stanford Encyclopedia of Philosophy (S. Burris, J. Legris) — The Algebra of Logic Tradition — consulté en novembre 2026
- Stanford Encyclopedia of Philosophy (S. Burris) — George Boole — consulté en novembre 2026
- IEEE Computer Society — W. Stanley Jevons — consulté en novembre 2026
- Internet Archive — Peirce (Charles S., dir.), Studies in Logic, 1883 — consulté en novembre 2026
Shannon et l'additionneur
- Encyclopedia.com — Shannon, Claude Elwood — consulté en octobre 2026
Karnaugh, Veitch, Quine-McCluskey
- Transactions of the AIEE (M. Karnaugh, 1953) — The Map Method for Synthesis of Combinational Logic Circuits — consulté en novembre 2026
- Wikipedia — Karnaugh map — consulté en octobre 2026
- Wikipedia — Edward W. Veitch — consulté en octobre 2026
- Wikipedia — Maurice Karnaugh — consulté en octobre 2026
- Technische Hochschule Köln — Zwei Verfahren zur Minimierung von logischen Schaltungen — consulté en octobre 2026