I'm doing an exercise in Mathematical Methods in Linguistics, Chapter 7, page 54.
The task is to convert ∃x[P(x)∧∀y[B(y)→L(x,y)]] to its Prenex Normal Form. I followed the laws and the steps given in the book and get the expected result. But it's still unclear to me how to solve such a question alone. I mean, I know that the ultimate goal is to move all the quantifiers to the beginning. But I'm not clear what the guideline of applying rules is.