ВУЗ:
Составители:
54
Рис. 5.16. Вторые формы логических функций автомата–перекладчика
Искомые формы логических функций нашлись, что подтверждает
справедливость первого свойства.
Заменим логические функции
x
F ,
m
F
и
m
F
(рис. 5.15) их новыми
выражениями (рис. 5.16). Составим общий список логических функций и
сопоставим его с реализуемой циклограммой автомата–перекладчика
(рис. 5.14).
0
0
0
0
1
16
0
0
0
24
1
8
0
4
6
2
3
7
5
1
b
1
b
1
a
1
a
2
m
b
2
а)
mbmbF
x
21
+=
0
1
0
0
0
16
0
24
0
0
0
8
0
4
6
2
3
7
5
1
b
1
b
1
a
1
a
2
m
b
2
б)
12
baF
m
=
0
0
0
0
0
0
16
0
1
0
24
8
0
4
6
2
3
7
5
1
b
1
b
1
a
1
a
2
m
b
2
в)
22
baF
m
=
Страницы
- « первая
- ‹ предыдущая
- …
- 53
- 54
- 55
- 56
- 57
- …
- следующая ›
- последняя »
