The negation of an implication is a conjunction:
That is, the only way for an implication to be false is for the hypothesis to be true AND the conclusion to be false.