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

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

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

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

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

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

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

(y₆ \/ x₆) = 1

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