Сколько существует различных наборов значений логических переменных 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, при которых выполнена данная система равенств.
В качестве ответа Вам нужно указать количество таких наборов.
Весь материал - в документе.