How can the statement "p implies q" be expressed in an equivalent form using the logical operator "or" and the negation of "p"?