Thread: Constructing truth tables?

how would you construct a truth table for these compound proposition? im so confused

(a) if P then ((notP) and Q)

(b) P and ((not P) and Q)

(c) (not P) or (not Q)

All of those have two variables in them, which means you need rows in the table. In general, if you have variables, you need rows. I'll start you off on the first one. I tend to build up truth tables from smaller chunks of the expression:



Do you see how to continue?

Thanks so much, but what I don't understand is when it says "not" "and" "or" what does it mean?

Originally Posted by Cockchestner007

Thanks so much, but what I don't understand is when it says "not" "and" "or" what does it mean?

Go to this web site and play around with various examples.
Change to just 'p and q'. Then to 'p or q' etc.