Aller au contenu principal
Page
vive
Parcours
Exercices
Salle machine
Rechercher
Ctrl K
Logique et solveurs SAT
/
Forme normale conjonctive
/
Débogage : une clause toujours vraie qu'on garde
Débogage
Réinitialiser
Corrigé
Exécuter
Chargement…
3 / 3
Fin
Ouverture de l'exercice…