Informatique & tech · Cours · Série binaire

L'algèbre de Boole : apprendre à calculer avec le vrai et le faux

Lire une table de vérité ne suffit pas : pour concevoir un circuit, il faut savoir écrire, transformer et simplifier une expression sans en changer le sens. Les règles, la méthode et les portes logiques, avec des exemples vérifiés pas à pas.

Fiche express

Valeurs
0 et 1faux et vrai, rien d'autre
Opérations de base
NON, ET, OUcalculées dans cet ordre de priorité
Règles de calcul
Une dizainetoutes vérifiables par une table de vérité
Lois de De Morgan
1847publiées dans « Formal Logic » d'Augustus De Morgan
Additionner deux bits
2 portesun XOR pour la somme, un ET pour la retenue
Porte universelle
NAND (ou NOR)suffit à construire toutes les autres

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 :

AB¬AA·B (ET)A+B (OU)
00100
01101
10001
11011

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.

ABCB·CA + B·CA + BA + C(A + B)·(A + C)
00000000
00100010
01000100
01111111
10001111
10101111
11001111
11111111

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ÉcritureEn clair
Élément neutreA·1 = A ; A + 0 = AET avec « vrai » ne change rien ; OU avec « faux » ne change rien
Élément absorbant (ou nul)A·0 = 0 ; A + 1 = 1ET avec « faux » donne toujours faux ; OU avec « vrai » donne toujours vrai
IdempotenceA·A = A ; A + A = ARépéter ne sert à rien
ComplémentA·¬A = 0 ; A + ¬A = 1Une chose et son contraire ne sont jamais vraies ensemble ; l'une des deux est toujours vraie
Double négation¬(¬A) = ANier deux fois revient à affirmer
CommutativitéA·B = B·A ; A+B = B+AL'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
AbsorptionA + A·B = A ; A·(A+B) = ASi 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 :

ABA·BA + A·BÉgal à A ?
0000oui
0100oui
1001oui
1111oui

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.

  1. On met A en facteur (distributivité à l'envers) : A·(B + ¬B).
  2. Or B + ¬B = 1 (complément : l'un des deux vaut forcément 1).
  3. 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é :

ABCSortie M
0000
0010
0100
0111
1000
1011
1101
1111

É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

  1. Regarder. Repérer les termes (séparés par des +) et les facteurs qu'ils ont en commun.
  2. Réordonner. Avec la commutativité et l'associativité, placer côte à côte les termes qui se ressemblent.
  3. 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.
  4. 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.
  5. 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

ABETOUNANDNORXOR
0000110
0101101
1001101
1111000
  • 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.

Symboles des six portes logiques usuelles Six symboles à formes distinctives : NON (triangle et bulle), ET (dos plat, nez arrondi), OU (dos creusé, pointe), NON-ET (ET avec bulle), NON-OU (OU avec bulle), OU exclusif (OU avec un trait courbe en plus à l'entrée). AYNON (NOT) ABYET (AND) ABYOU (OR) ABYNON-ET (NAND) ABYNON-OU (NOR) ABYOU exclusif (XOR)
Schéma 1 — Les six portes usuelles, symboles à formes distinctives (ANSI/IEEE 91). La bulle à la sortie signifie « inversé ».
PorteReconnaîtreExpressionY pour A, B = 00, 01, 10, 11
NON (NOT)Triangle avec une bulle à la sortieY = ¬AA = 0 → 1 ; A = 1 → 0
ET (AND)Dos plat, nez arrondiY = A·B0, 0, 0, 1
OU (OR)Dos creusé, pointeY = A + B0, 1, 1, 1
NON-ET (NAND)Symbole du ET avec une bulleY = ¬(A·B)1, 1, 1, 0
NON-OU (NOR)Symbole du OU avec une bulleY = ¬(A + B)1, 0, 0, 0
OU exclusif (XOR)Symbole du OU avec un trait courbe supplémentaire à l'entréeY = A·¬B + ¬A·B0, 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

ABA + B (en binaire)RetenueSomme
000000
010101
100101
111010

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

  1. Kuphaldt (Tony R.), Lessons In Electric Circuits, vol. IV, chapitre 7 — Boolean Algebra — consulté en novembre 2026
  2. Kuphaldt (Tony R.) — Boolean Rules for Simplification — consulté en novembre 2026

Boole (texte original)

  1. Project Gutenberg — Boole (George), An Investigation of the Laws of Thought, 1854 — consulté en novembre 2026

Algèbre de Boole : lois et méthode

  1. University of Washington (CSE 370) — Lecture 3: Boolean Algebra — consulté en octobre 2026
  2. University of Toronto (CSC 258) — Some Boolean algebra identities — consulté en octobre 2026
  3. Brooklyn College (CUNY) — Laws of Boolean algebra — consulté en octobre 2026
  4. University College Cork — Biographical history: George Boole — consulté en octobre 2026

Symboles de portes

  1. Texas Instruments (F. A. Mann) — Overview of IEEE Standard 91-1984: Explanation of Logic Symbols — consulté en novembre 2026
  2. IEEE Standards Association — IEEE/ANSI 91/91a-1991, Graphic Symbols for Logic Functions — consulté en novembre 2026
  3. Spinning Numbers (Willy McAllister) — Digital logic gates — consulté en novembre 2026
  4. Wikipedia — Logic gate — consulté en novembre 2026

De Morgan

  1. Wikipedia — De Morgan's laws — consulté en octobre 2026
  2. ProofWiki — De Morgan's Laws — consulté en octobre 2026
  3. Encyclopædia Britannica — History of logic: Boole and De Morgan — consulté en novembre 2026
  4. New Mexico State University (J. H. Barnett) — Origins of Boolean Algebra in the Logic of Classes — consulté en novembre 2026
  5. University of Waterloo (S. Burris) — Notes sur De Morgan, Boole et Jevons — consulté en novembre 2026

Jevons et l'algèbre de Boole moderne

  1. Stanford Encyclopedia of Philosophy (S. Burris, J. Legris) — The Algebra of Logic Tradition — consulté en novembre 2026
  2. Stanford Encyclopedia of Philosophy (S. Burris) — George Boole — consulté en novembre 2026
  3. IEEE Computer Society — W. Stanley Jevons — consulté en novembre 2026
  4. Internet Archive — Peirce (Charles S., dir.), Studies in Logic, 1883 — consulté en novembre 2026

Shannon et l'additionneur

  1. Encyclopedia.com — Shannon, Claude Elwood — consulté en octobre 2026

Karnaugh, Veitch, Quine-McCluskey

  1. Transactions of the AIEE (M. Karnaugh, 1953) — The Map Method for Synthesis of Combinational Logic Circuits — consulté en novembre 2026
  2. Wikipedia — Karnaugh map — consulté en octobre 2026
  3. Wikipedia — Edward W. Veitch — consulté en octobre 2026
  4. Wikipedia — Maurice Karnaugh — consulté en octobre 2026
  5. Technische Hochschule Köln — Zwei Verfahren zur Minimierung von logischen Schaltungen — consulté en octobre 2026