Say I want to transform a term in to disjunctive normal form; $$((\neg p \land \neg r) \lor q) \land ( \neg r \lor p)$$
Then what is the next step? I keep going round in circles. Do I do $$((\neg r \land ((\neg p \land \neg r) \lor q) \lor (p \land ((\neg p \land \neg r) \lor q))?$$
Yes, that would be good: just keep distributing any $\land $ over $\lor$ and you'll get there. In fact, you're just two such distributions away from it being in DNF