« Logique (mathématiques)/Exercices/Forme Normale Disjonctive » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) |
|||
Ligne 106 :
=== Partie B ===
Soit <math>\psi = (x \iff \neg z) \or (\neg x \iff y)</math>.
# Construire la table de vérité de cette fonction
| |||