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