Logique (mathématiques)/Exercices/Méthode de Quine
L'exercice
modifierSoit la formule : .
- 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).
Solution
- Les modèles sont les branches où l’on obtient "1" :
La forme normale disjonctive est donc :
- Les contre-modèles sont les branches où l’on obtient "0", ici, il n'y en a qu'un :
La forme normale conjonctive est donc :