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

Entrée
Possibilités
Résultat

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

Créez des tables de vérité à l’aide de boutons d’opérateurs et d’exemples. Analysez les formules, leurs formes canoniques DNF et CNF et leurs mintermes, puis exportez les résultats.

Construire une table de vérité

Saisissez une expression booléenne ou assemblez-la avec les boutons de l'opérateur.

Expression

Comparez avec une autre expression

La comparaison facultative utilise l'union de variables (jusqu'à 8) et met en évidence des contre-exemples. Modifiez les entrées, puis créez le tableau pour mettre à jour le résultat. Chaque expression est limitée à 2 000 caractères.

Opérateurs d'expression logique

Vous pouvez également saisir NOT, AND, OR, XOR, NAND, NOR, IMPLIES et IFF.

Exemples rapides

L'expression est évaluée localement dans votre navigateur.

Expression analysée

(A ∧ B) → C

Formule logique contingente

Variables

A, B, C

Combinaisons

Lignes avec le résultat 1

Lignes avec résultat 0

Table de vérité booléenne

PDF / Imprimer: Tout (8)

Résultat

Formes booléennes canoniques

Canonical DNF est construit à partir des lignes du tableau avec le résultat 1; canonique CNF est construit à partir des lignes du tableau avec le résultat 0.

Forme normale disjonctive canonique (DNF)

(¬A ∧ ¬B ∧ ¬C) ∨ (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)

Forme normale conjonctive canonique (CNF)

(¬A ∨ ¬B ∨ C)

Minterms booléens

Σm(0, 1, 2, 3, 4, 5, 7)

Termes maximaux booléens

ΠM(6)

Générez des tables de vérité en ligne

Entrez ou assemblez une expression booléenne et inspectez chaque combinaison de huit variables maximum avec la valeur résultante.

Classez une formule comme tautologie, contradiction ou contingence, filtrez les lignes et exportez le tableau avec les termes canoniques DNF, CNF, minterms et maxterms.

Démarrage rapide

Construisez une table de vérité ou comparez deux expressions pour déterminer leur équivalence.

Entrez une expression et une comparaison facultative
Construisez le tableau pour mettre à jour le résultat
Inspectez les contre-exemples et exportez le tableau complet

✓ L’outil fonctionne directement dans le navigateur et convient aux vérifications rapides sans installer de logiciel.

✓ L’entrée peut être effacée et recalculée immédiatement, pratique pour les petites tâches répétées.

✓ Utilisez le plein écran lorsque vous avez besoin de plus de place pour de longs textes, des données structurées ou de grands résultats.

✓ Les boutons de copie permettent de réutiliser le résultat dans du code, des documents ou des échanges de support.

✓ La plupart des opérations sont déterministes : les mêmes données et options produisent le même résultat.

✓ Pour les contenus sensibles, privilégiez les outils locaux du navigateur et vérifiez le résultat avant de le partager.

Autres outils

Évaluateur en mathématiques

Calculatrice combinatoire

Calculatrice arithmétique modulaire

Convertir DOC en PDF en ligne

Convertir DOCX en PDF en ligne

Convertir ODT en PDF en ligne

Avis des utilisateurs

Les avis sont vérifiés avant publication. Nous publions de véritables retours positifs et des critiques spécifiques. Les spams et insultes sans détails utiles ne sont pas publiés; les grossièretés et les détails personnels sont masqués. Les votes positifs sont comptés immédiatement; les votes négatifs sont comptés après examen.

Les avis reflètent les expériences des utilisateurs, et non une garantie de résultats ou une description des limites du service. Utilisez les boutons de notation ci-dessus pour laisser un avis.

Aucun avis publié dans cette langue pour l'instant.