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