Guide de l'enseignant: Algèbre de Boole

Apprends les lois de l'algèbre de Boole, dont les lois de De Morgan, utilise-les pour simplifier des expressions étape par étape et vérifie le résultat avec une table de vérité.

Présenter la leçonVoir la page élève

Utiliser cette leçon en classe

Gratuit, sans compte élève.

Partager avec les élèves

Les élèves ouvrent la leçon et s'entraînent avec une correction immédiate.

Fiche d'exercices à imprimer

Tous les exercices sur papier, avec un corrigé séparé.

Fiche d'exercices Corrigé

Quiz de classe

10 questions sur Logique booléenne. Les élèves participent avec un prénom, vous voyez tous les scores.

Pour les enseignants

Objectifs d'apprentissage

Énoncer les lois de l'élément neutre, de l'élément absorbant, d'idempotence, du complément et de la double négation
Appliquer la commutativité, l'associativité et la distributivité, y compris $A \lor (B \land C) = (A \lor B) \land (A \lor C)$
Utiliser les lois de De Morgan et les lois d'absorption pour réécrire des expressions
Simplifier une expression booléenne étape par étape en nommant la loi utilisée à chaque étape
Vérifier une simplification avec une table de vérité et compter les portes économisées

Prérequis

• ET, OU et NON et leurs tables de vérité (Introduction à la logique booléenne, L'opération ET, L'opération OU, L'opération NON)
• Construire des tables de vérité et comparer des colonnes pour l'équivalence (Tables de vérité)
• Parenthèses et propositions composées (Propositions booléennes composées)
• Priorité des opérateurs et évaluation d'expressions (Expressions booléennes)
• Portes logiques et circuits simples (Les portes logiques)

Amorces de discussion

1. Pourquoi une ingénieure s'intéresserait-elle à une seule porte économisée alors qu'une puce en contient des milliards ?
2. En algèbre ordinaire, $x + x = 2x$ . Pourquoi $A \lor A$ vaut-il simplement $A$ en algèbre de Boole ?
3. Comment expliquerais-tu 'casse la barre, change le signe' à un ami avec une phrase sur la météo ?
4. Qu'est-ce qui est le plus convaincant comme preuve, une table de vérité ou une suite de lois ? Quand utiliserais-tu chacune ?

Idées reçues courantes

La loi de De Morgan nie seulement les variables : $\neg(A \land B) = \neg A \land \neg B$

Remédiation: Utilise une phrase : 'pas (affamé et fatigué)' ne veut pas dire 'pas affamé et pas fatigué'. Construisez ensuite les deux tables de vérité côte à côte et cherchez les lignes qui diffèrent.

L'algèbre de Boole suit toutes les règles de l'algèbre ordinaire

Remédiation: Compare $x + x = 2x$ avec $A \lor A = A$ , et le fait que $a + bc = (a + b)(a + c)$ est faux pour les nombres avec la distributivité booléenne. Vérifier avec 0 et 1 montre où les deux systèmes diffèrent.

Une expression qui paraît plus courte est forcément équivalente

Remédiation: Exige qu'une loi soit nommée à chaque étape et qu'une table de vérité vérifie le résultat à la fin. Montre une 'simplification' utilisant une loi inventée et laisse les élèves trouver la ligne où elle échoue.

Idées de différenciation

Pour les élèves en difficulté:

• Commencer par une seule loi par expression et fournir une fiche des lois à montrer du doigt
• Vérifier chaque étape avec les valeurs 0 et 1 avant de continuer
• N'utiliser que 2 variables, pour que chaque vérification par table de vérité n'ait que 4 lignes

Pour les élèves au niveau:

• Simplifier des expressions qui demandent 3 ou 4 lois et nommer chacune
• Démontrer la loi d'absorption à partir des lois de l'élément neutre, de distributivité et de l'élément absorbant
• Compter les portes avant et après chaque simplification

Pour les élèves avancés:

• Démontrer la loi de De Morgan pour trois variables : $\neg(A \land B \land C) = \neg A \lor \neg B \lor \neg C$
• Montrer que ET, OU et NON peuvent tous être construits uniquement avec des portes NAND
• Simplifier $(A \land B) \lor (A \land \neg B \land C)$ et expliquer chaque étape

Alignement aux standards

HSA.SSE.A.2 (CCSS.MATH.CONTENT.HSA.SSE.A.2)
Utiliser la structure d'une expression pour trouver des façons de la réécrire
CCSS.MATH.PRACTICE.MP7 (MP7)
Rechercher et utiliser des structures
CCSS.MATH.PRACTICE.MP3 (MP3)
Construire des arguments solides et critiquer le raisonnement des autres

Ressources de la leçon

visualTable de vérité interactive
Les élèves comparent les colonnes ET, OU, NON, NAND et NOR et découvrent les lois de De Morgan : NAND correspond à $\neg A \lor \neg B$ , NOR à $\neg A \land \neg B$
activityCartes des lois
Par deux, les élèves reçoivent une carte par loi et simplifient des expressions en posant une carte à chaque étape
worksheetSimplifier et vérifier
Des expressions à simplifier en nommant les lois, chacune suivie d'une vérification par table de vérité et d'un comptage des portes

Contenu de la leçon

Tout ce que voient les élèves : définition, exemples, erreurs fréquentes, applications. Touchez pour ouvrir.

Définition

L'algèbre de Boole est un ensemble de lois qui permettent de réécrire des expressions booléennes. Chaque loi dit que deux expressions sont équivalentes : elles ont la même valeur de vérité pour toutes les entrées, donc tu peux toujours remplacer l'une par l'autre. Grâce aux lois, tu peux simplifier une expression sans construire à chaque fois une nouvelle table de vérité.

On écrit 1 pour vrai et 0 pour faux (les tables de vérité interactives utilisent aussi 1 et 0). Les ingénieurs écrivent souvent

A \cdot B

pour

A \land B

A + B

pour

A \lor B

\overline{A}

pour

\neg A

: cela signifie exactement la même chose. Dans cette leçon, on utilise

\land

\lor

\neg

Les lois (

A

B

C

sont des variables booléennes) :

Loi	Forme ET	Forme OU
Élément neutre	$A \land 1 = A$	$A \lor 0 = A$
Élément absorbant (domination)	$A \land 0 = 0$	$A \lor 1 = 1$
Idempotence	$A \land A = A$	$A \lor A = A$
Complément	$A \land \neg A = 0$	$A \lor \neg A = 1$
Double négation	$\neg\neg A = A$	(une seule forme)
Commutativité	$A \land B = B \land A$	$A \lor B = B \lor A$
Associativité	$(A \land B) \land C = A \land (B \land C)$	$(A \lor B) \lor C = A \lor (B \lor C)$
Distributivité	$A \land (B \lor C) = (A \land B) \lor (A \land C)$	$A \lor (B \land C) = (A \lor B) \land (A \lor C)$
Loi d'absorption	$A \land (A \lor B) = A$	$A \lor (A \land B) = A$
De Morgan	$\neg(A \land B) = \neg A \lor \neg B$	$\neg(A \lor B) = \neg A \land \neg B$

Remarque la régularité : échange

\land

\lor

, ainsi que 0 et 1, dans une colonne et tu obtiens l'autre colonne. C'est ce qu'on appelle la dualité.

Simplifier étape par étape : utilise une seule loi par étape et nomme-la. Vérifie ensuite le résultat avec une table de vérité : si les colonnes finales coïncident sur chaque ligne, la simplification est correcte.

Exemples résolus

Simplifie $(A \land 1) \lor (B \land 0)$ .

Applique la loi de l'élément neutre à la première parenthèse

$A \land 1 = A$ , car ET avec vrai ne change rien → $A \lor (B \land 0)$

Applique la loi de l'élément absorbant à la seconde parenthèse

$B \land 0 = 0$ , car ET avec faux est toujours faux → $A \lor 0$

Applique encore la loi de l'élément neutre

$A \lor 0 = A$ , car OU avec faux ne change rien → $A$

Réponse: $(A \land 1) \lor (B \land 0) = A$ . La valeur de $B$ n'a aucune importance.

Erreurs courantes

Écrire $\neg(A \land B) = \neg A \land \neg B$

Pourquoi c'est faux: La loi de De Morgan change l'opérateur en plus des variables. Teste $A = 1$ , $B = 0$ : le membre de gauche vaut $\neg 0 = 1$ , celui de droite $0 \land 1 = 0$ .

Correct: Casse la barre et change le signe : $\neg(A \land B) = \neg A \lor \neg B$ et $\neg(A \lor B) = \neg A \land \neg B$ .

Utiliser les règles de l'algèbre ordinaire, comme $A \lor A = 2A$ ou $A \land A = A^2$

Pourquoi c'est faux: Les variables booléennes valent seulement 0 ou 1, et $1 \lor 1$ vaut 1, pas 2. Répéter une variable n'apporte rien de nouveau.

Correct: Utilise l'idempotence : $A \lor A = A$ et $A \land A = A$ .

Lire $A \lor B \land C$ comme $(A \lor B) \land C$

Pourquoi c'est faux: ET est évalué avant OU, comme la multiplication avant l'addition. Avec $A = 1$ , $B = 0$ , $C = 0$ , la bonne valeur est $1 \lor 0 = 1$ , mais la mauvaise lecture donne $1 \land 0 = 0$ .

Correct: Ajoute les parenthèses avant d'appliquer une loi : $A \lor B \land C = A \lor (B \land C)$ .

Appliquer la loi du complément à deux variables différentes, comme $A \land \neg B = 0$

Pourquoi c'est faux: La loi du complément ne fonctionne qu'avec une variable et sa propre négation. Avec $A = 1$ , $B = 0$ : $A \land \neg B = 1 \land 1 = 1$ , pas 0.

Correct: Cherche la même lettre : $A \land \neg A = 0$ et $B \lor \neg B = 1$ , mais $A \land \neg B$ ne se simplifie pas.

Pourquoi c'est important

Chaque

\land

\lor

\neg

d'une expression devient une porte logique dans un circuit. Une expression plus courte, c'est moins de portes, et moins de portes, c'est une puce moins chère, plus petite, plus rapide et qui consomme moins d'énergie.

Électronique : un processeur contient des milliards de portes, donc économiser une porte dans un circuit copié un million de fois économise un million de portes
Programmation : une condition comme NON (week-end OU jour férié) peut s'écrire (NON week-end) ET (NON jour férié), ce qui est souvent plus facile à lire et à tester
Recherche et bases de données : un filtre comme maths OU (maths ET logique) donne exactement les mêmes résultats que maths tout seul
Démonstrations : les lois permettent de prouver que deux circuits ou deux conditions font la même chose sans essayer toutes les entrées

Dans la leçon Tables de vérité, tu as vérifié des équivalences ligne par ligne, et dans la leçon Portes logiques, tu as construit des circuits. L'algèbre de Boole relie les deux : elle transforme un grand circuit en un petit, et une table de vérité confirme que rien n'a changé.

Applications dans le monde réel

Concevoir des puces moins chères

Les concepteurs de puces simplifient chaque circuit avec l'algèbre de Boole avant de le fabriquer, car chaque porte coûte de la place, de l'énergie et de l'argent.

Exemple:

Un circuit pour $(A \land B) \lor (A \land C)$ utilise 3 portes. Factorisé en $A \land (B \lor C)$ , il n'en faut plus que 2.

1Essaie par toi-même

Une puce contient 1000 copies d'un circuit qui calcule $(A \land B) \lor (A \land C)$ . Compte une porte pour chaque $\land$ et chaque $\lor$ .

Combien de portes la puce entière économise-t-elle si le circuit est simplifié en $A \land (B \lor C)$ ?

Étape 1 : Écris l'expression mathématique

Écris l'économie sous forme de calcul :

Des conditions lisibles dans un programme

Les programmeurs utilisent les lois de De Morgan pour supprimer les doubles négations confuses dans les conditions de leur code.

Exemple:

NON (week-end OU jour férié) revient à (NON week-end) ET (NON jour férié) : le magasin est ouvert les jours qui ne sont ni l'un ni l'autre.

2Essaie par toi-même

Un programme ouvre une barrière si $\neg(\neg P \land \neg G)$ , où $P$ signifie que le visiteur a un pass et $G$ qu'il est sur la liste des invités.

Quelle est la forme la plus simple de la condition, et combien d'opérateurs NON disparaissent ?

Étape 1 : Écris l'expression mathématique

Écris le nombre d'opérateurs NON avant et après sous forme de soustraction :

Filtres de recherche

Les moteurs de recherche et les bases de données simplifient les filtres avec la loi d'absorption avant de les exécuter.

Exemple:

Le filtre maths OU (maths ET logique) renvoie exactement les mêmes livres que le filtre maths.

3Essaie par toi-même

Une bibliothèque possède 40 livres de maths, dont 15 parlent aussi de logique. Un lecteur cherche maths OU (maths ET logique).

Combien de livres la recherche renvoie-t-elle ?

Étape 1 : Écris l'expression mathématique

Additionne les livres de maths et les livres supplémentaires apportés par (maths ET logique) :

Points clés

1L'algèbre de Boole utilise des lois pour réécrire une expression en une expression équivalente, sans nouvelle table de vérité à chaque fois
2Les lois de l'élément neutre, de l'élément absorbant, d'idempotence et du complément éliminent les constantes et les variables répétées : $A \land 1 = A$ , $A \lor 1 = 1$ , $A \lor A = A$ , $A \land \neg A = 0$
3La commutativité, l'associativité et la distributivité permettent de réordonner, de regrouper et de factoriser ; en algèbre de Boole, OU est aussi distributif sur ET
4Lois d'absorption : $A \lor (A \land B) = A$ et $A \land (A \lor B) = A$
5Lois de De Morgan : casse la barre et change le signe, $\neg(A \land B) = \neg A \lor \neg B$ et $\neg(A \lor B) = \neg A \land \neg B$
6Simplifie avec une loi par étape, nomme chaque loi et vérifie le résultat avec une table de vérité ; une expression plus simple signifie moins de portes

Questions fréquentes

Pourquoi OU est-il distributif sur ET, alors que $a + b \times c$ n'est pas égal à $(a + b) \times (a + c)$ pour les nombres ?

Parce que les variables booléennes valent seulement 0 ou 1. Vérifie les deux cas : si

A = 1

, les deux membres de

A \lor (B \land C) = (A \lor B) \land (A \lor C)

valent 1 ; si

A = 0

, les deux membres deviennent

B \land C

. Avec des nombres ordinaires,

1 + 2 \times 3 = 7

mais

(1 + 2) \times (1 + 3) = 12

, donc cette loi n'est vraie qu'en algèbre de Boole.

Comment savoir quelle loi utiliser ensuite ?

Repère des motifs : un NON devant une parenthèse appelle De Morgan, une variable répétée dans deux parenthèses appelle une factorisation (distributivité), et une variable à côté de sa propre négation appelle la loi du complément. Les constantes 0 et 1 disparaissent avec les lois de l'élément neutre et de l'élément absorbant.

Ai-je encore besoin des tables de vérité si je connais les lois ?

Les lois trouvent la simplification, la table de vérité la confirme. Une table à 2 variables n'a que 4 lignes, c'est donc une vérification rapide et fiable, surtout quand tu doutes d'une étape.

Puis-je vérifier une loi avec l'arithmétique ordinaire ?

Oui, avec 0 et 1 :

A \land B = A \times B

\neg A = 1 - A

A \lor B = A + B - A \times B

. Par exemple, avec

A = 1

B = 1

1 + 1 - 1 \times 1 = 1

, donc

1 \lor 1 = 1

. La calculatrice de cette leçon fonctionne avec ces nombres.

Glossaire

Algèbre de Boole: L'ensemble des lois qui servent à réécrire et à simplifier des expressions booléennes
Loi: Une équivalence vraie pour toutes les valeurs des variables, par exemple $A \lor 0 = A$
Équivalent: Qui a la même valeur de vérité sur chaque ligne de la table de vérité
Simplifier: Réécrire une expression avec moins d'opérateurs tout en la gardant équivalente
Lois de De Morgan: $\neg(A \land B) = \neg A \lor \neg B$ et $\neg(A \lor B) = \neg A \land \neg B$
Loi d'absorption: $A \lor (A \land B) = A$ et $A \land (A \lor B) = A$

Carte des formules

Élément neutre et élément absorbant

A \land 1 = A, \quad A \lor 0 = A, \quad A \land 0 = 0, \quad A \lor 1 = 1

ET avec 1 et OU avec 0 ne changent rien ; ET avec 0 et OU avec 1 imposent le résultat

Idempotence et complément

A \land A = A, \quad A \lor A = A, \quad A \land \neg A = 0, \quad A \lor \neg A = 1

Répéter une variable n'apporte rien ; une variable avec sa propre négation donne une constante

Double négation

\neg\neg A = A

Deux NON s'annulent

Distributivité

A \land (B \lor C) = (A \land B) \lor (A \land C), \quad A \lor (B \land C) = (A \lor B) \land (A \lor C)

Les deux sont vraies en algèbre de Boole ; la seconde ne marche pas pour les nombres ordinaires

Lois d'absorption

A \lor (A \land B) = A, \quad A \land (A \lor B) = A

La partie la plus longue est absorbée par $A$

Lois de De Morgan

\neg(A \land B) = \neg A \lor \neg B, \quad \neg(A \lor B) = \neg A \land \neg B

Casse la barre, change le signe

Plus sur ce sujet

Guide de l'enseignant: Algèbre de Boole

Utiliser cette leçon en classe

Pour les enseignants

Pour les élèves en difficulté:

Pour les élèves au niveau:

Pour les élèves avancés:

Contenu de la leçon

Définition

Exemples résolus

Erreurs courantes

Pourquoi c'est important

Applications dans le monde réel

Concevoir des puces moins chères

Des conditions lisibles dans un programme

Filtres de recherche

Points clés

Questions fréquentes

Glossaire

Carte des formules

Élément neutre et élément absorbant

Idempotence et complément

Double négation

Distributivité

Lois d'absorption

Lois de De Morgan

Plus sur ce sujet

Introduction à la logique booléenne

Énoncés vrais et faux

L'opération ET

L'opération OU