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