Let p and q be two statements. If truth value of p→(~p∨q) is F, then truth values of p, q are respectively;
F,F
T,F
F,T
T,T
As p→(~p∨q) has truth value F, p must be
T and ~p∨q must be F. As ~p is F,q must be F
Thus, truth values of p and q are respectively T and F.