Про логическую функцию от трех переменных A, B и C известно следующее:
1. Если (A xor B) примет значение «истина», то функция примет такое же значение как (not B or not C).
2. Если (A xor C) примет значение «истина», то функция примет такое же значение как (C→A and B).
3. Если (B xor C) примет значение «ложь», то функция примет такое же значение как (A or not B).
Найдите эту функцию и запишите в ответ максимально упрощенную формулу для этой функции, содержащую только операции инверсии, конъюнкции и дизъюнкции. Запись может содержать скобки. Будем считать формулу максимально упрощенной, если не существует эквивалентной ей формулы, содержащей меньшее количество логических операций.
Комментарий по вводу ответа: операнды вводятся большими латинскими буквами; логические операции обозначаются, соответственно как not, and и or.
Скобки используются только для изменения порядка выполнения операций. Если порядок выполнения операций очевиден из их приоритетов – дополнительное использование скобок считается ошибкой.
Пример записи ответа: (A or not B) and C