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