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

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

(x₁ → x₂) /\ (x₂ → x₃) /\ (x₃ → x₄) /\ (x₄ → x₅) /\ (x₅ → x₆) = 1

(y₁ → y₂) /\ (y₂ → y₃) /\ (y₃ → y₄) /\ (y₄ → y₅) /\ (y₅ → y₆) = 1

(¬x₁ \/ y₁) /\ (¬x₂ \/ y₂) /\ (¬x₃ \/ y₃) /\ (¬ x₄ \/ y₄) /\ (¬x₅ \/ y₅) /\ (¬x₆ \/y₆) = 1

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