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