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