SOLUTION: construct a truth table for: ( ~ p ^ q ) --> (~ q ˇ p)

=====================================================================
  p  | ~p  |  q  |  ~q  | (~p & q) | (~q V p) | (~p & q)  (~q V p)
---------------------------------------------------------------------
  T  |  F  |  T  |   F  |     F    |     T    |          T
  T  |  F  |  F  |   T  |     F    |     T    |          T
  F  |  T  |  T  |   F  |     T    |     F    |          F
  F  |  T  |  F  |   T  |     F    |     T    |          T 

An "and" statement is true ONLY if both premises are true


An "or" statement is false ONLY if both premises are false


A conditional statement is false ONLY if the antecedent is true and the consequent is nevertheless false.

I > Ø