Question 185647
Note: the symbol '^' means "and", the '~' means "not" and '->' means "implies"


Remember, a ^ b is ONLY true if BOTH a and b are true (otherwise it is false)


For ~a, simply negate any true statements to get a false (and vice versa)


Finally, keep in mind that a -> b (a implies b) is only false if "a" is true but "b" is false.


Here's the basic outline of the table, let me know if you need me to go in depth for any column

<pre>


p   |   q   |   ~q   |   ~q ^ p   |  (~q ^ p) ->  ~q
----------------------------------------------------
T   |   T   |   F    |      F     |        T
T   |   F   |   T    |      T     |        T
F   |   T   |   F    |      F     |        T
F   |   F   |   T    |      F     |        T


</pre>