Answer:
Always.
Step-by-step explanation:
If p is true and q is false, the p -> q is never true.
The logic gates are used here.
Here, the symbol -> is for implication. Implication p-> q means that if p is true then q must be true.
So let us look at all the questions one by one.
If p is true and q is false, the p -> q is always, sometimes, never true.
p -> q
true -> false
The true should imply true so the given statement will never be true.