PDF-версии: 
i
Сколько существует различных наборов значений логических переменных x1, x2, ..., x6, y1, y2, ..., y6, z1, z2, ..., z6, которые удовлетворяют всем перечисленным ниже условиям?
(x1 → x2) ∧ (x2 → x3) ∧ (x3 → x4) ∧ (x4 → x5) ∧ (x5→ x6) = 1
(y1 → y2) ∧ (y2 → y3) ∧ (y3 → y4) ∧ (y4 → y5) ∧ (y5 → y6) = 1
(z1 → z2) ∧ (z2→ z3) ∧ (z3 → z4) ∧ (z4→ z5) ∧ (z5 → z6) = 1
x6 ∧ y6 ∧ z6 = 0
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, ..., x6, y1, y2, ..., y6, z1, z2, ..., z6, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.