|
Question 416484: I am lost, can anyone help?
Construct a truth table for (pV q) →~q
Answer by Edwin McCravy(20055)   (Show Source):
You can put this solution on YOUR website!
Rules:
1. ~ before a T makes it an F; ~ before an F makes it a T
2. V between two F's makes it a F, everything else makles it a T
3. → with a T on the left and an F on the right makes it an F; otherwise
it is a T
Put T's and F's under the letters p and q
(p V q) → ~q
T T T
T F F
F T T
F F F
Erase those and use rules to put T's and F's under the operators V and ~
(p V q) → ~q
T F
T T
T F
F T
Erase those, use the rules to put T's and F's under the operator →
(p V q) → ~q
F
T
F
T
Or do it this way:
p | q | p V q | ~q | (p V q) → ~q
T ! T ! T ! F | F
T ! F ! T ! T | T
F ! T ! T ! F | F
F ! F ! F ! T | T
Either way you get FTFT
Edwin
|
|
|
| |
