I. Construct a truth table for ~(~P & ~Q).
II. Construct a truth table for (P v Q).
For an idea of what a more complicated truth table should look
like, here is the truth table for ~(P & ~Q).
P Q ~Q (P & ~Q) ~(P & ~Q)
---------------------------------
T T F F T
T F T T F
F T F F T
F F T F T
Notice that I separate each part of the expression that has its own
truth value. Doing that makes the truth table clearer. Please do the same
when you construct your truth tables.
converted with guide2html by Kochtopf