« Logique (mathématiques)/Exercices/Forme Normale Disjonctive » : différence entre les versions

Contenu supprimé Contenu ajouté
m (attention j'ai failli tout perdre !)
m mise en forme
Ligne 100 :
 
 
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 175 ⟶ 176 :
|}
 
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>