The answer is p v q and some other one, I haven't done logic in 2 years already, so I don't know the other one. BUT, if p is true, then p v q HAS to be true because if one of the statements, p or q, is true, then p v q is true. For or statements to be true, at least one of the statements included has to be true.
