Use a truth table to determine whether ~ ( p → q ) is logically
equivalent to ~ q → p. (Each column should show only one
operation.)