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