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