Logique et solveurs SAT
Exercices corrigés : Forme normale conjonctive
Descendre une négation, repérer les littéraux purs et les clauses inutiles.
3 exercices, corrigés dans la page, sans compte à créer.
- Faire descendre une négationAccessible
- Trouver les littéraux pursIntermédiaire
- Débogage : une clause toujours vraie qu'on gardeIntermédiaire
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.