Question 1176915
<pre>

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