33 — Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.

Liste de tous les développements proposés pour cette leçon

• Algorithme de Quine