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

Задача . Затухание (2023-24, 11)


Задача

Темы:
Упростите логическое выражение или укажите его результат (при его однозначности). Результат упрощения может содержать только операции инверсии, конъюнкции и дизъюнкции.
\((((((\bar A \land B) \leftrightarrow \bar C) \rightarrow C) \rightarrow ((( \bar B \land C) \leftrightarrow \bar D) \rightarrow D)) \rightarrow ((( \bar C \land D) \leftrightarrow \bar E ) \rightarrow E)) \rightarrow ((( \bar D \land E) \leftrightarrow \bar F) \rightarrow F)\)

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

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

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