« Logique (mathématiques)/Exercices/Forme Normale Conjonctive » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Changement de type cosmétique |
m mise en page |
||
Ligne 1 :
{{Exercice
| titre = Forme Normale Conjonctive
| idfaculté = mathématiques
| leçon = [[Fondements des mathématiques/La logique|La logique]]
| numero = 2
| chapitre =
| niveau =
}}
Reprendre la table de vérité de l'exercice 1, partie B :
{{boîte déroulante|titre = Solution|contenu = ▼
{{clr}}
Méthode▼
▲''Méthode''
* 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 23 ⟶ 25 :
:<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>.}}
[[Catégorie:Logique (fondement des mathématiques)]]
| |||