Дискретная математика: привести предикат в приведённую форму

привести предикат в приведённую форму
(∃x ∀y P(y, z, t) | R(x, y, z)) ∨ ∃y T(x, y, t)
привести предикат в приведённую нормальную форму
(∀x ∀y T(x, y, t) ↓ ∃x P(x, y)) | R(x, y, z)