Logique (mathématiques)/Exercices/Forme Normale Disjonctive

Partie A

Soit $\varphi =\mathrm{\neg }(x\wedge y\wedge z)\wedge (x\wedge y\vee x\wedge z\vee y\wedge z)$.

1. Construire la table de vérité de cette fonction
2. Conserver les contextes de cette table où $\varphi =1$

Partie B

Soit $\psi =(x⟺\mathrm{\neg }z)\vee (\mathrm{\neg }x⟺y)$.

1. Construire la table de vérité de cette fonction
2. Conserver les contextes de cette table où $\psi =1$

Partie C

Reprendre la formule $\psi$ de la partie B :

• À l'aide de transformations équivalentes successives, retrouver la FND de $\psi$.