Buenas, estaba viendo la solución planteada para hacer la equivalencia, la dejo a continuación:
Yo la hice con el siguiente método, y quisiera saber si es correcto también plantearlo de esta manera:
¬(∀x)(¬P(z)ΛQ(y))
eq (Morgan generalizadas)
(∃x)¬(¬P(z)ΛQ(y))
eq (Morgan)
(∃x)(¬¬P(z)∨¬Q(y))
eq (doble negación)
(∃x)(P(z)∨¬Q(y))