Помогите, пожалуйста, по действиям упростить логическое выражение.

Question

Лана Солодова Ученик (95), на голосовании 1 месяц назад

¬(x∨y)∨¬((y⇒(x∧y⇒¬x∧y))⇒y)

Я не понимаю, как это упростить. Ответ у меня просто не сходится.
Результат выражения должен быть равен ¬y.

Answer 1

Ну.... У меня на твой вопрос есть вопрос: это вообще ШТА?