|
Автоматика и телемеханика, 1985, выпуск 11, страницы 120–127
(Mi at7642)
|
|
|
|
Автоматы
Система преобразований некоторых форм представления булевых функций
Б. П. Кузнецовa, А. А. Шалыто a Ленинград
Аннотация:
Рассматриваются три формы представления булевых функций: бесповторная булева формула, линейный бинарный граф, ортогональная дизъюнктивная нормальная форма. Показывается их взаимно-однозначное
соответствие и рассматривается полная система эквивалентных преобразований. Отмечается место этих преобразований программирования логических устройств.
Поступила в редакцию: 11.11.1984
Образец цитирования:
Б. П. Кузнецов, А. А. Шалыто, “Система преобразований некоторых форм представления булевых функций”, Автомат. и телемех., 1985, № 11, 120–127; Autom. Remote Control, 46 (1985), 1450–1457
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at7642 https://www.mathnet.ru/rus/at/y1985/i11/p120
|
Статистика просмотров: |
Страница аннотации: | 217 | PDF полного текста: | 88 |
|