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

Contenu supprimé Contenu ajouté
correction erreur
maintenance
Ligne 1 :
{{Exercice
| titre = Forme Normale Conjonctive
| idfaculté = mathématiques
| leçon = [[Logique (mathématiques)../../|Logique]]
| numéro = 2
| chapitre =
| niveau = 15
| titre précédent = [[../Forme Normale ConjonctiveDisjonctive/]]
| suivant = [[../Méthode de Quine/]]
}}
 
Ligne 28 :
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>.}}
 
{{Bas de page
[[Catégorie:Logique (mathématiques)]]
| idfaculté = mathématiques
| leçon = [[../../|Logique]]
| précédent = [[../Forme Normale Disjonctive/]]
| suivant = [[../Méthode de Quine/]]
}}