[LO5] 5.2.1. & 5.2.3. Forme clausale équivalente  et format DIMACS
Channel: Sylvain Schmitz
Date: 22/09/2020

Description de la forme normale conjonctive et sa présentation sous forme clausale et au format DIMACS.

⚠ erreur sur le tableau dans la syntaxe abstraite des formules sous forme normale conjonctive, qui est :

  φ ::= C | φ ∧ φ  (formules en forme normale conjonctive)
  C ::= ℓ |  C ∨ C   (clauses)
  ℓ ::= P | ¬P         (littéraux)
pour des propositions P tirées de 𝓟₀.