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