Which of the following is logically equivalent to the implication k ⟹ mk \implies mk⟹m?
m ⟹ km \implies km⟹k
¬m ⟹ ¬k\neg m \implies \neg k¬m⟹¬k
¬k ⟹ ¬m\neg k \implies \neg m¬k⟹¬m
¬k∧m\neg k \land m¬k∧m