Сколько существует различных
наборов значений логических переменных
x1, x2,
… x8, y1,
y2, … y8,
которые удовлетворяют всем перечисленным ниже условиям?
(y1 → (y2 /\ x1)) /\ (x1 → x2) = 1
(y2 → (y3 /\ x2)) /\ (x2 → x3) = 1
…
(y7 → (y8 /\ x7)) /\ (x7 → x8) = 1
y8 → x8 = 1
В ответе не нужно перечислять все различные
наборы значений переменных x1, x2, … x8,
y1, y2,
… y8, при которых выполнена данная
система равенств.
В качестве ответа Вам нужно указать количество таких наборов.