Сколько существует различных наборов значений логических переменных x1

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