http://img73.imageshack.us/img73/6729/truthkm2.png

Printable View

- Nov 3rd 2008, 11:40 AMndcruzTruth Table Question
- Nov 3rd 2008, 12:18 PMsuperevilcube
Okay, for the column that is (p ^ q). This means that p is true and q is true, so it will be:

F

T

F

F.

An implication P => Q is only false if the premise is true and the conclusion is false. So the table for p => (not)q is:

T (If q is false then (not)q is true).

F (if q is true then (not)q is false, thus the implication is false)

T (since a false implies anything)

T (since a false implies anything).

You can construct the last table by looking at the previous two tables. If both are true, then your table should have a T in that section. For any two statements P and Q, P ^ Q is true when both P and Q are true. If one is false, then the statement P ^ Q is false. - Nov 3rd 2008, 12:30 PMndcruz
http://img204.imageshack.us/img204/4615/fnltblmb5.png

Here is the Final Answer!

Thanks for your verification & Explanation! (Cool)