Des tables de vérité à une logique fiable : Maîtriser les expressions booléennes pour un design numérique sûr

Lorsqu'ils conçoivent des systèmes numériques, les ingénieurs partent généralement d'une table de vérité qui décrit le comportement logique souhaité.

Le défi consiste à choisir le circuit approprié — portes logiques, assemblages de relais ou contrôleurs programmables — qui implémente fidèlement ce comportement.

Si les concepteurs expérimentés peuvent instantanément associer une table de vérité à une solution matérielle, des techniques systématiques existent pour tous les ingénieurs.

L'algèbre de Boole fournit une méthode claire, étape par étape, qui transforme n'importe quelle table de vérité en circuit fonctionnel.

Pour illustrer ce processus, considérons un problème d'ingénierie réaliste : la conception d'un système de détection de flamme pour un incinérateur de déchets toxiques.

La combustion à haute température est utilisée pour neutraliser les déchets dangereux. Cette méthode est courante pour les déchets médicaux pouvant contenir des agents pathogènes mortels.

 

 

Tant qu'une flamme persiste dans l'incinérateur, il est sûr d'injecter des déchets pour leur destruction. Si la flamme s'éteint, les déchets restants pourraient sortir par l'échappement sans être neutralisés, posant un risque sanitaire sérieux.

Notre système nécessite donc un détecteur de flamme infaillible qui n'autorise l'injection de déchets que lorsque la flamme est vérifiée.

La détection de flamme peut être réalisée par des capteurs optiques, thermiques ou par conduction électrique — chacun avec ses forces et faiblesses.

Compte tenu du danger élevé, le design exige une détection redondante : plusieurs capteurs pour qu'une seule défaillance ne puisse pas déclencher un fonctionnement dangereux.

Chaque capteur fournit un contact normalement ouvert qui se ferme quand la flamme est détectée. Ces contacts alimentent les entrées du système logique.

 

 

Notre objectif est de construire une logique qui ouvre la vanne de déchets seulement quand les capteurs confirment une flamme.

D'abord, nous devons définir le comportement logique. Un seul capteur suffirait-il ? Non — permettre l'ouverture de la vanne si un seul des trois capteurs signale une flamme anéantirait la redondance et la sécurité.

Au lieu de cela, nous exigeons que les trois capteurs s'accordent avant l'ouverture de la vanche. Cette approche garantit qu'une fausse lecture « flamme » unique ne peut pas maintenir la vanne ouverte ; les trois devraient tomber en panne simultanément — un scénario hautement improbable.

Par conséquent, la table de vérité est simple : la sortie est haute seulement quand les entrées A, B et C sont toutes hautes.

 

 

Cette fonction est aisément réalisée avec une porte ET à trois entrées, qui ne sort haut que lorsque toutes les entrées sont hautes.

 

 

Si des relais sont utilisés, le comportement ET peut être reproduit en câblant les contacts des capteurs en série ou par des contacts de relais câblés en série — l'alimentation n'atteindra la vanne que quand chaque capteur confirmera la flamme.

 

 

Bien que ce design maximise la sécurité, il rend aussi le système vulnérable aux échecs « faux-négatifs flamme » : un capteur qui ne détecte pas une flamme réelle fermera la vanne inutilement, gaspillant carburant et temps d'arrêt.

Idéalement, nous voulons un système logique qui tolère un capteur faux-négatif mais protège toujours contre les erreurs faux-positifs. Une règle « deux-sur-trois » satisfait les deux besoins : la vanne s'ouvre si au moins deux capteurs signalent une flamme.

Voici la table de vérité pour cette logique.

 

 

Utilisation de la forme Somme-de-Produits

Au premier abord, il n'est pas évident quel circuit implémentera cette table de vérité. La forme Somme-de-Produits (SOP) de l'expression booléenne résout ce problème.

Une expression SOP est une somme de termes de produit — chaque produit étant une conjonction de variables ou de leurs compléments.

Par exemple : ABC + BC + DF est une SOP simple où « ABC », « BC » et « DF » sont les termes de produit.

Pour générer une SOP à partir d'une table de vérité, listez chaque ligne où la sortie est haute (1) et écrivez un terme de produit qui vaut 1 pour ces entrées.

