Démo de l'algorithme de mise en forme clausale

Formule à mettre en FNC :

Exemple : ~((p ^ (p -> q)) v ((r -> s) -> (~s -> ~r)))