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

Construit la table de vérité complète jusqu'à 8 variables, avec une colonne par sous-expression pour voir où une ligne bascule. Classe la formule en tautologie, contradiction ou contingence, liste les mintermes et maxtermes, et se copie en CSV, LaTeX ou Markdown.

L'outil interactif a besoin de JavaScript pour fonctionner. Tout le reste de cette page — son fonctionnement, un exemple chiffré et les réponses aux questions courantes — se trouve plus bas et n'a besoin de rien.

Outils similaires

Tous les outils : Maths discrètes & graphes →

Calculateur d'opérations bit à bitET, OU, XOR, NON et décalages en binaire, décimal ou hexadécimal, sur 8, 16, 32 ou 64 bits, avec le schéma bit à bit et le résultat dans les trois bases. Calculé en BigInt, donc les réponses sur 64 bits sont justes là où les opérateurs 32 bits de JavaScript tronqueraient en silence.Solveur de tableau de Karnaugh (K-Map)Minimise une fonction booléenne avec l'algorithme de Quine–McCluskey : saisis minterms, maxterms ou une table de vérité et obtiens la forme SOP ou POS minimale, les impliquants premiers et le nombre de littéraux.Simulateur de portes logiquesDessine le schéma en portes d'une expression booléenne et permet de basculer chaque entrée pour suivre le signal qui la traverse. Demi-additionneur, multiplexeur, parité et fonction majorité sont fournis en exemples.Solveur du voyageur de commerceRésous le problème du voyageur de commerce à partir de coordonnées ou d'une matrice de distances : Held–Karp exact jusqu'à 12 villes, plus proche voisin + 2-opt au-delà, avec l'ordre de tournée, la distance totale et un tracé.Générateur de triangulation de DelaunayColle un ensemble de points 2D et il les triangule à la façon de Delaunay — la triangulation qui évite les triangles trop plats, où aucun point ne tombe dans le cercle circonscrit d'un autre triangle. Il exécute l'algorithme de Bowyer-Watson dans ton navigateur et dessine le maillage, avec le nombre de points, triangles et arêtes.Calculateur du plus court chemin de DijkstraSaisis un graphe pondéré sous forme d'arêtes (« A, B, 4 » par ligne) et un nœud source : l'algorithme de Dijkstra donne la distance minimale et le chemin exact de la source vers chaque sommet atteignable. Fonctionne pour les graphes orientés ou non, accepte de nombreux formats d'arêtes et signale les sommets inatteignables — idéal pour le routage, les réseaux et la recherche de chemins.Calculateur de coloration de grapheColore un graphe de sorte que deux sommets adjacents n'aient jamais la même couleur. Saisis une liste d'arêtes : l'heuristique DSATUR (ou gloutonne) attribue une couleur à chaque sommet, affiche les classes de couleurs et donne une borne supérieure du nombre chromatique χ. K4 nécessite 4 couleurs, un cycle pair 2, un cycle impair 3 — visible instantanément.Calculateur d'ordre en théorie des groupesAnalyse les groupes finis classiques — cyclique Zₙ, produits directs Zₘ×Zₙ, diédral Dₙ et symétrique Sₙ. L'outil donne l'ordre du groupe, s'il est abélien, sa structure, le nombre de générateurs pour les groupes cycliques, et l'ordre de tout élément saisi, y compris une permutation en notation cyclique pour Sₙ.

Ouvre Générateur de table de vérité et tu obtiens une réponse immédiatement, sans compte à créer. Sa place est sous Maths discrètes & graphes ; Calculateur d'opérations bit à bit et Solveur de tableau de Karnaugh (K-Map) répondent aux questions les plus proches.

Comment l'utiliser

Ouvre l'outil — sans inscription ni installation.
Saisis tes données ou ajuste les options disponibles.
Obtiens ton résultat instantanément, puis copie-le ou télécharge-le.

Questions fréquentes