Considérez la ligne où A=0, B=1, C=1. Le terme de produit est A'BC, qui évalue à 1 seulement sous cette condition exacte.

 

 

Les lignes hautes restantes donnent trois termes de produit supplémentaires :

 

 

En les combinant avec un OU logique, on obtient l'expression SOP complète pour la logique deux-sur-trois :

 

 

Une fois la SOP obtenue, la conception du circuit est directe : chaque terme de produit correspond à une porte ET, et l'OU de ces portes produit la sortie finale.

 

 

Bien que corrects, ces circuits peuvent être encombrants. L'algèbre de Boole permet de simplifier dramatiquement l'expression.

 

 

Avec l'expression simplifiée, nous pouvons construire une logique plus épurée — soit avec des portes, soit avec des relais — tout en préservant la même fonction.

 

 

L'un ou l'autre de ces circuits épurés contrôlera de façon fiable la vanne de déchets de l'incinérateur basée sur une confirmation de flamme deux-sur-trois.

Nous pouvons renforcer la sécurité en ajoutant une logique qui détecte le désaccord entre capteurs — toute condition où les trois entrées ne sont pas identiques.

Quand tous les capteurs fonctionnent correctement, ils devraient soit tous lire bas (000) soit tous lire haut (111). Toute autre combinaison (001, 010, 011, 100, 101 ou 110) indique un désaccord et une défaillance potentielle.

Une alarme déclenchée par un tel désaccord permet aux opérateurs d'évaluer s'ils doivent continuer ou arrêter pour sécurité.

Pour concevoir ce détecteur de « désaccord capteurs », nous étendons la table de vérité avec une colonne de sortie supplémentaire représentant le signal d'alarme.

 

 

Générer une SOP pour cette colonne impliquerait six termes de produit — encombrant et source d'erreurs.

 

 

Utilisation de la forme Produit-de-Sommes

Au lieu de sommer les lignes hautes, nous pouvons construire une expression Produit-de-Sommes (POS) qui capture les lignes basses, résultant en moins de termes.

Une expression POS multiplie des sommes de variables (termes OU) ensemble. Par exemple : (A + B)(C + D).

D'abord, identifiez les lignes avec une sortie basse (0) et écrivez une somme qui évalue à 0 sous ces conditions d'entrée.

Pour la première ligne (A=0, B=0, C=0), le terme de somme est (A + B + C), qui vaut 0 seulement quand les trois sont zéro.

 

 

Une seule autre ligne produit une sortie 0 : A=1, B=1, C=1. La somme correspondante est (A' + B' + C').

 

 

L'expression POS complète est le produit de ces deux sommes :

 

 

Alors qu'une SOP se prête naturellement à un réseau de portes ET alimentant une seule porte OU, une POS correspond à des portes OU alimentant une seule porte ET.

 

 

Alternativement, l'implémentation relais d'une POS utilise des contacts parallèles en série, miroir de la configuration à portes.

 

 

Ces deux circuits illustrent la logique de désaccord capteurs seule ; le système complet combine les détecteurs « bonne flamme » et désaccord.

Dans une implémentation par automate programmable (PLC), la logique complète pourrait ressembler à ceci :

 

 

Les formes SOP et POS sont toutes deux des outils puissants pour dériver une logique fonctionnelle à partir d'une table de vérité. Elles permettent une conception déterministe, automatisable — un ordinateur pourrait donc générer un circuit logique personnalisé à partir d'une seule spécification.

Comme le processus de conversion est direct, il demande peu de créativité, permettant aux concepteurs de se concentrer sur les préoccupations de sécurité et de performance de plus haut niveau.

RÉVISION :

• Somme-de-Produits (SOP) : expressions construites en listant les lignes à sortie haute, créant un terme de produit pour chacune, et les sommant.
• SOP se prête naturellement à une série de portes ET alimentant une seule porte OU.
• Produit-de-Sommes (POS) : expressions construites en listant les lignes à sortie basse, créant un terme de somme pour chacune, et les multipliant.
• POS correspond à une série de portes OU alimentant une seule porte ET.

FEUILLES D'EXERCICES CONNEXES :

• Feuille d'exercices sur les expressions Somme-de-Produits et Produit-de-Sommes
• Feuille d'exercices sur l'algèbre de Boole