3-SAT

Propositions de mises en forme

Leçons où ce développement peut être utilisé

• 31 — Classes P et NP. Problèmes NP-complets. Exemples.
• 33 — Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.