q^~q is always F as it is a contradiction. So we look at two rows in the truth table for p -> q. The rows are: T F F and F F T. (p is true, q is false gives (p -> q) is false. p is false, q is false gives (p -> q) is true.) So p -> (q^~q) is true if and only if p is false.