If p and q are both true, then

is an implication of the form

which is true, because every implication starting with false is true, i.e.

So, we're looking for an expression evaluating to true. Let's see what we have:
A) is an AND proposition. Logical AND is true only if both parts are true. So, you have

So it's not the right option.
B) is an OR proposition. Logical OR is true whenever one of the two parts is true. So, you have

So it's not the right option.
C) is again an AND proposition. You have

So this is not the right option.
D) Finally, the last one is again an implication, and again it starts with false:

So this is true, and thus is the correct option.