Сколько различных решений имеет система уравнений?

[email protected] в категроии Информатика, вопрос открыт 01.01.2018 в 19:17

(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 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.