2. (16 pts total) Consider the following formula, and standard precedence: FqA(r Vp) VSA (w Vr) (a) (4 pts) Draw the derivation tree based on the grammar in 2.1.6, definition 2.13. (b) (3 pts) Draw the formation tree. (c) (6 pts) which of the following are subformulae of F? SAW Vr W Vr (r V-p) Vs q^(rvp) VS SA (w Vr) (d) (3 pts) Draw the formation tree that results from the substitution of w V x A y for w vrin Fi