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

Сколько существует различных наборов значений логических переменных
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

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

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