Question 628777
p    q     ~p     ~q     ~p->~q
0    0       1     1    1
0    1       1     0    0
1    0       0     1    1 
1    1       0     0    1