« Logique (mathématiques)/Exercices/Forme Normale Disjonctive » : différence entre les versions
Contenu supprimé Contenu ajouté
→Partie B : maintenance |
m Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) |
||
Ligne 8 :
}}
=== Partie A ===
Soit <math>\phi = \neg(x \and y \and z) \and (x \and y \or x \and z \or y \and z)</math>.
Ligne 104 :
}}
=== Partie B ===
Soit <math>\psi = (x \iff z) \or (\neg x \iff y)</math>.
Ligne 181 :
}}
=== Partie C ===
Reprendre la formule <math>\psi</math> de la partie B :
| |||