PDF-версии: 
i
Сколько существует различных наборов значений логических переменных x1, x2, ...x7, y1, y2, ...y7, которые удовлетворяют всем перечисленным ниже условиям?
(y1 → (y2 ∧ x1)) ∧ (x1 → x2) = 1
(y2 → (y3 ∧ x2)) ∧ (x2 → x3) = 1
…
(y6 → (y7 ∧ x6)) ∧ (x6 → x7) = 1
y7 → x7 = 1
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, ...x7, y1, y2, ...y7, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.
