Question 3 (9 marks) You should be able to answer this question after you have studied Unit 6. Using the truth table below to support your arguments, identify and explain whether the well-formed formula (P-Q)-(-Q->-P) is: a) satisfiable b) contingent c) a tautology. P Q P Q -Q -P -Q -P (P-Q)-(-Q- -P) T T T F F T F F For full marks, your explanations for each of a), b) and c) above will need to include definitions of the terms