construct a truth table for p_____> ~q