Logique (mathématiques)/Exercices/Méthode de Quine

L'exercice

Soit la formule : $\varphi =(A\wedge (B\to \mathrm{\neg }(A\vee C)))\to (C\vee \mathrm{\neg }A)$.

• Calculez ses formes normales disjonctive et conjonctive quelconques (pas obligatoirement canonique) par la méthode de Quine (via ses modèles et contre-modèles).