« Logique (mathématiques)/Exercices/Méthode de Quine » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) |
m Bot: Mise à jour des codes texvc par des équivalentes LaTeX (documentation) |
||
Ligne 9 :
=== L'exercice ===
Soit la formule : <math>\phi = (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).
Ligne 26 :
</math>
<br />La forme normale disjonctive est donc :
<math>FND \equiv (\neg A) \
<br />
* Les contre-modèles sont les branches où l’on obtient "0", ici, il n'y en a qu'un :
Ligne 35 :
</math>
<br />La forme normale conjonctive est donc :
<math>FNC \equiv (\neg A) \
}}
| |||