7. Use truth tables to show that the following pairs of expressions are logicaly equivalent a, p q and (p q) ^ (q p) Below are the steps of a proof showing that two logical expressions are logically equivalent. Label each of the steps below with the law of propositional logic used. (The first step, i, doesn't need a "law label, as it's just our starting point.) 8. Starting point v. q 4