Thread: Truth Table Question

Originally Posted by ndcruz

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.

Here is the Final Answer!
Thanks for your verification & Explanation!