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