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

Contenu supprimé Contenu ajouté
m Bot: Mise à jour des codes texvc par des équivalentes LaTeX (documentation)
 
Ligne 190 :
<math>
\begin{align}
\psi & = (x \iff \neg z) \lor (\neg x \iff y) \\
& \equiv (x \Rightarrow \neg z) \land (\neg z \Rightarrow x) \lor (\neg x \Rightarrow y) \land (y \Rightarrow \neg x) \\
& \equiv (\neg x \land z) \lor (\neg x \land x) \lor (\neg z \land z) \lor (\neg z \land x) \lor (x \land \neg y) \lor (x \land \neg x) \lor (y \land \neg y) \lor (y \land \neg x) \\