Qu'est-ce que Générateur de table de vérité ?

Dans quels cas s'en sert-on concrètement ?

Tout ce qui se modélise en points et liens : un plus court chemin, la capacité d'un réseau, un ordonnancement avec dépendances, ou un circuit réduit à sa logique.

Quelle est l'erreur la plus fréquente ?

Supposer qu'un plus court chemin le reste quand un poids change de signe. Les arêtes négatives invalident l'argument glouton sur lequel repose Dijkstra, et l'algorithme rend une réponse fausse avec assurance plutôt qu'une erreur.

En quoi Générateur de table de vérité diffère-t-il de Calculateur d'opérations bit à bit ?

Ils se ressemblent mais répondent à des questions différentes. Calculateur d'opérations bit à bit : eT, OU, XOR, NON et décalages en binaire, décimal ou hexadécimal, sur 8, 16, 32 ou 64 bits, avec le schéma bit à bit et le résultat dans les trois bases. Calculé en BigInt, donc les réponses sur 64 bits sont justes là où les opérateurs 32 bits de JavaScript tronqueraient en silence. Choisis celui qui correspond à ton point de départ — les deux sont gratuits.

Existe-t-il un outil pour l'étape suivante ?

Solveur de tableau de Karnaugh (K-Map) est le plus proche après celui-ci : Minimise une fonction booléenne avec l'algorithme de Quine–McCluskey : saisis minterms, maxterms ou une table de vérité et obtiens la forme SOP ou POS minimale, les impliquants premiers et le nombre de littéraux.

Quels autres outils vaut-il la peine d'ouvrir à côté ?

Simulateur de portes logiques et Solveur du voyageur de commerce — ils reviennent assez souvent dans la même tâche pour mériter un second onglet.

D'où viennent les données ?

Les algorithmes sont ceux des manuels et leurs résultats exacts pour le graphe saisi. Ce qui varie, c'est le coût : plusieurs de ces problèmes n'ont pas de solution efficace connue, les grandes entrées sont donc traitées par heuristique et l'outil le signale.

Pour aller plus loin

Tous les guides →

ExplicationMoins dix-sept modulo cinq a deux réponses différentes17 mod 5 vaut 2 partout. −17 mod 5 vaut −2 en JavaScript, C et Java, et 3 en Python, Ruby et dans un tableur. Les deux sont justes, et l'écart est un vrai bogue.ExplicationLes diagonales d'un polygone sont un maillage complet moins le périmètreUn hexagone a 9 diagonales, un icosagone 170 et un polygone à cent côtés 4 850. Le même dénombrement donne le nombre de liens d'un maillage complet : 190 liens pour 20 nœuds, 4 950 pour 100.ExplicationUn bac de vingt gallons en contient seize en Grande-Bretagne60 × 30 × 40 cm font 72 litres — 19,0 gallons américains ou 15,8 gallons impériaux. Les deux gallons diffèrent de 20 %, et s'arrêter 5 cm sous le bord coûte 9 litres de plus.ExplicationUne ellipse a une aire simple et aucun périmètre simpleDes demi-axes de 5 et 3 donnent un périmètre de 25,5270, et la valeur exacte en diffère d'une part sur deux millions. La devinette évidente, π(a+b), est 1,5 % trop basse — et 15 % trop basse sur une ellipse longue et fine.ExplicationUne seule formule couvre la sphère, l'œuf et la planèteQuatre tiers π fois les trois demi-axes : 5, 3 et 4 donnent 251,33, et poser les trois égaux redonne la sphère. Le renflement équatorial coûte à la Terre 0,34 % du volume d'une sphère.ExplicationSoixante mètres de clôture enferment d'autant plus de terrain qu'ils sont rondsLes mêmes 60 m de clôture donnent 173 m² en triangle, 225 en carré, 260 en hexagone et 286 en cercle. La forme vaut 65 % de plus que le matériau.