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