Thread: truth table problem

How can I use truth table to show that ~( p -> q ) = p ^ ~q ? Please help! Thank you.

Originally Posted by rmiller0307

How can I use truth table to show that ~( p -> q ) = p ^ ~q ? Please help! Thank you.

like this:

fill in all the missing truth-values. you want to verify that the last two columns are identical

I skipped a few little steps, like I didn't have the columns for the truth values of ~p and ~q. Let me know if this is clear enough. If you have any questions let me know.

The conditional statement is only false when the premise is true and the conclusion is false.