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