A 2 In the following, let y be the propositional formula p +9+p1q. (a) Draw the syntax tree of . [2 marks] (b) Use the recursive definition of [-l, to evaluate [V].. Make sure you provide the definitions of any auxillary functions that you use. What are the possible results of [P]. given various choices of o? [4 marks) (c) Find a formula that's logically equivalent to y. [2 marks] A 2 In the following, let y be the propositional formula p +9+p1q. (a) Draw the syntax tree of . [2 marks] (b) Use the recursive definition of [-l, to evaluate [V].. Make sure you provide the definitions of any auxillary functions that you use. What are the possible results of [P]. given various choices of o? [4 marks) (c) Find a formula that's logically equivalent to y. [2 marks]