Exercise 1 below is a proof showing that two logical expressions are logically equivalent. label the steps in the proof with the law used to obtain each proposition from the previous proposition. the first line in the proof does not have a label. (p →9)(qv) (p v a) ^ (qv) (q vap) ^ ( v p) qv(pap) qv (p 4-p) qvf