1. Verify using truth tables that the following laws hold. a. (p- q) = (-pvq) b. -(pq) = (-pv- q) 2. Verify using truth tables that the following statements are tautology. a. pv-p b. [pa (p - q)] - q 3. (a) Express the following argument symbolically, and use a truth table to determine its valid: If Bruce goes to movies, he always gets a large popcorn. Either Mary goes to the movies, or Bruce to the movies. Mary will not go to the movies. Therefore, Bruce gets a large popcorn. (b) Use the laws of logic to determine the following statements is a tautology, contradiction or neither. Do not solve using a truth table. (p q) - (pv(qar))