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é.
Définition
| Loi | Forme ET | Forme OU |
|---|---|---|
| Élément neutre | ||
| Élément absorbant (domination) | ||
| Idempotence | ||
| Complément | ||
| Double négation | (une seule forme) | |
| Commutativité | ||
| Associativité | ||
| Distributivité | ||
| Loi d'absorption | ||
| De Morgan |
Essaie tout de suite
Exemples résolus
Simplifie .
Applique la loi de l'élément neutre à la première parenthèse
, car ET avec vrai ne change rien →
Applique la loi de l'élément absorbant à la seconde parenthèse
, car ET avec faux est toujours faux →
Applique encore la loi de l'élément neutre
, car OU avec faux ne change rien →
Réponse: . La valeur de n'a aucune importance.
Erreurs courantes
Écrire
Pourquoi c'est faux: La loi de De Morgan change l'opérateur en plus des variables. Teste , : le membre de gauche vaut , celui de droite .
Correct: Casse la barre et change le signe : et .
Utiliser les règles de l'algèbre ordinaire, comme ou
Pourquoi c'est faux: Les variables booléennes valent seulement 0 ou 1, et vaut 1, pas 2. Répéter une variable n'apporte rien de nouveau.
Correct: Utilise l'idempotence : et .
Lire comme
Pourquoi c'est faux: ET est évalué avant OU, comme la multiplication avant l'addition. Avec , , , la bonne valeur est , mais la mauvaise lecture donne .
Correct: Ajoute les parenthèses avant d'appliquer une loi : .
Appliquer la loi du complément à deux variables différentes, comme
Pourquoi c'est faux: La loi du complément ne fonctionne qu'avec une variable et sa propre négation. Avec , : , pas 0.
Correct: Cherche la même lettre : et , mais ne se simplifie pas.
Visuel interactif
Table de vérité
| A | B | A ∧ B | ¬B | A ∧ ¬B | A ∧ B ∨ A ∧ ¬B |
|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 1 |
1= Vrai0= Faux
Table de vérité
| A | B | A ∧ B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
1= Vrai0= Faux
Bac à sable interactif
Calculatrice d'expressions
Essaie ceux-ci :
Historique
Aucun calcul pour l'instant
Exercices pratiques
18 exercicesQuelle loi dit que ?
Pourquoi c'est important
- É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
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 utilise 3 portes. Factorisé en , il n'en faut plus que 2.
Une puce contient 1000 copies d'un circuit qui calcule . Compte une porte pour chaque et chaque .
Combien de portes la puce entière économise-t-elle si le circuit est simplifié en ?
É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.
Un programme ouvre une barrière si , où signifie que le visiteur a un pass et 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.
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 : , , ,
- 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 : et
- 5Lois de De Morgan : casse la barre et change le signe, et
- 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
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
- É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
- et
- Loi d'absorption
- et
Carte des formules
Élément neutre et élément absorbant
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
Répéter une variable n'apporte rien ; une variable avec sa propre négation donne une constante
Double négation
Deux NON s'annulent
Distributivité
Les deux sont vraies en algèbre de Boole ; la seconde ne marche pas pour les nombres ordinaires
Lois d'absorption
La partie la plus longue est absorbée par $A$
Lois de De Morgan
Casse la barre, change le signe