p^(~p v q)
Put TTFF under the p's and TFTF under the q
p^(~p v q)
T T T
T T F
F F T
F F F
Under the ~ before the second p, put the opposite of what
is under the second p and erase what was under the 2nd p"
p^(~p v q)
T F T
T F F
F T T
F T F
Under the v, put F only if there are F's on BOTH sides of it,
otherwise put T. Then erase what is on both sides of it:
p^(~p v q)
T T
T F
F T
F T
Under the ^, put T only if there are T's on BOTH sides of it,
otherwise put F. Then erase what is on both sides of it:
p^(~p v q)
T
F
F
F
So the truth table ends up TFFF, which means it's true only when
both p and q are true, otherwise it's false.
Edwin
