IOM 2021, Блиц — Задача 77

The Blitz-contest of IOM-2021

Условие

How many different sets of values of boolean variables x1x_1, x2x_2, ..., x10x_{10} satisfy all of the following conditions?

(x1→x2)→(x3→x4)=1(x_1 \to x_2) \to (x_3 \to x_4) = 1

(x3→x4)→(x5→x6)=1(x_3 \to x_4) \to (x_5 \to x_6) = 1

(x5→x6)→(x7→x8)=1(x_5 \to x_6) \to (x_7 \to x_8) = 1

(x7→x8)→(x9→x10)=1(x_7 \to x_8) \to (x_9 \to x_{10}) = 1

Отговори

Решение

Оригинал в Архива: iom-2021-blitz-tasks-eng.pdf · официални решения: iom-2021-blitz-answers-eng.pdf