CONSIDERE LA EXPRESION. TRASLADAR TODOS LOS CUANTIFICADORES UNIVERSALES AL COMIENZO DE ESTA EXPRESION.
SOLUCION
∃xP(x) ^ ∃x(Q(x) ^ P(x)) = ∃yP(y) ^ ∃x(Q(x) ^ P(x)) = ∃y∃x(P(y) ^ Q(x) ^ P(x))