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

Задача . Бей крота (2024-25, 9-10)


Задача

Темы:
Упростите логическое выражение или укажите его результат (при его однозначности).
\(𝐴 \land 𝐵 \land 𝐶 \lor 𝐴 \land \bar B \land 𝐶 \lor 𝐴 \land 𝐵 \land \bar C \lor 𝐴\land \bar B \land \bar C \lor \bar A \land \bar B \land 𝐶 \lor \bar A \land \bar B \land \bar C\)

Результат упрощения может содержать только операнды, операции инверсии, конъюнкции и дизъюнкции и не должен содержать скобок. Будем считать выражение упрощенным, если не существует эквивалентного ему выражения, содержащего меньшее количество логических операций и скобок.

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

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

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