Satisfiabilité booléenne
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 Satisfiabilité booléenne, dont les autres notions sont dans les exercices corrigés de Satisfiabilité booléenne. Tous les parcours sont dans la bibliothèque.