To create our truth table for ~ (~ p→ ~ q), we first have to negate p and q. The truth value of a negation is the opposite of the truth value of the original statement.
p
~ p
q
~ q
T
F
T
F
T
F
F
T
F
T
T
F
F
T
F
T
Note that a conditional statement is only false when a true hypothesis produces a false conclusion. Also, to get ~(~ p→ ~ q) means negating the truth value of ~ p→ ~ q. With this, we can create our truth table.
