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