Is the statement 'p implies q' equivalent to 'not p or q'?
Only if q is False
No, never
Yes, always
Only if p is True