Используя законы логики, упростите данное выражение: ¬(X∧(¬X∧¬Y))

нулю равно не может быть, я сделал преобразования, но преподаватель сказал что не полностью. я использовал закон де Моргана и закон двойного отрицания и получил ¬X ∨ X ∨ Y, но оно не до конца(по словам преподавателя), не знаю что дальше делать.

если можно, какие законы логики были использованы для каждого преобразования!?

1 . Закон ассоциативности при раскрытии скобок. 2. Закон операций с переменной и ее инверсией при конъюнкции х и "не" х. 3. Закон умножения на ноль и единицу.