Большая просьба! Помочь
Сколько различных решений имеет система уравнений?
(x1 → x2) /\ (x2 → x3) /\ (x3 → x4) /\ (x4 → x5) = 1
(у1 → у2) /\ (у2 → у3) /\ (у3 → у4) /\ (у4 → у5) = 1
(z1 → z2) /\ (z2 → z3) /\ (z3 → z4) /\ (z4 → z5) = 1
х1 \/ у1 \/ z1 = 1
где x1,x2,…,x5, у1,у2,…,у5, z1,z2,…,z5 – логические переменные?
В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство.
В качестве ответа нужно указать количество таких наборов.