Logique (mathématiques)/Exercices/Forme Normale Conjonctive
Reprendre la table de vérité de l'exercice 1, partie B :
- Donner directement la FNC.
Solution
Méthode
- Conserver les lignes de cette table dont
- Comme pour la FND, relier les variables entre elles par une ou plusieurs disjonctions :
- Ligne 1 du tableau :
- Ligne 8 du tableau :
- Inverser chaque contexte et relier les nouvelles expressions entre elles par une conjonction :
devient :
devient :
Donc la FNC canonique de est .