Maîtriser la somme de produits (SOP) : guide des fonctions booléennes

En bref : la somme de produits (SOP) est une méthode systématique pour transformer toute table de vérité en expression booléenne. Écrivez un minterme pour chaque ligne dont la sortie vaut 1, puis reliez-les tous par OR. La forme canonique est correcte, mais rarement minimale : simplifiez-la à l’aide de tables de Karnaugh ou de l’algèbre booléenne.

Le défi fondamental de la conception numérique consiste à transformer un comportement souhaité — un ensemble de règles exprimé sous forme de table de vérité — en une organisation physique de portes logiques. Comment franchir systématiquement cet écart, sans deviner ?

La réponse est la forme somme de produits (SOP). Elle fournit une méthode mécanique et reproductible qui convertit toute table de vérité en circuit fonctionnel au niveau des portes. C’est une première étape majeure pour passer d’exigences abstraites à un matériel tangible.

Qu’est-ce qu’une somme de produits ?

La forme somme de produits exprime une fonction booléenne en reliant par OR un ou plusieurs termes AND. En algèbre booléenne, l’opération OR est souvent appelée « somme » et l’opération AND « produit ».

Considérons l’expression suivante :

Ici, $(A \cdot \overline{B})$ est un terme produit et $(\overline{A} \cdot B)$ en est un autre. Le symbole + représente l’opération OR, autrement dit la « somme » de ces produits. Cette structure se traduit directement en circuit à deux niveaux : un premier niveau de portes AND alimente un second niveau composé d’une unique porte OR. Cette prévisibilité fait toute sa puissance.

L’unité élémentaire : les mintermes

Pour construire une expression SOP quelconque à partir d’une table de vérité, il faut d’abord comprendre son composant fondamental : le minterme. Un minterme est un terme produit particulier qui contient chaque variable de la fonction, sous sa forme vraie ou complémentée.

Pour une fonction à trois variables A, B et C, il existe $2^3 = 8$ mintermes possibles. Chacun correspond exactement à une ligne de la table de vérité.

La règle de construction est simple :

• Si la variable vaut 1 sur la ligne, utilisez-la directement — par exemple A.
• Si la variable vaut 0, utilisez son complément — par exemple $\overline{A}$.

Voici les mintermes d’un système à trois variables :

Chaque minterme ne vaut 1 que pour sa combinaison d’entrées particulière. Ainsi, $m_5$ — $A \cdot \overline{B} \cdot C$ — est vrai uniquement lorsque A=1, B=0 et C=1. Pour les sept autres combinaisons d’entrée, il est faux. Les mintermes sont des outils de précision qui ciblent des lignes individuelles d’une table de vérité.

De la table de vérité à la SOP : une méthode en trois étapes

Une fois les mintermes compris, convertir n’importe quelle table de vérité en expression SOP devient un processus direct et mécanique.

Prenons comme exemple une fonction de majorité « 2 sur 3 ». La sortie Y vaut 1 uniquement lorsque deux entrées ou davantage valent 1.

Étape 1 : identifier toutes les lignes dont la sortie vaut 1. Dans notre exemple, Y vaut 1 pour les combinaisons 011, 101, 110 et 111.

Étape 2 : écrire le minterme correspondant à chacune de ces lignes. D’après la table ci-dessus, il s’agit de $m_3, m_5, m_6$ et $m_7$.

Étape 3 : relier tous les mintermes par OR. Nous obtenons l’expression SOP finale de la fonction :

On parle de forme SOP canonique, car il s’agit de la somme directe et non simplifiée de tous les mintermes pertinents. Elle décrit parfaitement la fonction et permet de construire immédiatement un circuit.

Piège fréquent : forme canonique ou forme minimale

Les étudiants supposent souvent, à tort, que la SOP canonique constitue la réponse finale. Elle est fonctionnellement correcte, mais presque jamais l’implémentation la plus efficace. Elle utilise généralement davantage de portes et d’entrées que nécessaire.

Reprenons l’expression de notre fonction de majorité. Nous pouvons la simplifier avec l’algèbre booléenne :

Cette approche algébrique fonctionne, mais devient sujette aux erreurs avec des expressions plus grandes. Une table de Karnaugh propose une méthode visuelle pour simplifier une SOP. En regroupant dans une K-map les 1 de notre table de vérité, nous obtenons rapidement une expression beaucoup plus simple :

