I am trying to construct a truth table for the statements 'P' and 'Q' - I am not told what these statements are so I guess they're random, anything ones, and I now need to construct a truth table for the statement:
(not P) or (not Q):
I did:
P...Q.....(not P)...(not Q).....(not P) or (not Q)
T...T........F...........F....................T
T...F........F...........T...................
F...T........T...........F..................
F...F........T...........T
That was my attempt at drawing a table, the very top line is the heading bit of the table, the rest are its "entries", which hopefully are in the right spaces, if you want me to clear it up, please ask
I am not sure what to put into the final (not P) or (not Q) column. Does this column mean that you want either (not P) to be true OR (not Q) to be true, as P and Q are both true, from the first 2 columns?
I am not too sure what I am looking for to put into the final column?
If you want to know the exact question, it is from Peter J. Eccles's "An introduction to mathematical reasoning", in chapter one, exercises 1.2.
Thank you
Hello, ironz!
It sounds like this is your first truth table . . . is it?
You are off to a good start.
Your initial set-up is correct:
. .
Now you want an "or" between columns 3 and 4.
You're expected to when an "or" (disjunction) is true.
. . . . .
Now you can complete the fifth column:
. .
Yes, this is my first one lol.
I still don't understand how you got the answers for the final column. What are you looking for? Is it because the bottom 3 have a TRUE in them and as it is either one OR the other, you only need one TRUE to make the whole statement true. But the first one has both of them as FALSE and so there are no TRUE statements here.