Simplifying the equation of mathematical logic?

Question

Mathematics

Hello, I understand that the question is so-so, but help simplify the digital equation.
¬ (x ˅ y) → ¬ (x → y ) ˅ y The
teacher told me that I was doing the simplification incorrectly, but he did not say how correctly. I want to see an example of correct simplification.

ps this is not my equation, but a sample from the textbook.

Answer 1

To the right of the arrow, you need to transform like this
¬ (x → y )
¬ (¬x ˅ y )
(x & ¬y) ˅ y
(x ˅ y) & (¬y ˅ y)
(x ˅ y) & 1
x ˅ y
total
¬ (x ˅ y) → x ˅ y
(x ˅ y) ˅ (x ˅ y)
x ˅
y