Разбор заданий

В15
Рассмотрим несколько заданий В15:

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

В последней диагностической работе наибольшее затруднение вызвали задания  А10, В4, В13 и В15. 
Я предлагаю вам посмотреть решения. При возникновении вопросов можете писать в комментариях