удовлетворяют всем перечисленным ниже условиям? (x1→x2) /\ (y1→y2) /\ (y1→x1) = 1

Сколько существует различных наборов значений логических переменных x1, x2, … x8, y1, y2, … y8, которые удовлетворяют всем перечисленным ниже условиям?

(x1→x2) /\ (y1→y2) /\ (y1→x1) = 1
(x2→x3) /\ (y2→y3) (y2→x2) = 1

(x7→x8) /\ (y7→y8) /\ (y7→x7) = 1
(y8→x8) = 1

В ответе не нужно перечислять все различные наборы значений переменных x1, x2, … x8, y1, y2, … y8, при которых выполнена данная система равенств.
В качестве ответа Вам нужно указать количество таких наборов.

Источник: onlyege