« Logique (mathématiques)/Exercices/Forme Normale Disjonctive » : différence entre les versions
Contenu supprimé Contenu ajouté
maintenance |
maintenance |
||
Ligne 15 :
# Conserver les contextes de cette table où <math>\phi = 1</math>
| contenu =
{
! <math>x</math>▼
{{!}} <math>
{{!}} <math>
{{!}} <math>
{{!}} <math>\neg (x \and y \and z)</math>
{{!}} <math>x \and
{{!}} <math>
{{!}} <math>y \
{{!}} 0
{{!}} 1
{{!}} 0
{{!}}-
{{!}} 0
{{!}} 1
{{!}} 0
{{!}} 0
{{!}} 1
{{!}} 0
{{!}} 1
{{!}} 0
{{!}}-
{{!}} 0
{{!}} 1
{{!}} 0
{{!}} 1
{{!}} 1
{{!}} 0
{{!}} 1
{{!}} 0
{{!}}-
{{!}} 1
{{!}} 0
{{!}} 1
{{!}} 0
{{!}} 1
{{!}} 0
{{!}} 1
{{!}} 1
{{!}} 0
{{!}} 1
{{!}} 0
{{!}} 1
{{!}}-
{{!}} 1
{{!}} 0
{{!}} 1
{{!}} 0
|}▼
{{!}}}
La FND de <math>\phi</math> est <math>(\neg x \and y \and z) \or (x \and \neg y \and z) \or (x \and y \and \neg z)</math>
=== Partie B ===
Ligne 110 ⟶ 111 :
# Conserver les contextes de cette table où <math>\psi = 1</math>
| contenu =
{| class="wikitable"
! <math>x</math>
Ligne 177 ⟶ 179 :
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>
}}
=== Partie C ===
| |||