2. Logic
Sign In
In order to construct the table, we need to remember three things.
Truth Value: See solution.
p | q | r | ¬q | ¬r | (¬q∧¬r) | p∨(¬q∧¬r) |
---|---|---|---|---|---|---|
T | T | T | F | F | F | T |
T | T | F | F | T | F | T |
T | F | T | T | F | F | T |
T | F | F | T | T | T | T |
F | T | T | F | F | F | F |
F | T | F | F | T | F | F |
F | F | T | T | F | F | F |
F | F | F | T | T | T | T |
Now, we are ready to construct the table.
p | q | r | ¬q | ¬r | (¬q∧¬r) | p∨(¬q∧¬r) |
---|---|---|---|---|---|---|
T | T | T | F | F | F | T |
T | T | F | F | T | F | T |
T | F | T | T | F | F | T |
T | F | F | T | T | T | T |
F | T | T | F | F | F | F |
F | T | F | F | T | F | F |
F | F | T | T | F | F | F |
F | F | F | T | T | T | T |
Let's determine the truth value of statement (¬p∨q) ∧r given that statement p, statement q, and statement r are true. We have one case that satisfies the given condition.
p | q | r | ¬q | ¬r | (¬q∧¬r) | (¬p∨q) ∧r |
---|---|---|---|---|---|---|
T | T | T | F | F | F | T |
As we can see, in this case, (¬p∨q) ∧r is true.