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

Liste des plans proposés

• Plan de Florent Krasnopol (#33_0000)
  
  • Développements
  • Remarques
  • Références

Liste de tous les développements proposés

Note : certains développements peuvent être proposés sans faire directement référence à un plan.

• Algorithme de Quine par Balthazar Patiachvili (#00033)
  

  Utilisable dans les leçons : 33
  Références :

Voir la liste complète des développements proposés