Théorèmes de De Morgan : Maîtriser la complémentation booléenne et l'équivalence des portes

Concept fondamental de l'algèbre de Boole, les théorèmes de De Morgan lient le comportement des portes logiques lorsque leurs entrées ou sorties sont inversées. Ces règles, nommées d'après le mathématicien Augustus De Morgan, permettent aux ingénieurs de transformer les portes ET, OU, NAND et NOR les unes en les autres, simplifiant à la fois les expressions logiques et les conceptions de circuits physiques.

En algèbre de Boole, une « complémentation de groupe » est représentée par une longue barre au-dessus de plusieurs variables, indiquant que le produit ou la somme entier est inversé. Cela diffère du symbole prime (') qui ne peut inverser qu'une seule variable. Par exemple, (AB)' n'est pas la même chose que A'B' ; les parenthèses sont essentielles pour signaler que la barre s'applique au produit entier.

Lorsque toutes les entrées d'une porte sont inversées, la fonction principale de la porte bascule : une porte OU avec toutes ses entrées inversées se comporte comme une porte NAND, tandis qu'une porte ET avec entrées inversées équivaut à une porte NOR. Les théorèmes de De Morgan formalisent cette observation en montrant qu'inverser la sortie d'une porte produit le même effet que de changer le type de porte et d'inverser ses entrées.

Voici une illustration visuelle de l'équivalence fondamentale :

Lorsqu'une longue barre est « brisée » dans une expression booléenne, l'opération directement sous la rupture s'inverse — l'addition devient multiplication et vice versa — tandis que les morceaux brisés de la barre restent au-dessus des variables individuelles. Cette règle subtile gouverne la simplification des expressions.

Dans les expressions contenant plusieurs niveaux de barres, la stratégie la plus sûre consiste à briser d'abord la barre la plus longue et la plus haute. Tenter de briser deux barres simultanément peut mener à des résultats incorrects.

Par exemple, la simplification de (A + (BC)')' se déroule comme suit :

D'abord, on brise la barre externe :

Résultant en une porte ET à trois entrées avec l'entrée A inversée.

Ne brisez jamais plus d'une barre en une seule étape :

Au lieu de cela, on pourrait d'abord briser la barre interne plus courte, mais cela nécessite une étape supplémentaire :

Remarquez que briser une barre en plusieurs endroits au cours d'une même étape est permis ; la restriction s'applique seulement à la rupture de plusieurs barres distinctes simultanément.

Les parenthèses jouent un rôle critique car une barre fonctionne comme un symbole de regroupement. Après qu'une barre est brisée, les termes groupés doivent rester ensemble pour préserver la priorité correcte des opérateurs.

Considérez cette expression qui démontre l'importance d'un regroupement correct :

Appliquons maintenant les théorèmes de De Morgan à un vrai circuit à portes. La première étape consiste à traduire le circuit en expression booléenne en étiquetant la sortie de chaque porte :

En procédant systématiquement, nous écrivons les sorties des premières portes NOR et NAND, en veillant à ne pas négliger la barre de complémentation en séparant l'expression pré-inversion de la sortie finale complémentée :

Enfin, nous exprimons la sortie de la dernière porte NOR :

La réduction de l'expression résultante en utilisant les identités booléennes et les théorèmes de De Morgan donne une forme épurée :

Le circuit équivalent simplifié est présenté ci-dessous :

Points clés à retenir

• Les théorèmes de De Morgan révèlent qu'inverser la sortie d'une porte équivaut à changer son type (ET ↔ OU) tout en inversant les entrées.
• Briser une barre de complémentation inverse l'opération sous-jacente ; les morceaux brisés restent au-dessus des variables affectées.
• Brisez toujours la barre la plus longue et la plus haute en premier et ne tentez jamais de briser deux barres distinctes en une seule étape.
• Les barres agissent comme symboles de regroupement ; après rupture, maintenez un regroupement correct avec des parenthèses pour préserver la priorité.

Feuilles d'exercices connexes

• Feuille d'exercices sur l'algèbre de Boole