помогите решить
Сколько различных решений имеет система уравнений?
(x1  x2) и(x2  x3) и(x3  x4) и(x4  x5) = 1
(у1  у2) и(у2  у3) и(у3  у4) и (у4  у5) = 1
(x1  y1) и (x2  y2) = 1
где x1,x2,…,x5, у1,у2,…,у5 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.
 - импликация
per-2010@yandex.ru