« Logique (mathématiques)/Exercices/Forme Normale Conjonctive » : différence entre les versions
Contenu supprimé Contenu ajouté
mAucun résumé des modifications |
m Robot : Remplacement de texte automatisé (-\:*\<math\> +<math>) |
||
Ligne 21 :
* Inverser chaque contexte et relier les nouvelles expressions entre elles par une conjonction :
<math>\neg x \and \neg y \and \neg z</math> devient :
<math>x \and y \and z</math> devient :
Donc la FNC canonique de <math>\psi</math> est <math>(x \or y \or z) \and (\neg x \or \neg y \or \neg z)</math>.}}
|