Упростите логическое выражение или укажите его результат (при его однозначности). Результат упрощения может содержать только операции инверсии, конъюнкции и дизъюнкции.
(notY→X)and(notX→Y)and(X↔Y)
Комментарий по вводу ответа: операнды вводятся большими латинскими буквами; логические операции обозначаются, соответственно, как not, and и or.
Скобки используются только для изменения порядка выполнения операций. Если порядок выполнения операций очевиден из их приоритетов – дополнительное использование скобок считается ошибкой.
При однозначном ответе – истинный ответ обозначается как 1, а ложный как 0.
Пример записи ответа: (A or not B) and C