[No. 33] Formules du calcul propositionnel: représentation, formes normales, satisfiabilité. Applications.

Plans pour cette leçon