Une table de vérité peut sembler austère au premier regard : des colonnes, des 0, des 1, parfois des symboles. Pourtant, c’est l’un des outils les plus simples et les plus fiables pour vérifier un raisonnement logique, comprendre un circuit numérique ou analyser une condition dans un programme.
Comment lire une table de vérité logique ?
Une table de vérité présente, ligne par ligne, toutes les situations possibles pour une ou plusieurs propositions. Elle indique ensuite le résultat logique obtenu pour chacune de ces situations. En clair, elle permet de répondre à une question précise : dans quels cas une affirmation composée est-elle vraie ou fausse ?
Son intérêt est pratique. Plutôt que de raisonner de manière abstraite sur une formule comme « A et B » ou « si A alors B », la table affiche toutes les combinaisons possibles. C’est ce qui en fait un outil courant en mathématiques, en informatique, en électronique numérique et dans l’analyse d’algorithmes.
Comprendre les valeurs vrai, faux, 1 et 0
La première étape consiste à comprendre les valeurs utilisées. En logique classique, une proposition ne peut prendre que deux états : vrai ou faux. Dans les tables, ces états sont souvent notés V et F, ou bien 1 et 0. Le 1 représente généralement le vrai, tandis que le 0 représente le faux.
Cette notation binaire est très répandue en électronique, car les circuits numériques manipulent des signaux interprétés comme deux niveaux distincts. Un niveau haut peut être lu comme 1, un niveau bas comme 0. Cette convention relie directement la logique formelle au fonctionnement des ordinateurs et des systèmes numériques.
Il faut toutefois garder à l’esprit que 1 et 0 ne signifient pas toujours « oui » et « non » dans un sens courant. Ils désignent d’abord des états logiques. Pour approfondir cette représentation des nombres et des états en informatique, le principe du codage des valeurs en binaire montre comment les machines exploitent ces deux symboles de façon systématique.
Repérer les variables et les colonnes
Une table de vérité commence presque toujours par des colonnes représentant les propositions de départ. On les note souvent A, B, P ou Q. Chaque variable correspond à une affirmation simple, par exemple « il pleut », « l’interrupteur est fermé » ou « l’utilisateur est connecté ».
À droite de ces colonnes d’entrée se trouvent les colonnes de calcul. Elles indiquent le résultat d’une opération logique : non A, A et B, A ou B, A implique B, ou encore une expression plus longue. Lire une table de vérité, c’est donc suivre la progression depuis les variables de base jusqu’au résultat final.
Lorsque la formule est complexe, plusieurs colonnes intermédiaires peuvent être ajoutées. Elles évitent les erreurs et rendent le raisonnement plus lisible. Par exemple, pour analyser « non A ou B », on peut d’abord créer une colonne « non A », puis une colonne finale « non A ou B ».
Lire les lignes dans le bon ordre
Chaque ligne d’une table correspond à une combinaison possible des valeurs des variables. Avec une seule variable, il existe deux lignes : A vrai, puis A faux. Avec deux variables, il y en a quatre. Avec trois variables, huit. La règle générale est simple : avec n variables, une table complète contient 2 puissance n lignes.
Pour deux variables A et B, les combinaisons sont généralement présentées ainsi : A=0 et B=0 ; A=0 et B=1 ; A=1 et B=0 ; A=1 et B=1. Cet ordre n’est pas obligatoire, mais il est fréquent parce qu’il suit une progression binaire claire.
L’important est de ne pas lire une ligne isolément sans tenir compte des valeurs d’entrée. Une table de vérité ne donne pas un résultat global unique. Elle montre une réponse différente pour chaque cas possible. C’est cette exhaustivité qui la rend fiable pour vérifier une formule ou un circuit.
Interpréter les opérateurs NON, ET et OU
Les opérateurs les plus courants sont NON, ET et OU. L’opérateur NON inverse la valeur d’une proposition. Si A est vrai, non A est faux. Si A est faux, non A est vrai. C’est l’opération la plus simple, mais elle est essentielle pour comprendre les conditions négatives.
L’opérateur ET donne un résultat vrai uniquement lorsque toutes les propositions concernées sont vraies. Ainsi, A et B vaut 1 seulement si A=1 et B=1. Dans tous les autres cas, le résultat est 0. Cette règle correspond bien à une situation concrète : « la lampe s’allume si l’interrupteur est fermé et si le courant est disponible ».
L’opérateur OU est plus souple. A ou B est vrai si au moins l’une des deux propositions est vraie. Il est faux uniquement lorsque A et B sont toutes deux fausses. Dans la plupart des contextes de logique élémentaire, il s’agit d’un OU inclusif : si A et B sont vraies en même temps, le résultat reste vrai.
Analyser l’implication, l’équivalence et les priorités
Les opérateurs plus avancés demandent un peu plus d’attention. L’implication, notée souvent « A implique B », est fausse uniquement dans un cas : lorsque A est vrai et B est faux. Dans les autres situations, elle est vraie. Cette règle surprend parfois, mais elle repose sur l’idée qu’une promesse logique n’est contredite que si la condition annoncée se produit sans que la conséquence attendue arrive.
L’équivalence, de son côté, est vraie lorsque deux propositions ont la même valeur. A équivaut à B est vrai si A et B sont toutes deux vraies, ou toutes deux fausses. Elle est fausse lorsque leurs valeurs diffèrent. On l’utilise pour vérifier que deux formulations logiques donnent exactement les mêmes résultats.
Les priorités sont également importantes. Comme en calcul, certaines opérations sont évaluées avant d’autres. En général, NON passe avant ET, puis vient OU, puis l’implication. Les parenthèses lèvent toute ambiguïté. Une lecture rigoureuse consiste donc à traiter d’abord les expressions entre parenthèses, puis les opérateurs selon leur priorité.
Suivre un exemple concret étape par étape
Prenons l’expression « A et non B ». La table comporte deux variables, donc quatre lignes. On commence par écrire les combinaisons de A et B : 0-0, 0-1, 1-0, 1-1. Ensuite, on calcule non B pour chaque ligne. Si B vaut 0, non B vaut 1. Si B vaut 1, non B vaut 0.
Il reste à calculer A et non B. Pour la ligne A=0, B=0, non B=1, mais A vaut 0, donc le résultat final est 0. Pour A=0, B=1, non B=0, le résultat est encore 0. Pour A=1, B=0, non B=1, le résultat est 1. Enfin, pour A=1, B=1, non B=0, le résultat est 0.
La conclusion est claire : l’expression « A et non B » est vraie uniquement lorsque A est vrai et B est faux. Ce type d’analyse est utilisé dans les circuits qui doivent mémoriser ou transformer des états. Par exemple, le fonctionnement d’une cellule de mémorisation en logique numérique repose sur des relations logiques précises entre entrées, sorties et signaux de commande.
Relier la table de vérité aux circuits numériques
En électronique numérique, une table de vérité décrit le comportement attendu d’une porte logique ou d’un ensemble de portes. Une porte ET, une porte OU ou une porte NON peut être entièrement définie par sa table. Cela permet aux techniciens, étudiants et ingénieurs de vérifier qu’un montage répond bien au cahier des charges.
Les tables sont aussi utiles pour comprendre des composants plus complexes. Un additionneur, un multiplexeur ou un circuit de sélection peut être analysé à partir de ses entrées et de ses sorties. Chaque ligne représente alors une configuration électrique possible, et la sortie indique la réponse du circuit.
Dans les systèmes séquentiels, le raisonnement peut inclure l’état précédent en plus des entrées actuelles. C’est le cas de dispositifs qui déplacent ou stockent des bits. Le rôle d’un circuit qui fait circuler des bits illustre bien cette logique, car son comportement dépend à la fois du signal d’horloge, des données et de l’état interne.
Éviter les erreurs fréquentes de lecture
L’erreur la plus courante consiste à confondre le OU inclusif avec le OU exclusif. Dans une table classique, A ou B reste vrai lorsque A et B sont vrais simultanément. Le OU exclusif, souvent noté XOR, n’est vrai que lorsqu’une seule des deux propositions est vraie. Cette différence change complètement les résultats.
Une autre erreur fréquente est d’oublier une combinaison. Avec trois variables, il faut huit lignes, pas six ni sept. Une table incomplète peut donner une conclusion fausse, surtout lorsqu’on cherche à prouver que deux expressions sont équivalentes. L’exhaustivité des cas est la force principale de cet outil.
Il faut enfin se méfier des parenthèses omises. « Non A et B » ne signifie pas la même chose que « non (A et B) ». Dans le premier cas, seul A est inversé. Dans le second, c’est tout le résultat de A et B qui est inversé. Pour lire correctement une table de vérité logique, la méthode reste toujours la même : identifier les variables, lister toutes les lignes, calculer les colonnes intermédiaires, puis interpréter le résultat final avec précision.