API Table de Vérité
Évaluez des expressions logiques booléennes et générez des tables de vérité complètes. Le point de terminaison table prend une expression booléenne, trouve ses variables, construit chaque ligne de la table de vérité (la première variable est le bit le plus significatif, convention standard), et retourne les valeurs et le résultat de chaque ligne, la liste des minterms (les indices de ligne où l'expression est vraie), une classification de tautologie / contradiction / contingence, et une forme canonique somme-de-produits (SOP). Le point de terminaison evaluate calcule la valeur de l'expression pour une affectation spécifique de ses variables. Il comprend l'ensemble complet des opérateurs sous forme symbolique et textuelle — NOT (!, ~, ¬), AND (&, &&, ∧, *, ., AND), OR (|, ||, ∨, +, OR), XOR (^, ⊕), NAND, NOR, XNOR, implication (->, =>, →, IMPLIES) et le biconditionnel (<->, <=>, ↔, IFF) — avec la précédence habituelle (NOT > AND > XOR > OR > IMPLIES > IFF), les parenthèses, et les constantes 0/1 et true/false. Tout est calculé localement et de manière déterministe, donc c'est instantané et privé. Idéal pour l'enseignement de la logique numérique et des mathématiques discrètes, la conception matérielle et HDL, la simplification de conditions dans le code, les vérifications de cohérence de type SAT, et la préparation aux entretiens. Calcul purement local — aucune clé, aucun service tiers, instantané. En direct, rien n'est stocké. 3 points de terminaison. Cela évalue la logique booléenne et construit des tables de vérité ; pour l'arithmétique et les équations, utilisez une API mathématique.
api.oanor.com/truthtable-api
