Is there any strategy when dealing with this kind of questions (e.g. some rules is likely to be used first)?

Show that the following two propositions are logically equivalent by devel- oping series of logical equivalences. (1) ((+9) + (q + r)) + (p+r)) p (ii) ((p^q) +p) ^ (s ^ (r V s)) S