Logique et solveurs SAT
Exercices corrigés : Logique propositionnelle
Compter les modèles d'une formule, et ce que l'implication ne dit pas.
2 exercices, corrigés dans la page, sans compte à créer.
Cette notion fait partie du cours de Logique et solveurs SAT, dont les autres notions sont dans les exercices corrigés de Logique et solveurs SAT. Tous les parcours sont dans la bibliothèque.