Make a truth table for each, and then compare: p q ~pVq p—>q — —- ———- ——— F F T T F T T T T F F F T T T T