Aller au contenu principal
Chargement de l'exercice...
Débogage : une clause toujours vraie qu'on garde · Exercice Satisfiabilité booléenne · Plateforme ETS
Exercices
/
Satisfiabilité booléenne
/
Forme normale conjonctive
/
Débogage : une clause toujours vraie qu'on garde
Débogage
Solution
Réinitialiser
Exécuter
Chargement…
3 / 3
Fin
Initialisation de l'environnement…