Упростите логическое выражение или укажите его результат(при его однозначности). Результат упрощения может содержать только операции инверсии, конъюнкции и дизъюнкции.
((Х and (X →Y))→Y)and(X and not Y) and (Y→X)

Комментарий по поводу ответа: операнды вводятся большими латинскими буквами; логические операции обозначаются, соответственно, как not, and, or.
Скобки используйте только для изменения порядка выполнения операций. Если порядок выполненияо операций очевиден из их приоритетов - дополнительное использование скобок считается ошибкой.
При однозначном ответе - истинный обозначается 1, ложный - 0.