Générateur de Tables de Vérité

• Génération instantanée de tables de vérité : saisissez n'importe quelle expression booléenne et générez instantanément une table de vérité complète. Le générateur analyse votre expression dans le navigateur et produit les 2ⁿ combinaisons d'entrée avec les bonnes sorties - sans chargement, sans aller-retour serveur.
• Générateur de tables de vérité en ligne sécurisé : il s'exécute entièrement dans votre navigateur. Vos expressions booléennes, formules logiques et devoirs ne sont jamais envoyés à un serveur - aucune collecte de données, aucun suivi, totalement privé.
• Générateur de tables de vérité - sans installation : utilisez-le directement dans n'importe quel navigateur moderne, sans téléchargement, application ni plugin. Prend en charge AND, OR, NOT, XOR, NAND, NOR, XNOR, l'implication (→) et la biconditionnelle (↔) jusqu'à 8 variables.
• 100% gratuit avec prise en charge de plusieurs expressions : le générateur est entièrement gratuit, sans inscription, sans limite d'utilisation et sans publicité. Saisissez plusieurs expressions séparées par des virgules pour les comparer côte à côte dans un seul tableau - idéal pour vérifier les équivalences logiques et les lois de De Morgan.

• Devoirs d'informatique : les étudiants utilisent le générateur pour réaliser leurs exercices de mathématiques discrètes et de logique numérique. Saisissez n'importe quelle expression booléenne de votre manuel et vérifiez instantanément votre table calculée à la main avec la sortie du générateur.
• Vérification d'équivalences logiques : utilisez le générateur pour prouver ou réfuter des équivalences logiques en saisissant les deux expressions comme entrées séparées par des virgules. Si les colonnes de sortie correspondent sur toutes les lignes, les expressions sont logiquement équivalentes - idéal pour vérifier les lois de De Morgan et les propriétés distributives.
• Conception de circuits numériques : les ingénieurs matériel utilisent le générateur pour définir le comportement attendu des circuits logiques combinatoires avant implémentation. Générez des tables de vérité pour les demi-additionneurs, additionneurs complets, multiplexeurs et combinaisons de portes personnalisées.
• Détection de tautologies et de contradictions : le générateur détecte automatiquement les tautologies (toujours vraies) et les contradictions (toujours fausses) et affiche un badge clair. Utile pour vérifier des axiomes logiques, contrôler des étapes de preuve et repérer des conditions redondantes dans le code.
• Programmation et logique conditionnelle : les développeurs utilisent le générateur pour raisonner sur des conditions booléennes complexes dans le code. Associez les variables de votre instruction if à A, B, C et saisissez la condition pour voir toutes les combinaisons d'entrée possibles et leurs résultats avant d'écrire le code.
• Enseignement et démonstrations en classe : les enseignants utilisent le générateur pour illustrer les concepts d'algèbre de Boole en temps réel. Les exemples rapides prédéfinis couvrent AND, OR, NOT, XOR, NAND, NOR, les lois de De Morgan et le demi-additionneur - prêts à l'emploi sans configuration.

Une table de vérité est une table mathématique utilisée en logique pour déterminer la sortie d'une expression booléenne pour chaque combinaison possible de valeurs d'entrée. Pour n variables, une table de vérité comporte 2ⁿ lignes - une pour chaque combinaison unique d'entrées VRAI et FAUX. Les tables de vérité sont fondamentales pour l'algèbre de Boole , la conception de circuits numériques, la logique propositionnelle et l'informatique. Elles servent à vérifier des équivalences logiques, prouver des tautologies, identifier des contradictions et définir le comportement des portes logiques. Notre générateur de tables de vérité analyse toute expression booléenne écrite en notation standard et produit instantanément la table de vérité complète dans votre navigateur - sans serveur, sans compte, sans attente.

1. Saisissez votre expression booléenne : tapez une ou plusieurs expressions booléennes dans le champ de saisie, séparées par des virgules. Utilisez des noms de variables A-Z et tout opérateur pris en charge. Le générateur extrait automatiquement toutes les variables uniques et les trie par ordre alphabétique comme en-têtes de colonnes.
2. Analyse instantanée dans le navigateur : cliquez sur « Générer la table de vérité » et le générateur tokenise et analyse votre expression à l'aide d'un analyseur descendant récursif entièrement dans votre navigateur. Aucune donnée d'expression n'est envoyée à un serveur - vos formules logiques restent totalement privées sur votre appareil.
3. Consultez la table complète : le générateur affiche les 2ⁿ lignes avec les colonnes d'entrée (grises) et les colonnes de sortie (surlignées). Les valeurs VRAI apparaissent en vert, les FAUX en rouge. Basculez entre l'affichage T/F et 1/0. Les expressions multiples apparaissent en colonnes de sortie côte à côte pour une comparaison facile.

• AND (∧) : écrivez AND , && ou & - renvoie VRAI uniquement lorsque les deux entrées sont VRAIES.
• OR (∨) : écrivez OR , || ou | - renvoie VRAI lorsqu'au moins une entrée est VRAIE.
• NOT (¬) : écrivez NOT , ! ou ~ - inverse l'entrée. Peut être enchaîné : NOT NOT A .
• XOR / NAND / NOR / XNOR / → / ↔ : écrivez XOR , NAND , NOR , XNOR , -> (implication) ou <-> (biconditionnelle). Les parenthèses sont entièrement prises en charge pour le regroupement.

Le générateur de tables de vérité évalue les opérateurs dans l'ordre de priorité suivant (du plus élevé au plus faible) : NOT (le plus élevé) → NAND / XNOR → AND → NOR → XOR → OR → IMPLIES (→) → IFF (↔) (le plus faible). Utilisez des parenthèses pour remplacer la priorité - par exemple, NOT (A AND B) est différent de NOT A AND B . En cas de doute, utilisez toujours des parenthèses pour expliciter votre intention.