Сколько существует различных наборов значений логических переменных x1, x2, ... x6, y1, y2, ... y6, которые удовлетворяют всем перечисленным ниже условиям?
\(x1 ≡ y1\) → \(x2 ˅ y2\) = 1
\(x2 ˅ y2\) ≡ \(¬ x3 ˄ ¬ y3\) = 1
\(x4 ≡ x3\) ≡ \(y4 ≡ y3\) = 1
\(x4 ˅ y4\) ≡ \(¬ x5 ˄ ¬ y5\) = 1
\(x5 ≡ y5\) → \(x6 ˅ y6\) = 1
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, …, x6 и y1, y2, …, y6, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.