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