Entrée
¬ x
(x ∧ y)
(x ↔ y)
{A,¬B}
{{A,¬B},{A,B}}
plus ...
sur
formule
(ensemble de) clause(s) disjonctive(s)
(ensemble de) clause(s) conjonctive(s)
calme
verbeux
très verbeux
