Сколько существует различных наборов значений логических переменных
x1, x2, x3, x4, x5, x6, y1, y2, y3, y4, y5, y6, которые удовлетворяют всем
перечисленным ниже условиям?
(x1→x2) /\ (x2→x3) /\ (x3→x4) /\ (x4→x5 ) /\ (x5→x6 ) = 1
(y1→y2) /\ (y2→y3) /\ (y3→y4) /\ (y4→y5 ) /\ (y5→y6 ) = 1
x1 → y1= 1
В ответе не нужно перечислять все различные наборы значений переменных
x1, x2, x3, x4, x5, x6, y1, y2, y3, y4, y5, y6 при которых выполнена данная
система равенств. В качестве ответа Вам нужно указать количество таких
наборов.