Aller au contenu principal
Chargement de l'exercice...
La propagation unitaire · Exercice Satisfiabilité booléenne · Plateforme ETS
Exercices
/
Satisfiabilité booléenne
/
Résolution et propagation
/
La propagation unitaire
Solution
Réinitialiser
Exécuter
Chargement…
2 / 3
Suivant
Initialisation de l'environnement…