Введите ответ в поле ввода

Сколько существует различных наборов значений логических переменных
x₁, x₂, … x₆, y₁, y₂, … y₆, которые удовлетворяют всем перечисленным ниже условиям?

(x₁ \/ x₂) /\ ((x₁ /\ x₂) → x₃) /\ (x₁ \/ y₁) = 1

(x₂ \/ x₃) /\ ((x₂ /\ x₃) → x₄) /\ (x₂ \/ y₂) = 1

(x₃ \/ x₄) /\ ((x₃ /\ x₄) → x₅) /\ (x₃ \/ y₃) = 1

(x₄ \/ x₅) /\ ((x₄ /\ x₅) → x₆) /\ (x₄ \/ y₄) = 1

(x₅ \/ x₆) /\ (x₅ \/ y₅) = 1

(x₆ \/ y₆) = 1

В ответе не нужно перечислять все различные наборы значений переменных x₁, x₂, … x₆, y₁, y₂, … y₆, при которых выполнена данная система равенств.
В качестве ответа Вам нужно указать количество таких наборов.