SOLUTION: Construct a truth table for (~q^p) -> ~q Can you please assist me wit this, i don't even know where to start.

Algebra ->  Conjunction -> SOLUTION: Construct a truth table for (~q^p) -> ~q Can you please assist me wit this, i don't even know where to start.       Log On


   

Question 185647This question is from textbook A Survey of Mathematics with Application
: Construct a truth table for (~q^p) -> ~q

Can you please assist me wit this, i don't even know where to start.
 This question is from textbook A Survey of Mathematics with Application

Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
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 


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