|
Сколько существует различных наборов значений логических переменных
x
1
,
x
2
, …
x
5
,
y
1
,
y
2
, …
y
9
, которые удовлетворяют всем приведённым ниже условиям?
(
x
i
∧
∧
y
j
→
x
i
∧
∧
y
j
+ 1
)
�
�
(
x
i
∧
∧
y
j
→
x
i
+ 1
∧
∧
y
j
) = 1
для всех натуральных
i
и
j
, таких, что
i
< 5 и
j
< 9.
Ниже для Вашего удобства приведены некоторые из равенств, соответствующих этим условиям.
(
x
1
∧
∧
y
1
→
x
1
∧
∧
y
2
)
∧
∧
(
x
1
∧
∧
y
1
→
x
2
∧
∧
y
1
) = 1
(
x
1
∧
∧
y
2
→
x
1
∧
∧
y
3
)
∧
∧
(
x
1
∧
∧
y
2
→
x
2
∧
∧
y
2
) = 1
…
(
x
4
∧
∧
y
7
→
x
4
∧
∧
y
8
)
∧
∧
(
x
4
∧
∧
y
7
→
x
5
∧
∧
y
7
) = 1
(
x
4
∧
∧
y
8
→
x
4
∧
∧
y
9
)
∧
∧
(
x
4
∧
∧
y
8
→
x
5
∧
∧
y
8
) = 1
В ответе
не нужно
перечислять все различные наборы значений переменных
x
1
,
x
2
, …
x
5
,
y
1
,
y
2
, …
y
9
, удовлетворяющих условию задачи.
В качестве ответа Вам нужно указать количество таких наборов.
|