|
Сколько существует различных наборов значений логических переменных
x
1
,
x
2
, …
x
7
,
y
1
,
y
2
, …
y
7
, которые удовлетворяют всем перечисленным ниже условиям?
(
y
1
→ (
y
2
/\
x
1
)) /\ (
x
1
→
x
2
) = 1
(
y
2
→ (
y
3
/\
x
2
)) /\ (
x
2
→
x
3
) = 1
…
(
y
6
→ (
y
7
/\
x
6
)) /\ (
x
6
→
x
7
) = 1
y
7
→
x
7
= 1
В ответе
не нужно
перечислять все различные наборы значений переменных
x
1
,
x
2
, …
x
7
,
y
1
,
y
2
, …
y
7
, при которых выполнена данная система равенств.
В качестве ответа Вам нужно указать количество таких наборов.
|