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