НОВЫЕ РАЗЛОЖЕНИЯ БУЛЕВЫХ ФУНКЦИЙ ПО ОПЕРАЦИИ ИСКЛЮЧАЮЩЕЕ ИЛИ В СИСТЕМАХ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ
Аннотация
Разложения и формы представления булевых функций на базе операции исключающее или имеют ключевое значение для проектирования, тестирования и диагностирования цифровых систем и компьютерных программ. К известным формам относятся полином Жегалкина, форма Рида-Маллера, функциональные диаграммы двоичных решений и др. В статье предлагаются новые разложения и формы представления булевых функций, построенные средствами частичной логики с использованием операции минимизации частично определенной функции. Они обобщают положительное и отрицательное разложения Давио, учитывают условия ортогональности остаточных функций и обеспечивают построение новых графовых расширенных форм представления булевых функций. Полученные результаты ориентированы на использование в системах логического проектирования.
Об авторе
А. А. ПрихожийБеларусь
Доктор технических наук, профессор
Список литературы
1. Shannon, C. E. The Synthesis of Two Terminal Switching Circuits / C. E. Shannon // Bell System Technical Journal. – Vol. 28. –1949. – № 1.– P. 59–98.
2. Прихожий, А. А. Частично определенные логические системы и алгоритмы / А. А. Прихожий // БНТУ, Техническая литература. – 2013. – 343 с.
3. Prihozhy, A. A. If-Diagrams: Theory and Application / A. A. Prihozhy // Proc. of the European Conference PAT-MOS’97. – UCL, Belgium, 1997. – P. 369 – 378.
4. Прихожий, А. А. Обобщение разложения Шеннона для частично определенных функций: теория и применение / А. А. Прихожий // Системный анализ и прикладная информатика, № 1, 2013. – С. 3–9.
5. Prihozhy, A. A. Methods of Partial Logic and If-Decision Diagrams for Synthesis and Formal Verification of Digital Circuits / A. A. Prihozhy, B. Becker // DAAD Research Report. – Freiburg University, Germany, 2000. – 30 p.
Дополнительные файлы
Для цитирования: Прихожий А.А. НОВЫЕ РАЗЛОЖЕНИЯ БУЛЕВЫХ ФУНКЦИЙ ПО ОПЕРАЦИИ ИСКЛЮЧАЮЩЕЕ ИЛИ В СИСТЕМАХ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ. «Системный анализ и прикладная информатика». 2014;(1-3):9-16.
For citation: Prihozhy A.A. NEW EXPANSIONS OF BOOLEAN FUNCTIONS ON EXCLUSIVE OR OPERATION IN LOGICAL SYSTEMS DESIGN. «System analysis and applied information science». 2014;(1-3):9-16. (In Russ.)
Обратные ссылки
- Обратные ссылки не определены.