Aller au contenu

Générateur de table de vérité

Produisez toutes les lignes sans exécuter l’entrée comme code.

Expression booléenne

Traitement dans le navigateur.

6 variables maximum. NOT > AND > XOR > OR > implication > équivalence.

Table de vérité

Saisissez une expression puis générez.

Générer la table

  1. Saisissez une expression avec variables ou 0/1.
  2. Utilisez NOT, AND, XOR, OR, -> et <-> ou leurs symboles.
  3. Générez ; les variables suivent leur première apparition.
  4. Vérifiez puis copiez la table tabulée.

Analyseur et priorité

L’expression est analysée directement, jamais exécutée avec eval ou Function. Priorité : NOT, AND, XOR, OR, implication, équivalence.

n variables donnent 2ⁿ lignes, au plus 64. L’implication est fausse seulement pour vrai -> faux ; l’équivalence exige les mêmes valeurs.

Expressions vérifiées

A -> B donne 1,1,0,1 ; A XOR B donne 0,1,1,0.

A OR NOT A est une tautologie ; A AND NOT A une contradiction.

Syntaxe et limites

  • Les noms commencent par une lettre ASCII et respectent la casse.
  • Les erreurs de symbole, opérande, opérateur, parenthèse ou nombre sont signalées.
  • Pas de simplification, preuve, circuit, Karnaugh ou exécution de code.

Questions fréquentes

Pourquoi six variables ?

Chaque variable double les lignes ; six donnent 64.

Quelle priorité ?

NOT, AND, XOR, OR, implication, équivalence.

Quel ordre ?

Première apparition, faux avant vrai.

Que signifient les classes ?

Toujours vraie, toujours fausse ou mixte.