« Logique (mathématiques)/Exercices/Forme Normale Conjonctive » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot: Mise à jour des codes texvc par des équivalentes LaTeX (documentation) |
m Orth. |
||
Ligne 16 :
''Méthode''
* Conserver les lignes de cette table dont <math>\psi = 0</math>
* Comme pour la FND, relier les variables
:Ligne 1 du tableau : <math>\neg x \land \neg y \land \neg z</math>
:Ligne 8 du tableau : <math>x \land y \land z</math>
|