p /\ ~p