You can
put this solution on YOUR website!
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