« Logique (mathématiques)/Exercices/Forme Normale Disjonctive » : différence entre les versions
Contenu supprimé Contenu ajouté
maintenance |
→Partie B : maintenance |
||
Ligne 113 :
{{Solution
| contenu =
{
{{!}} <math>x</math>
{{!}} <math>y</math>
{{!}} <math>z</math>
{{!}} <math>x \iff \neg z</math>
{{!}} <math>\neg x \iff y</math>
{{!}} <math>\psi</math>
{{!}}-
{{!}}-
{{!}}-
{{!}}-
{{!}}}
La FND de <math>\psi</math> est <math>(\neg x \and \neg y \and z) \or (\neg x \and y \and \neg z) \or (\neg x \and y \and z) \or (x \and \neg y \and \neg z) \or (x \and \neg y \and z) \or (x \and y \and \neg z)</math>
| |||