Question 2 20 pts (a) Using logical equivalence rules determine whether or not (-p/(p→q))→q is a tautology. (Show your work step by step and also mention the name of the equivalence rule at each step.) (b) Using logical equivalence rules determine whether or not-(pv-p^q)) and (-p-a) are logically equivalent. (Show your work step by step and also mention the name of the equivalence rule at each step.)