(2 points) For the following proof (of equivalence of 2 formulae) provide the justifications at each step, using the following equivalences. Use the following key: e000 Idempotent Law Double Negation De Morgan's Law Commutative Properties Associative Properties Distributive Properties g Equivalence of Contrapositive Definition of Implication i Definition of Equivalence j Identity Laws (p V F = p^T = p) k Tautology (p V p = T) 1 Contradiction (p 1 p = F) (1219) A (p Vq) = (-(-p) V q) (p V q) by PV (91-9) by f = p V (919) byb = (p V-7) 1 (p V q) byc = p V F by i = p by j