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