Algèbre de Boole — lois, théorèmes et simplification

L’algèbre de Boole est le système utilisé pour combiner et simplifier des expressions vrai/faux. Si vous cherchez à réduire une expression logique comme $AB + A\overline{B}$, les principaux outils sont des lois comme le complément, la distributivité, l’absorption et les théorèmes de De Morgan.

Dans une notation courante, $x + y$ signifie OU, $xy$ signifie ET, et $\overline{x}$ signifie NON $x$. Certains livres notent NON par $x'$, mais les règles de base restent les mêmes.

Ce que signifie l’algèbre de Boole

L’algèbre ordinaire travaille avec des nombres. L’algèbre de Boole travaille avec des propositions ou des variables binaires qui ne peuvent prendre que deux valeurs : vrai/faux ou $1/0$.

Cela change les règles. En algèbre de Boole,

$$x + x = x \quad \text{and} \quad xx = x$$

Ces deux identités expriment la même idée : répéter une condition ne crée pas un nouveau résultat. Si un interrupteur est déjà allumé, dire « allumé OU allumé » ne change rien.

Les lois de l’algèbre de Boole qu’on utilise vraiment

Voici les lois qui apparaissent le plus souvent quand on simplifie une expression booléenne.

Lois d’identité

$$x + 0 = x, \qquad x \cdot 1 = x$$

Ajouter faux ne change rien, et faire ET avec vrai ne change rien.

Lois d’annulation

$$x + 1 = 1, \qquad x \cdot 0 = 0$$

Si un OU contient déjà vrai, tout le résultat est vrai. Si un ET contient faux, tout le résultat est faux.

Lois idempotentes

$$x + x = x, \qquad x \cdot x = x$$

Répéter la même variable ne change pas l’expression.

Lois du complément

$$x + \overline{x} = 1, \qquad x \cdot \overline{x} = 0$$

Une variable et son opposé couvrent tous les cas dans un OU, mais ne se recouvrent jamais dans un ET.

Lois commutatives et associatives

$$x + y = y + x, \qquad xy = yx$$ $$(x + y) + z = x + (y + z), \qquad (xy)z = x(yz)$$

Elles permettent de réordonner ou de regrouper les termes sans changer le résultat.

Lois distributives

$$x(y + z) = xy + xz$$ $$x + yz = (x + y)(x + z)$$

La deuxième forme paraît souvent moins familière, mais c’est une identité booléenne standard, utile lors de la factorisation.

Lois d’absorption

$$x + xy = x, \qquad x(x + y) = x$$

Elles sont particulièrement utiles quand une expression semble plus longue qu’elle ne l’est réellement.

Théorèmes de De Morgan

$$\overline{x + y} = \overline{x}\,\overline{y}, \qquad \overline{xy} = \overline{x} + \overline{y}$$

Ils indiquent comment une négation se déplace à travers OU et ET. Quand NON traverse des parenthèses, OU et ET échangent leurs rôles.

Exemple détaillé : simplifier $AB + A\overline{B}$

On part de

$$F = AB + A\overline{B}$$

On met le facteur commun $A$ en évidence :

$$F = A(B + \overline{B})$$

On applique maintenant la loi du complément :

$$F = A \cdot 1$$

Puis on applique la loi d’identité :

$$F = A$$

Donc $AB + A\overline{B} = A$. Intuitivement, si $A = 1$, alors soit $B = 1$, soit $\overline{B} = 1$, donc l’un des deux termes est forcément vrai. Si $A = 0$, les deux termes sont faux. L’expression entière dépend donc seulement de $A$.

Erreurs fréquentes en algèbre de Boole

Une erreur fréquente consiste à importer les habitudes de l’algèbre ordinaire dans l’algèbre de Boole. Par exemple, $x + x = 2x$ n’est pas une règle booléenne. Ici, le bon résultat est $x$.

Une autre erreur consiste à appliquer une loi sans vérifier la notation. Dans beaucoup de textes, $+$ signifie OU, et non une addition arithmétique, et écrire des variables côte à côte signifie ET.

Les étudiants utilisent aussi mal les théorèmes de De Morgan en niant chaque variable, mais en oubliant d’échanger OU et ET. Les deux aspects sont indispensables.

Où l’algèbre de Boole est utilisée

L’algèbre de Boole est centrale en logique numérique, où les variables représentent des états marche/arrêt ou vrai/faux. Elle sert à simplifier des circuits, à écrire des conditions logiques plus claires dans les logiciels, et à raisonner sur des filtres de recherche ou des requêtes de base de données.

Si les variables ne sont pas binaires ou si les opérations sont de l’arithmétique ordinaire, les lois booléennes ne s’appliquent pas directement. C’est le cadre à deux valeurs qui rend ce système possible.

Essayez une simplification similaire

Essayez de simplifier $(A + B)(A + \overline{B})$. Si vous appliquez soigneusement les lois ci-dessus, l’expression se réduit davantage qu’il n’y paraît au premier abord. Si vous voulez aller un peu plus loin, construisez une table de vérité et vérifiez que la forme simplifiée correspond à chaque ligne.