« 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>\neg (\neg x \and \neg y \and \neg z) \equiv x \or y \or z</math>
 
<math>x \and y \and z</math> devient :
:<math>\neg (x \and y \and z) \equiv \neg x \or \neg y \or \neg z</math>
 
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>.}}