Logique Propositionnelle Incomplète. Il reste des trucs à compléter.
Merge pull request #1 from yjeandavid/master

Logique Propositionnelle Incomplète. Il reste des trucs à compléter.