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