↓
Aller au contenu
Agreg Info
Écrits
Oraux
Leçons
Développements
Travaux pratiques
Modélisations
Ressources supplémentaires
À propos
Écrits
Oraux
Leçons
Développements
Travaux pratiques
Modélisations
Ressources supplémentaires
À propos
Algorithme de Quine
Propositions de mises en forme
Développement de Balthazar Patiachvili
Auteur :
Balthazar Patiachvili
Date de publication : 22 avril 2026
Développement au format PDF
Leçons où ce développement peut être utilisé
33 — Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.
↑