Générateur de table de vérité
Générez des tables de vérité pour n'importe quelle expression logique booléenne. Prend en charge les opérateurs ET, OU, NON, XOR, NAND, NOR, XNOR et conditionnels. Visualisez les portes logiques avec une évaluation animée.
Votre bloqueur de pubs nous empêche d’afficher des annonces
MiniWebtool est gratuit grâce aux annonces. Si cet outil vous a aidé, soutenez-nous avec Premium (sans pubs + outils plus rapides) ou ajoutez MiniWebtool.com à la liste blanche puis rechargez la page.
- Ou passez à Premium (sans pubs)
- Autorisez les pubs pour MiniWebtool.com, puis rechargez
Générateur de table de vérité
Qu'est-ce qu'une table de vérité ?
Une table de vérité est une méthode systématique pour lister toutes les valeurs de vérité possibles d'une expression logique. Pour chaque combinaison de valeurs de variables d'entrée (Vrai ou Faux), le tableau affiche le résultat de l'expression. Les tables de vérité sont fondamentales dans :
- Conception Logique Numérique — conception de circuits avec des portes ET, OU, NON
- Informatique — évaluation des expressions conditionnelles et de l'algèbre booléenne
- Philosophie & Mathématiques — preuves formelles en logique propositionnelle
- Génie Logiciel — test de toutes les branches de la logique conditionnelle
Comment utiliser ce générateur de table de vérité
Entrez une expression booléenne en utilisant des variables (A-H) et des opérateurs logiques. L'outil détectera automatiquement vos variables et générera la table de vérité complète montrant toutes les combinaisons possibles d'entrée/sortie.
- Utilisez des lettres majuscules uniques (A, B, C, ..., H) comme variables — jusqu'à 8 variables prises en charge
- Utilisez des parenthèses ( ) pour contrôler la priorité des opérateurs
- Cliquez sur les boutons d'opérateurs ou tapez les opérateurs directement
- Cochez "Afficher les sous-expressions" pour voir les étapes de calcul intermédiaires
Priorité des opérateurs (de la plus haute à la plus basse)
Lorsque aucune parenthèse n'est utilisée, les opérateurs sont évalués dans cet ordre :
- NON (NOT) (!, ~, ¬) — évalué en premier (priorité la plus haute)
- ET (AND) (&&, &, ∧) — évalué en deuxième
- NON-ET (NAND) — évalué en troisième
- XOR, XNOR (^, ⊕, ⊙) — évalué en quatrième
- OU (OR) (||, |, ∨) — évalué en cinquième
- NON-OU (NOR) — évalué en sixième
- IMPLICATION (→, =>) — évalué en septième
- ÉQUIVALENCE / SI ET SEULEMENT SI (↔, <=>) — évalué en dernier (priorité la plus basse)
Syntaxe des opérateurs pris en charge
| Opérateur | Syntaxe acceptée | Description | Exemple |
|---|---|---|---|
| ET (AND) | AND, &&, &, ∧, · | Vrai uniquement lorsque les deux opérandes sont vrais | A AND B |
| OU (OR) | OR, ||, |, ∨, + | Vrai lorsqu'au moins un opérande est vrai | A OR B |
| NON (NOT) | NOT, !, ~, ¬ | Inverse la valeur de vérité | NOT A |
| OU EXCLUSIF (XOR) | XOR, ^, ⊕ | Vrai lorsque les opérandes diffèrent | A XOR B |
| NON-ET (NAND) | NAND | Négation de ET | A NAND B |
| NON-OU (NOR) | NOR | Négation de OU | A NOR B |
| NON-OU EXCLUSIF (XNOR) | XNOR, ⊙ | Vrai lorsque les opérandes ont la même valeur | A XNOR B |
| IMPLICATION | →, =>, IMPLIES | Faux uniquement lorsque P est vrai et Q est faux | A → B |
| BICONDITIONNEL | ↔, <=>, IFF | Vrai lorsque les deux ont la même valeur | A ↔ B |
Comprendre les mintermes et les maxtermes
Les mintermes sont les lignes où la sortie est 1 (Vrai). La somme des mintermes (SOP) exprime la fonction comme un OU de termes ET. Les maxtermes sont les lignes où la sortie est 0 (Faux). Le produit des maxtermes (POS) exprime la fonction comme un ET de termes OU. Les deux formes sont essentielles pour la simplification de la logique numérique et l'analyse par tableau de Karnaugh.
Citez ce contenu, cette page ou cet outil comme suit :
"Générateur de table de vérité" sur https://MiniWebtool.com/fr/générateur-de-table-de-vérité/ de MiniWebtool, https://MiniWebtool.com/
Le Générateur de table de vérité utilise les règles standard de l'algèbre de Boole. Pour plus d'informations, consultez Table de vérité - Wikipédia.
Vous pouvez également essayer notre Résolveur Mathématique IA GPT pour résoudre vos problèmes mathématiques grâce à des questions-réponses en langage naturel.
Autres outils connexes:
Opérations mathématiques avancées:
- Calculatrice d'Antilogarithme
- Calculatrice de la fonction bêta
- Calculateur de Coefficient Binomial
- Calculatrice de distribution binomiale
- Calculatrice de Bit
- Calculateur du Théorème Central Limite
- Calculatrice de Combinaison
- Calculatrice de Fonction d'Erreur Complémentaire
- Calculatrice de Nombres Complexes
- Calculatrice d'Entropie
- Calculatrice de fonction d'erreur
- Calculatrice de désintégration exponentielle
- Calculatrice de croissance exponentielle
- Calculatrice d'intégrale exponentielle
- calculatrice-des-exposants-haute-précision En vedette
- Calculatrice Factorielle
- Calculatrice de Fonction Gamma
- Calculateur de Nombre d'Or
- Calculatrice de demi-vie
- Calculatrice du Taux de Croissance en Pourcentage
- Calculatrice de permutation
- Calculatrice de Distribution de Poisson
- Calculatrice des racines de polynômes avec étapes détaillées
- Calculatrice de probabilité
- Calculatrice de Distribution de Probabilité
- Calculatrice de Proportion
- Calculatrice de Formule Quadratique
- Calculatrice Scientifique
- Calculatrice de notation scientifique
- Calculateur de Chiffres Significatifs Nouveau
- Calculatrice de Somme de Cubes
- Calculatrice de la somme des entiers positifs
- Calculatrice de la somme des carrés
- Générateur de table de vérité
- Calculateur de Théorie des Ensembles
- Générateur de Diagramme de Venn (3 Ensembles)
- Calculatrice du Théorème des Restes Chinois
- Calculatrice de la fonction indicatrice d'Euler
- Calculatrice de l'Algorithme Euclidien Étendu
- Calculatrice de l'Inverse Multiplicatif Modulaire
- Calculatrice de fractions continues
- Calculateur de plus court chemin de Dijkstra
- Calculateur d'arbre couvrant minimum
- Validateur de séquence de degrés de graphe
- Calculateur de Dérangement (Sous-factorielle)
- Calculateur de Nombres de Stirling
- Calculateur du principe des tiroirs
- Calculateur d'état stationnaire de chaîne de Markov
- Calculateur d'Arrondi Nouveau
- Calculateur de Distribution Binomiale Négative Nouveau
- Calculateur de Permutations avec Répétition Nouveau
- Calculateur d'Exponentiation Modulaire Nouveau
- Calculateur de Racine Primitive
- Simplificateur d'Algèbre de Boole Nouveau
- Solveur de Tableau de Karnaugh (K-Map) Nouveau
- Calculateur de Coloration de Graphes Nouveau
- Calculateur de Tri Topologique Nouveau
- Calculateur de Matrice d'Adjacence Nouveau
- Calculateur d'Inclusion-Exclusion Nouveau
- Solveur de Programmation Linéaire Nouveau
- Solveur du Voyageur de Commerce (TSP) Nouveau
- Vérificateur de Chemin Hamiltonien Nouveau
- Vérificateur de Graphe Planaire Nouveau
- Calculateur de Flot Maximal dans un Réseau Nouveau
- Solveur du Problème des Mariages Stables Nouveau
- Calculateur d'Ordre en Théorie des Groupes Nouveau
- Calculateur d’Anneaux et de Corps Nouveau