« Logique (mathématiques)/Exercices/Forme Normale Disjonctive » : différence entre les versions
Contenu supprimé Contenu ajouté
mAucun résumé des modifications |
|||
Ligne 183 :
* À l'aide de transformations équivalentes successives, retrouver la FND de <math>\psi</math>.
{{
<math>
\begin{align}
Ligne 194 :
& \equiv (\neg x \and z \and y) \or (\neg x \and z \and \neg y) \or (\neg z \and x \and y) \or (\neg z \and x \and \neg y) \or (x \and \neg y \and z) \or (y \and \neg x \and \neg z)
\end{align}
</math>}}
[[Catégorie:Logique (fondement des mathématiques)]]
|