Convertissez l'expression suivante en Forme Normale Conjonctive (FNC) :

(A → B) ∧ (C ∨ D)

La FNC est une conjonction de clauses, où chaque clause est une disjonction de littéraux.