Cette forme SOP minimale réalise exactement la même logique, mais n’exige que trois portes AND à 2 entrées et une porte OR à 3 entrées. C’est une amélioration considérable par rapport aux quatre portes AND à 3 entrées et à la porte OR à 4 entrées de la forme canonique. La leçon est claire : la première SOP obtenue marque le début de l’optimisation, pas son terme.

Simulation sur digisim.io

Construisons la version canonique non simplifiée de notre circuit de majorité afin de démontrer le principe. C’est la meilleure façon d’assimiler le lien entre l’équation et le matériel.

1. Placez les entrées : faites glisser trois composants Input de la barre d’outils vers le canevas. Nommez-les A, B et C.
2. Créez les mintermes — termes produits :

• Pour le premier minterme, $\overline{A} \cdot B \cdot C$, il faut une porte NOT sur l’entrée A. Reliez la sortie de cette porte, avec les entrées B et C, à une porte AND à 3 entrées.
• Répétez le processus pour les trois autres mintermes : $(A \cdot \overline{B} \cdot C)$, $(A \cdot B \cdot \overline{C})$ et $(A \cdot B \cdot C)$. Vous obtenez quatre portes AND à 3 entrées.

3. Créez la somme : reliez les sorties des quatre portes AND à une unique porte OR à 4 entrées.
4. Ajoutez la sortie : reliez la sortie de la porte OR finale à un composant Output, ou à une LED pour un retour visuel.

Testez maintenant votre circuit. Basculez les entrées A, B et C : la sortie ne s’active que lorsqu’au moins deux entrées sont hautes, exactement comme dans la table de vérité d’origine. Vous venez de traduire avec succès une spécification en circuit logique numérique fonctionnel.

Le lien entre SOP et NAND-NAND

L’une des propriétés les plus importantes de la forme SOP est sa correspondance directe avec une logique NAND-NAND. En technologie CMOS, les portes NAND sont physiquement plus petites et plus rapides que les portes AND ou OR. Heureusement, toute expression SOP peut être convertie en circuit NAND-NAND à deux niveaux à l’aide des lois de De Morgan.

La conversion est mécanique. Partons de notre fonction de majorité minimale :

Appliquons une double négation, qui ne modifie pas la valeur :

Appliquons la loi de De Morgan à la barre extérieure :

Chaque $\overline{AB}$ est une opération NAND, et la barre extérieure appliquée à leur produit est elle aussi une NAND. Le résultat est un circuit NAND-NAND à deux niveaux : trois NAND à 2 entrées alimentent une NAND à 3 entrées. Il est logiquement identique à l’implémentation AND-OR, mais n’emploie qu’un type de porte, ce qui simplifie la fabrication et les bibliothèques de cellules.

Applications concrètes

La forme somme de produits est intégrée à l’architecture de l’informatique moderne.

1. Réseaux logiques programmables (PLA) : ces circuits intégrés implémentent des fonctions combinatoires complexes. Leur structure interne matérialise directement le concept SOP : un « plan AND » programmable, qui crée les termes produits, suivi d’un « plan OR » programmable, qui les additionne. Les ingénieurs définissent une fonction en indiquant les connexions à établir dans ces plans, construisant effectivement un circuit SOP personnalisé dans le matériel.
2. Décodage des adresses mémoire : lorsqu’un processeur lit ou écrit à une adresse précise, il place celle-ci sur le bus d’adresse. Les décodeurs du contrôleur mémoire doivent déterminer quelle puce et quelle ligne ou colonne activer. Cette logique est souvent réalisée sous forme SOP. Un signal qui active un bloc de RAM particulier pourrait par exemple être Enable_Block_3 = A_{15} \cdot A_{14} \cdot \overline{A_{13}}. Ce terme produit garantit que le bloc n’est sélectionné que lorsque les bits de poids fort de l’adresse correspondent au motif attendu. La logique de l’ensemble de la cartographie mémoire est une somme de tels termes produits.

La forme SOP fournit un chemin fiable et systématique de l’idée au circuit. Elle garantit que toute fonction booléenne, quelle que soit sa complexité, peut être exprimée et construite à l’aide d’une structure standard de portes AND-OR — ou NAND-NAND — à deux niveaux.

Poursuivez avec l’article suivant de cette série : le produit de sommes (POS), sa forme duale dérivée des 0 de la table de vérité plutôt que de ses 1. Vous pouvez aussi passer directement aux tables de Karnaugh pour minimiser visuellement une SOP.