Table de Vérité

Une méthode tabulaire qui énumère toutes les affectations possibles de valeurs de vérité aux variables propositionnelles apparaissant dans une formule (ou un ensemble de formules) et enregistre la valeur de vérité résultante de la formule pour chaque affectation.