НОВЫЕ РАЗЛОЖЕНИЯ БУЛЕВЫХ ФУНКЦИЙ ПО ОПЕРАЦИИ ИСКЛЮЧАЮЩЕЕ ИЛИ В СИСТЕМАХ ЛОГИЧЕСКОГО ПРОЕКТИРОВАНИЯ

Полный текст:


Аннотация

Разложения и формы представления булевых функций на базе операции исключающее или имеют ключевое значение для проектирования, тестирования и диагностирования цифровых систем и компьютерных программ. К известным формам относятся полином Жегалкина, форма Рида-Маллера, функциональные диаграммы двоичных решений и др. В статье предлагаются новые разложения и формы представления булевых функций, построенные средствами частичной логики с использованием операции минимизации частично определенной функции. Они обобщают положительное и отрицательное разложения Давио, учитывают условия ортогональности остаточных функций и обеспечивают построение новых графовых расширенных форм представления булевых функций. Полученные результаты ориентированы на использование в системах логического проектирования.


Об авторе

А. А. Прихожий
Белорусский национальный технический университет
Беларусь
Доктор технических наук, профессор


Список литературы

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.)

Просмотров: 202

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.

ISSN 2309-4923 (Print)
ISSN 2414-0481 (Online)