Олимпиадный тренинг

Задача . Зависимости


Задача

Темы:
Даны 3 логические функции:
A(X,Y,Z) = (X and Y → Z) ↔ (not X → Y and Z)
B(X,Y,Z) = (Y and Z → X) ↔ (not Y → X and Z)
C(X,Y,Z) = (X and Z → Y) ↔ (not Z → X and Y)
Найдите такую логическую функцию F(A,B,C) для которой будет выполняться тождество:
F(A(X,Y,Z),B(X,Y,Z),C(X,Y,Z))= X and (Z → Y) or Z and (X → Y)
В ответе запишите соответствующую функции F(A,B,C) формулу, которая может содержать логические переменные A, B и С и не более чем три логические операции. В качестве логических операций могут использоваться только операции отрицания, конъюнкции или дизъюнкции. Если таких функций не существует, запишите в ответ NULL. Если таких функций несколько, запишите в ответ формулу для любой из них. Комментарий по вводу ответа: операнды вводятся большими латинскими буквами; логические операции обозначаются, соответственно, как not, and и or. Запись не должна содержать скобок.
Пример записи ответа: A or not B.

time 1000 ms
memory 256 Mb
Правила оформления программ и список ошибок при автоматической проверке задач

Статистика успешных решений по компиляторам
Комментарий учителя