IOM 2018, Блиц, руски — Задача 40

ОЛИМПИАДА МЕГАПОЛИСОВ. Москва, 3 сентября 2018

Условие

a, b, c, d, e, f и g – логические переменные. Найдите комбинацию из них, при которой следующее выражение истинно:

(a or d) and (a or f) and (not a or not d) and (b or d) and (not b or not g)
and (c or not f) and (not c or not e) and (d or f) and (not d or not f)

Ответ запишите в виде строки из 0 и 1 для всех переменных от a до g. Например, если a, b, c, d — ложно, а e, f, g — истинно, ответ следует записать как 0000111.

Решение

---

Оригинал в Архива: blitz-ru.pdf