« Logique (mathématiques)/Exercices/Forme Normale Conjonctive » : différence entre les versions
Contenu supprimé Contenu ajouté
m relecture |
m Robot : Changement de type cosmétique |
||
Ligne 25 :
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)]]
| |||