Calculatrice de table de vérité : évaluer NON, ET, OU et l'implication étape par étape
Une calculatrice de table de vérité prend un énoncé logique construit à partir de variables propositionnelles telles que p et q, liste toutes les combinaisons possibles de valeurs vrai (V) et faux (F) que ces variables peuvent prendre, et évalue l'énoncé ligne par ligne. La logique propositionnelle réduit tout argument à des énoncés qui sont soit vrais, soit faux, et les opérateurs logiques — NON, ET, OU et l'implication (→) — combinent ces énoncés simples en expressions plus complexes. Comme chaque variable n'a que deux valeurs possibles, un énoncé à n variables comporte exactement 2ⁿ lignes : deux variables produisent 4 lignes, trois variables en produisent 8, et ainsi de suite. Ce guide traite à la main les opérateurs de base, construit un exemple de calculatrice de table de vérité pour l'implication et pour une expression à trois variables, puis utilise les lois de De Morgan pour prouver que deux énoncés écrits différemment sont des énoncés équivalents en algèbre booléenne.
Sommaire
- 01Qu'est-ce qu'une calculatrice de table de vérité ?
- 02Comment fonctionnent les opérateurs logiques de base NON, ET et OU ?
- 03Comment une calculatrice de table de vérité évalue-t-elle l'implication (p → q) ?
- 04À quoi ressemble la table de vérité de (p ∧ q) → r ?
- 05Comment utiliser une calculatrice de table de vérité pour prouver des énoncés équivalents ?
- 06Quelles erreurs éviter lors de la construction d'une table de vérité à la main ?
- 07Comment vérifier votre travail d'algèbre booléenne ?
- 08Utilisez la calculatrice de table de vérité de Solvify pour vérifier votre logique
Qu'est-ce qu'une calculatrice de table de vérité ?
Une calculatrice de table de vérité est un outil qui liste toutes les combinaisons possibles de vrai/faux pour les variables d'un énoncé logique et calcule la valeur de l'énoncé pour chaque combinaison. Certains appellent la même idée un générateur de table de vérité, puisqu'il génère automatiquement l'ensemble complet des lignes plutôt que de vous demander de les écrire à la main à chaque fois. En logique propositionnelle, une variable comme p ou q représente un énoncé qui est vrai ou faux — jamais les deux, jamais aucun des deux — et les opérateurs logiques permettent de construire des énoncés composés à partir de ces briques simples. L'importance des tables de vérité dépasse le simple exercice scolaire. Les étudiants en informatique les utilisent pour concevoir des circuits logiques numériques, où chaque porte logique — ET, OU, NON, NAND, XOR — correspond directement à une table de vérité, et le comportement global d'un circuit est la table de vérité de toutes les portes reliées entre elles. Les ingénieurs logiciels utilisent les mêmes tables pour simplifier les instructions conditionnelles dans le code, les filtres de requêtes de bases de données et la logique de recherche, car une instruction if imbriquée et confuse n'est souvent qu'une expression d'algèbre booléenne qui n'a pas encore été simplifiée. Les cours de philosophie et de mathématiques utilisent les tables de vérité pour tester si un argument est logiquement valide, indépendamment du fait que ses affirmations individuelles soient vraies ou non dans le monde réel. Une fois que vous savez construire une table de vérité à la main, une calculatrice devient un moyen de vérifier votre travail plutôt qu'un substitut à sa compréhension.
Une table de vérité est simplement chaque combinaison d'entrées possible pour un énoncé logique, associée au résultat que chaque combinaison produit.
Comment une calculatrice de table de vérité évalue-t-elle l'implication (p → q) ?
L'implication, notée p → q et lue « si p alors q », est l'opérateur logique qui déroute le plus, car il ne correspond pas à la façon dont les énoncés « si... alors » sont perçus dans la conversation courante. Une calculatrice de table de vérité l'évalue selon une seule règle : p → q est faux dans exactement une situation — lorsque p est vrai mais q est faux — et vrai dans tous les autres cas.
1. Étape 1 — Lister toutes les combinaisons de p et q
Avec deux variables, il y a 2² = 4 lignes : VV, VF, FV, FF.
2. Étape 2 — Appliquer la règle de l'implication à chaque ligne
p | q | p → q V | V | V V | F | F F | V | V F | F | V La seule ligne fausse est V, F — p promettait q, et q ne s'est pas produit.
3. Étape 3 — Interpréter les deux lignes vraies « surprenantes »
Lorsque p est faux (lignes FV et FF), l'implication est vraie quel que soit q, car une prémisse fausse rend l'énoncé « vrai par vacuité » — on ne peut pas rompre une promesse qu'on n'a jamais réellement faite. C'est la partie de la table de vérité de l'implication qui semble la moins intuitive mais qui est essentielle à la logique propositionnelle.
4. Étape 4 — Vérifier avec un exemple concret
« S'il pleut, le sol devient mouillé. » S'il ne pleut pas (p est faux), l'énoncé n'a pas été contredit, quel que soit l'état du sol — c'est exactement pourquoi les lignes FV et FF sont vraies toutes les deux.
p → q est faux dans exactement une ligne : p vrai, q faux. Toute autre combinaison rend l'implication vraie.
À quoi ressemble la table de vérité de (p ∧ q) → r ?
Ajouter une troisième variable multiplie le nombre de lignes : 2³ = 8. L'expression (p ∧ q) → r se lit « si p et q sont tous deux vrais, alors r est vrai », et construire sa table de vérité implique de calculer une colonne intermédiaire, p ∧ q, avant d'appliquer la règle de l'implication par rapport à r.
1. Étape 1 — Lister les 8 combinaisons de p, q et r
Avec trois variables, parcourez chaque combinaison dans un ordre fixe pour qu'aucune ligne ne soit oubliée ou répétée : VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF.
2. Étape 2 — Calculer la colonne intermédiaire p ∧ q
p ∧ q est vrai uniquement dans les deux lignes où p et q sont tous deux vrais (VVV et VVF), et faux dans les six autres lignes.
3. Étape 3 — Appliquer l'implication entre (p ∧ q) et r
p | q | r | p∧q | (p∧q)→r V | V | V | V | V V | V | F | V | F V | F | V | F | V V | F | F | F | V F | V | V | F | V F | V | F | F | V F | F | V | F | V F | F | F | F | V
4. Étape 4 — Interpréter le résultat
La seule ligne fausse est VVF : p et q sont tous deux vrais, mais r est faux — le seul cas où l'antécédent (p ∧ q) est vérifié mais pas le conséquent. Toutes les autres lignes sont vraies, soit parce que r est vrai, soit parce que p ∧ q était déjà faux, rendant l'implication vraie par vacuité.
Sur 8 lignes possibles pour (p ∧ q) → r, une seule rend tout l'énoncé faux : p et q vrais, r faux.
Comment utiliser une calculatrice de table de vérité pour prouver des énoncés équivalents ?
Deux énoncés sont des énoncés équivalents lorsque leurs tables de vérité produisent des colonnes de résultats identiques pour chaque ligne — pas seulement pour quelques exemples, mais pour toute combinaison possible d'entrées. C'est exactement ainsi que l'on utilise une calculatrice de table de vérité pour prouver l'un des résultats les plus utiles de l'algèbre booléenne : les lois de De Morgan, qui affirment que ¬(p ∧ q) est équivalent à ¬p ∨ ¬q.
1. Étape 1 — Construire les colonnes de p ∧ q et de sa négation
p | q | p∧q | ¬(p∧q) V | V | V | F V | F | F | V F | V | F | V F | F | F | V
2. Étape 2 — Construire les colonnes de ¬p, ¬q et de leur disjonction
p | q | ¬p | ¬q | ¬p∨¬q V | V | F | F | F V | F | F | V | V F | V | V | F | V F | F | V | V | V
3. Étape 3 — Comparer les deux colonnes de résultats
¬(p∧q) : F, V, V, V ¬p∨¬q : F, V, V, V Les deux colonnes correspondent sur chaque ligne, ce qui est la définition de l'équivalence logique — les énoncés ne sont que deux façons différentes d'écrire la même chose.
4. Étape 4 — Généraliser le schéma
La seconde loi de De Morgan fonctionne de la même manière : ¬(p ∨ q) est équivalent à ¬p ∧ ¬q. Dans les deux lois, nier toute une expression inverse l'opérateur (ET devient OU, OU devient ET) et distribue la négation sur chaque variable — une règle qui revient constamment lors de la simplification d'expressions d'algèbre booléenne dans le code et la conception de logique numérique.
Lorsque deux tables de vérité produisent la même colonne de résultats sur chaque ligne, les énoncés sont des énoncés équivalents — peu importe à quel point ils semblent différents une fois écrits.
Quelles erreurs éviter lors de la construction d'une table de vérité à la main ?
La plupart des tables de vérité erronées proviennent d'une poignée d'erreurs d'inattention prévisibles plutôt que d'une incompréhension des opérateurs logiques eux-mêmes. Les connaître à l'avance évite beaucoup de vérifications ultérieures.
1. Oublier ou dupliquer une ligne
Avec n variables, il doit y avoir exactement 2ⁿ lignes, parcourues dans un ordre cohérent (comme compter en binaire : VVV, VVF, VFV...). Une ligne manquante ou répétée signifie que la table ne couvre pas réellement tous les cas, ce qui invalide toute vérification d'équivalence effectuée à partir d'elle.
2. Confondre l'implication avec « et »
p → q n'est pas la même chose que p ∧ q. L'implication est fausse dans exactement une ligne (p vrai, q faux) ; la conjonction est fausse dans trois lignes. Confondre les deux est l'erreur la plus fréquente en matière de table de vérité dans la logique propositionnelle.
3. Oublier la priorité des opérateurs
Dans (p ∧ q) → r, les parenthèses comptent — ∧ doit être évalué avant →. Sans elles, p ∧ (q → r) est un énoncé complètement différent avec une table de vérité différente.
4. Appliquer la loi de De Morgan à moitié
Nier ¬(p ∧ q) en ¬p ∧ ¬q — en oubliant de changer aussi ET en OU — produit un énoncé qui n'est pas équivalent à l'original. L'opérateur et chaque variable doivent être niés ensemble.
Presque chaque erreur de table de vérité est une ligne oubliée, un opérateur confondu, ou une négation incomplète — pas un défaut de la logique elle-même.
Comment vérifier votre travail d'algèbre booléenne ?
Avant de faire confiance à une table de vérité construite à la main, effectuez quelques vérifications rapides, tout comme vous le feriez pour tout autre calcul en plusieurs étapes.
1. Recompter les lignes
Un énoncé à n variables doit avoir exactement 2ⁿ lignes. Deux variables : 4 lignes. Trois variables : 8 lignes. Si le compte n'y est pas, une ligne a été oubliée ou dupliquée.
2. Vérifier ponctuellement les lignes fausses par rapport à la règle
Pour l'implication, seule la ligne p-vrai-q-faux doit être fausse. Pour la conjonction, seule la ligne tout-vrai doit être vraie. Si le résultat d'une ligne ne correspond pas à la règle qui définit l'opérateur, revérifiez spécifiquement cette ligne.
3. Tester l'équivalence sur la colonne entière, pas sur une seule ligne
Deux expressions qui correspondent sur trois lignes sur quatre ne sont pas équivalentes — chaque ligne doit correspondre. Utilisez un générateur ou une calculatrice de table de vérité pour vérifier toute la colonne d'un coup lorsqu'une vérification manuelle vous semble incertaine.
Comptez les lignes, vérifiez la règle qui définit l'opérateur par rapport aux cas faux, et ne déclarez jamais deux énoncés équivalents avant que chaque ligne ne corresponde.
Utilisez la calculatrice de table de vérité de Solvify pour vérifier votre logique
Une fois que vous comprenez comment NON, ET, OU et l'implication se comportent ligne par ligne, une calculatrice de table de vérité devient un moyen de vérifier votre propre raisonnement plutôt qu'un raccourci pour l'éviter. Le solveur pas à pas de Solvify construit chaque ligne d'une expression logique individuellement, en montrant les colonnes intermédiaires — comme p ∧ q avant d'appliquer l'implication — afin que vous puissiez comparer votre table construite à la main et trouver exactement où une erreur s'est produite, qu'il s'agisse d'une ligne oubliée, d'un opérateur mal appliqué ou d'une loi de De Morgan appliquée à moitié. Travailler d'abord une table de vérité à la main et n'utiliser une calculatrice que pour confirmer les colonnes finales développe le type d'aisance qui perdure dans les cours de logique propositionnelle et d'algèbre booléenne — reconnaître d'un coup d'œil que l'implication a exactement une ligne fausse, qu'un énoncé à trois variables nécessite huit lignes, et que deux expressions ne sont des énoncés équivalents que lorsque chaque ligne correspond, bien avant qu'une calculatrice ne vous le confirme.
L'objectif d'une calculatrice de table de vérité devrait être de confirmer votre raisonnement, pas de le remplacer — travaillez d'abord la table à la main, puis vérifiez.
Articles connexes
Résolution de problèmes mathématiques étape par étape : un cadre reproductible pour tout problème
La même approche ligne par ligne et vérifiée par des règles utilisée pour les tables de vérité s'applique à tout problème mathématique ou logique structuré.
Aide aux devoirs d'informatique : un guide pratique
Les tables de vérité et l'algèbre booléenne sont des briques fondamentales pour les mathématiques discrètes et les cours de logique numérique.
Aide aux devoirs de programmation : déboguer et apprendre plus vite
Simplifier la logique conditionnelle dans le code repose sur les mêmes règles d'algèbre booléenne utilisées pour construire des tables de vérité.
Solveurs mathématiques
Solutions étape par étape
Voyez chaque ligne et colonne intermédiaire d'une table de vérité entièrement développée, pas seulement la réponse finale.
Tuteur de maths IA
Posez des questions complémentaires sur l'implication, les lois de De Morgan ou tout opérateur logique jusqu'à ce que ce soit clair.
Mode entraînement
Entraînez-vous sur d'autres exercices de tables de vérité et d'algèbre booléenne pour gagner en rapidité et en précision.
Matières connexes
Mathématiques discrètes
Les tables de vérité, les opérateurs logiques et l'algèbre booléenne sont des sujets fondamentaux des cours de mathématiques discrètes.
Résolution de problèmes d'informatique
Appliquez la même vérification règle par règle et ligne par ligne utilisée ici aux problèmes de logique numérique et d'algorithmique.
Comment fonctionnent les opérateurs logiques de base NON, ET et OU ?
Avant d'aborder l'implication ou les expressions à plusieurs variables, il est utile de bien maîtriser les trois opérateurs logiques les plus simples, car tout énoncé plus complexe n'est en réalité que NON, ET et OU combinés et imbriqués de différentes manières.
1. NON p (négation)
NON inverse simplement la valeur de vérité d'un énoncé. p | NON p V | F F | V Si p est « le ciel est bleu » et que p est vrai, alors NON p — « le ciel n'est pas bleu » — est faux. La négation est le seul opérateur ici qui agit sur une seule variable plutôt que d'en combiner deux.
2. p ET q (conjonction)
ET n'est vrai que lorsque les deux énoncés sont vrais. p | q | p ET q V | V | V V | F | F F | V | F F | F | F Sur quatre lignes possibles, une seule — p et q tous deux vrais — rend l'énoncé entier vrai. C'est le plus strict des opérateurs logiques de base : une seule entrée fausse suffit à rendre toute la conjonction fausse.
3. p OU q (disjonction)
OU est vrai dès qu'au moins un énoncé est vrai. p | q | p OU q V | V | V V | F | V F | V | V F | F | F Seule la ligne où p et q sont tous deux faux rend la disjonction fausse. Il s'agit du OU inclusif utilisé dans toute la logique propositionnelle et l'algèbre booléenne — le fait que les deux énoncés soient vrais compte quand même comme vrai, contrairement au « soit... soit » du langage courant, qui implique exactement l'un des deux.