Méthode des Tables de Vérité

Une technique sémantique et exhaustive pour les formules propositionnelles qui énumère toutes les attributions possibles de valeurs de vérité aux propositions atomiques et évalue la formule sous chaque attribution pour déterminer validité, satisfaisabilité ou équivalence.