answer:

"a implies b" is the same as "(not a) or b"