Wikiversité

« Logique (mathématiques)/Exercices/Forme Normale Conjonctive » : différence entre les versions

Navigation interactive dans l’historique
← Modification précédenteModification suivante →
Contenu supprimé Contenu ajouté
VisuelWikicode
m Lydie Noria a déplacé la page Logique (mathématiques)/Exercice/Forme Normale Conjonctive vers Logique (mathématiques)/Exercices/Forme Normale Conjonctive sans laisser de redirection : Normalisation du titre
m Bot: Mise à jour des codes texvc par des équivalentes LaTeX (documentation)
Ligne 17 :
* Conserver les lignes de cette table dont <math>\psi = 0</math>
* Comme pour la FND, relier les variables entres elles par une ou plusieurs disjonctions :
:Ligne 1 du tableau : <math>\neg x \andland \neg y \andland \neg z</math>
:Ligne 8 du tableau : <math>x \andland y \andland z</math>
* Inverser chaque contexte et relier les nouvelles expressions entre elles par une conjonction :
<math>\neg x \andland \neg y \andland \neg z</math> devient :
<math>\neg (\neg x \andland \neg y \andland \neg z) \equiv x \orlor y \orlor z</math>
 
<math>x \andland y \andland z</math> devient :
<math>\neg (x \andland y \andland z) \equiv \neg x \orlor \neg y \orlor \neg z</math>
 
Donc la FNC canonique de <math>\psi</math> est <math>(x \orlor y \orlor z) \andland (\neg x \orlor \neg y \orlor \neg z)</math>.}}
 
{{Bas de page
Récupérée de « https://fr.wikiversity.org/wiki/Logique_(mathématiques)/Exercices/Forme_Normale_Conjonctive »