trasformare formula in DNF

[lucame89]

Trasformare \( \displaystyle \alpha \) in DNF mediante equivalenze logiche.

\( \displaystyle \alpha \) = \( \displaystyle {\left({x}\vee\neg{\left({y}\rightarrow{z}\right)}\right)}\wedge{\left({x}\rightarrow{\left({y}\vee{z}\right)}\right)} \)

Ho prima eliminato le \( \displaystyle \rightarrow \) ottenendo:

\( \displaystyle {\left({x}\vee\neg{\left(\neg{y}\vee{z}\right)}\right)}\wedge{\left(\neg{x}\vee{\left({y}\vee{z}\right)}\right)} \)

\( \displaystyle {\left({x}\vee{y}\wedge\neg{z}\right)}\wedge{\left(\neg{x}\vee{y}\vee{z}\right)} \)

arrivato a questo punto posso eliminare le parentesi??la formula è una DNF??
Grazie anticipatamente