Hey, how can I convert this formula to Prenex form, (Ey P(x,y)) <=> (Ex Q(x,y) || ~\-/y, Ex R(y,x)) E means "there exists, suppose to be backwards E) ~ means NOT \-/ means FOR ALL || means OR
