b
12
=
b
11
?
a
3
,
b
13
=
b
1
?
a
2
,
b
14
=
b
13
?
a
1
,
b
15
=
b
14
?
a
1
,
b
16
=
b
1
?
a
2
,
b
17
=
b
16
?
a
1
,
b
18
=
b
17
?
a
2
,
!
a
1
=
b
3
|
b
4
|
b
5
|
b
6
|
b
8
|
b
10
|
b
12
|
b
13
|
b
15
|
b
16
,
!
a
2
=
b
1
|
b
2
|
b
7
|
b
9
|
b
11
|
b
14
|
b
17
|
b
18
.
Согласно п. “г”, “д” при
r
= 1
, s
= 0
будем иметь
b
(0)
1
=
{
b
1
, b
2
, b
7
, b
9
, b
11
, b
14
, b
17
, b
18
}
,
b
(0)
2
=
{
b
3
, b
4
, b
5
, b
6
, b
8
, b
10
, b
12
, b
13
, b
15
, b
16
}
.
По п. “з” получим
B
(0)
1
=
b
1
?
a
1
|
b
6
?
a
1
|
b
10
?
a
1
|
b
13
?
a
1
|
b
16
?
a
1
|
b
8
?
a
2
|
b
17
?
a
2
=
(
b
1
|
b
6
|
b
10
|
b
13
|
b
16
) ?
a
1
(
b
8
|
b
17
)?
a
2
,
B
(0)
2
=
b
14
?
a
1
|
b
1
?
a
2
|
b
4
?
a
3
|
b
11
?
a
3
=
b
14
?
a
1
|
b
1
?
a
2
|
(
b
4
|
b
11
)?
a
3
Согласно п. “з” поместим состояние
b
(0)
1
в множество
A
(0)
1
=
=
{
b
(0)
1
}
.
По п. “ж” вычислим
b
(0)
1
∩
B
(0)
1
=
b
17
?
a
2
|
b
1
?
a
1
,
b
(0)
1
∩
B
(0)
2
=
=
b
11
?
a
2
|
b
14
?
a
2
|
b
1
?
a
1
.
Поскольку
b
(0)
1
∩
B
(0)
1
∩
B
(0)
2
= (
b
1
|
b
17
)?
a
1
|
(
b
1
|
b
14
)?
a
1
, то, согласно
п. “к” состояния
b
1
и
b
14
,
b
1
и
b
17
должны входить в разные состо-
яния
b
(0)
1
. Заменим в множестве
A
(0)
1
состояние
b
(0)
1
на два состоя-
ния:
b
(0)
1
,
1
=
b
1
|
b
2
|
b
9
|
b
18
и
b
(0)
1
,
2
=
b
7
|
b
11
|
b
14
|
b
17
. В результате получим
множество
A
(0)
1
=
{
b
(0)
1
,
1
, b
(0)
1
,
2
}
. Состояния
b
2
, b
7
, b
9
, b
11
, b
18
распределены
между состояниями
b
(0)
1
,
1
,
b
(0)
1
,
2
произвольным образом, что соответствует
некоторому доопределению функции
ϕ
, описанному ранее.
Далее после п. “и” снова возвращаемся к п. “з”, по которому полу-
чим множество
A
(0)
2
=
{
b
(0)
2
}
.
По п. “з” вычислим
b
(0)
2
∩
B
(0)
1
= (
b
6
|
b
8
)?
a
2
|
(
b
10
|
b
13
|
b
16
)?
a
1
,
b
(0)
2
∩
B
(0)
2
=
b
4
?
a
3
. Нетрудно видеть, что
b
(0)
2
∩
B
(0)
1
∩
B
(0)
2
=
?
.
Следовательно, согласно п. “к”, множество
A
(0)
2
не должно расширять-
ся. Поскольку все состояния рассмотрены, то можно переходить к
п. “к”. Согласно этому пункту вследствие увеличения суммарного чи-
сла функций в множествах
A
(0)
1
, A
(0)
2
переобозначим состояния этих
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012. № 4 73
