« Logique (mathématiques)/Exercices/Forme Normale Conjonctive » : différence entre les versions
Contenu supprimé Contenu ajouté
m a renommé Fondements des mathématiques/La logique/Exercice/Forme Normale Conjonctive en Logique (mathématiques)/Exercice/Forme Normale Conjonctive : Cours à part entier |
m Update navchap, recat |
||
Ligne 2 :
| titre = Forme Normale Conjonctive
| idfaculté = mathématiques
| leçon = [[
| numero = 2
| chapitre =
Ligne 27 :
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 (
|