2. Logic
Sign In
Now, we are ready to construct the table.
p | q | r | ¬q | ¬q∨r | p∧(¬q∨r) |
---|---|---|---|---|---|
T | T | T | F | T | T |
T | T | F | F | F | F |
T | F | T | T | T | T |
T | F | F | T | T | T |
F | T | T | F | T | F |
F | T | F | F | F | F |
F | F | T | T | T | F |
F | F | F | T | T | F |
Let's determine the truth value of Statement p∧(¬q∨r) given that Statement p and Statement r are true. We have two cases that satisfy the given condition.
p | q | r | ¬q | ¬q∨r | p∧(¬q∨r) |
---|---|---|---|---|---|
T | T | T | F | T | T |
T | F | T | T | T | T |
As we can see, in either case, p∧(¬q∨r) is true.