Which of the following expressions is logically equivalent to X ⟹ YX \implies YX⟹Y?
¬X ⟹ ¬Y\neg X \implies \neg Y¬X⟹¬Y
¬Y ⟹ ¬X\neg Y \implies \neg X¬Y⟹¬X
Y ⟹ XY \implies XY⟹X
¬Y∨X\neg Y \lor X¬Y∨X