Сколько существует различных наборов значений логических переменных
x1, x2, … x5, y1, y2, … y9, которые удовлетворяют всем приведённым ниже условиям?
(xi yj → xi yj + 1) ( xi yj → xi + 1 yj) = 1
для всех натуральных i и j, таких, что i < 5 и j < 9.
Ниже для Вашего удобства приведены некоторые из равенств, соответствующих этим условиям.
(x1 y1 → x1 y2) (x1 y1 → x2 y1) = 1
(x1 y2 → x1 y3) (x1 y2 → x2 y2) = 1
…
(x4 y7 → x4 y8) (x4 y7 → x5 y7) = 1
(x4 y8 → x4 y9) (x4 y8 → x5 y8) = 1
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, … x5, y1, y2, … y9, удовлетворяющих условию задачи.
В качестве ответа Вам нужно указать количество таких наборов.
⚠ Ответ для этой задачи пока не верифицирован — проверка недоступна.