Use laws of logic to simplify the expression: (p^ q) → (p V q). State which law you used at each step.