Elysia Tools
Navigation mobile
Math & Numbers
Génère la table de vérité complète d'une expression booléenne (jusqu'à 6 variables, 64 lignes) : prend en charge + OU, ^ XOR, ·/*/& ou juxtaposition ET, !/~/' NON et parenthèses ; les variables sont listées alphabétiquement, chaque ligne donne l'affectation et la valeur F, avec les formes canoniques Σm (minterms) et ΠM (maxterms). Classiques : AB + A'C a pour Σm(1,3,6,7) ; A ^ B ^ C est la fonction de parité impaire Σm(1,2,4,7).
Exécution
Remplissez le formulaire, lancez l’outil et consultez le résultat au même endroit.
Exemples
Associé
Guide d'utilisation de l'outil
Le générateur de tables de vérité calcule et affiche la table de vérité complète d'une expression booléenne contenant jusqu'à 6 variables distinctes. Il évalue automatiquement les combinaisons logiques (jusqu'à 64 lignes), classe les variables par ordre alphabétique et extrait les formes canoniques en mintermes (Σm) et maxtermes (ΠM).
Contexte
L'étudiant étudie la sélection de signaux logiques et souhaite comprendre l'équation d'un multiplexeur.
Problème
Il doit identifier l'ensemble des mintermes activant la fonction de sélection.
Utilisation
Entrez l'expression `AB + A'C` dans le champ de saisie.
expression: "AB + A'C"Résultat
La table de 8 lignes est générée avec F=1 pour les indices 1, 3, 6, 7 (Σm(1, 3, 6, 7)) et F=0 pour ΠM(0, 2, 4, 5).
Contexte
Le concepteur implémente un contrôle d'intégrité de données sur 3 bits à l'aide d'arbres XOR.
Problème
Il souhaite s'assurer que la sortie est à 1 uniquement si un nombre impair d'entrées est actif.
Utilisation
Saisissez `A ^ B ^ C` comme expression booléenne.
L'outil accepte + pour le OU, ^ pour le XOR, ·, *, & ou la simple juxtaposition pour le ET, et !, ~, ' pour la négation (NON).
Vous pouvez utiliser jusqu'à 6 variables distinctes (A à F), générant une table de 64 lignes.
Une apostrophe placée directement après une variable ou une parenthèse ferme applique une négation NON à cet élément (ex. A' ou (A+B)').
Σm liste les indices des lignes où la fonction vaut 1 (mintermes), et ΠM liste les indices des lignes où elle vaut 0 (maxtermes).
Non, les variables d'entrée sont systématiquement organisées par ordre alphabétique strict dans la table de vérité.
Calculateurs, outils numériques, logique de dates, statistiques et finance
expression: "A ^ B ^ C"Résultat
L'outil affiche les valeurs F correspondantes et confirme la forme canonique Σm(1, 2, 4, 7).