Сколько различных решений имеет система уравнений? (x1→ x2)∧ (x2→ x3)∧ (x3→ x4)∧ (x4→ x5)= 1 (у5→ у4)∧ (у4→ у3)∧ (у3→ у2)∧ (у2→ у1)= 1 x2∨ у2 = 1 где x1,x2,…,x5, у1,у2,…,у5 – логические переменные? в ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. в качестве ответа нужно указать количество таких наборов.