Recall for A-->B A B A-->B (logically equivalent to ~A v B) --- --- ------- T T T T F F F T T F F T p q ~q (p v ~q) ~p (p v ~q) --> ~p --- --- --- -------- --- --------------- T T F T F F T F T T F F F T F F T T F F T T T T