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

Задача . Трое из ларца (2022-23, 9-10)


Задача

Темы:
Упростите логическое выражение или укажите его результат (при его однозначности). Результат упрощения может содержать только операции инверсии, конъюнкции и дизъюнкции и не должен содержать скобок.
(𝐴 → 𝐵) ∨ (𝐵 ≡ 𝐶) ∨ (𝐶 𝑋𝑂𝑅 𝐴)

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

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

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