Q2. For this question, you will prove in two ways that the propositions P and Q, given below, are logically equivalent. P: (WVX)>Y Q: (W>Y)/\\(X>Y) (a) [3 points] Use an appropriate truth table to verify that P E Q. Make sure you briey explain how your truth table demonstrates that P E Q. (Q2 continued) (b) [3 points] Use the Laws from the Table of Logical Equivalences to prove that P E Q. You may use one (and only one!) law at each step, and you must write the name of the law used at each step. (c) [2 point] Let X be a compound proposition consisting of propositional variables 1), q, and 7*. Suppose that X is true if and only if exactly one of p, q, and r is false. Give a disjunctive normal form (DNF) of X. You do not need to justify your answer for this part