Logique propositionnelle, P, NP

Fondements de Logique pour l'Informatique ... 4 Exercices corrigés ... comment attribuer une valeur de vérité à ces énoncés (logiques), et les liens.