informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-757Research ArticleЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕLOGICAL DESIGNРАЗВИТИЕ ТАБЛИЧНОГО МЕТОДА ДЕКОМПОЗИЦИИ СИСТЕМЫ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙСадниковД. В.Объединенный институт проблем информатики НАН БеларусиBelarus20051501201902(6)4353Copyright © Садников Д.В., 20192019Садников Д.В.Садников Д.В.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/757

Предлагается метод решения задачи последовательной декомпозиции системы полностью определенных булевых функций, являющийся дальнейшим развитием метода декомпозиции по сокращенной компактной таблице. Этот метод менее трудоемкий и, согласно проведенным экспериментальным исследованиям, превосходит последний по быстродействию.

ReferencesAshenhurst R.L. The decomposition of switching functions // Proc. of an International symposium on the theory of switching. – USA, April 1957. – P. 74–116.Ashenhurst R.L. The decomposition of switching functions // Proc. of an International symposium on the theory of switching. – USA, April 1957. – P. 74–116.Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981. – 416 с.Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981. – 416 с.Бибило П.Н., Енин С.В. Синтез комбинационных схем методом функциональной декомпозиции. – Мн.: Наука и техника, 1987. – 189 с.Бибило П.Н., Енин С.В. Синтез комбинационных схем методом функциональной декомпозиции. – Мн.: Наука и техника, 1987. – 189 с.Шестаков Е.А. Декомпозиция системы полностью определенных булевых функций по покрытию аргументов // АВТ. – 1994. – № 1. – С. 12–20.Шестаков Е.А. Декомпозиция системы полностью определенных булевых функций по покрытию аргументов // АВТ. – 1994. – № 1. – С. 12–20.Поттосин Ю.В., Шестаков Е.А. Компактное табличное представление систем полностью определенных булевых функций и его использование в декомпозиции // Новые информационные технологии в исследовании дискретных структур: докл. 3-й Всерос. конф. с междунар. участием. – Томск, 2000. – С. 261–266.Поттосин Ю.В., Шестаков Е.А. Компактное табличное представление систем полностью определенных булевых функций и его использование в декомпозиции // Новые информационные технологии в исследовании дискретных структур: докл. 3-й Всерос. конф. с междунар. участием. – Томск, 2000. – С. 261–266.Pottosin Yu., Shestakov E. Decomposition of systems of completely specified Boolean functions using their compact table representation // 4th International workshop «Boolean Problems». – Freiberg (Sachsen), 2000. – P. 135–142.Pottosin Yu., Shestakov E. Decomposition of systems of completely specified Boolean functions using their compact table representation // 4th International workshop «Boolean Problems». – Freiberg (Sachsen), 2000. – P. 135–142.Поттосин Ю.В., Шестаков Е.А. О табличном задании систем полностью определенных булевых функций // Информатика. – 2004. – № 1. – С. 139–147.Поттосин Ю.В., Шестаков Е.А. О табличном задании систем полностью определенных булевых функций // Информатика. – 2004. – № 1. – С. 139–147.Поттосин Ю.В., Шестаков Е.А. Декомпозиция систем полностью определенных булевых функций по их заданию в виде компактных таблиц // Информатика. – 2004. – № 2. – С. 35–44.Поттосин Ю.В., Шестаков Е.А. Декомпозиция систем полностью определенных булевых функций по их заданию в виде компактных таблиц // Информатика. – 2004. – № 2. – С. 35–44.Поттосин Ю.В., Шестаков Е.А., Садников Д.В. Сравнение двух методов декомпозиции системы полностью определенных булевых функций // Методы логического проектирования: сб. науч. тр. – Мн.: ОИПИ НАН Беларуси, 2003. – С. 79–94.Поттосин Ю.В., Шестаков Е.А., Садников Д.В. Сравнение двух методов декомпозиции системы полностью определенных булевых функций // Методы логического проектирования: сб. науч. тр. – Мн.: ОИПИ НАН Беларуси, 2003. – С. 79–94.Садников Д.В. Исследование разложимости систем полностью определенных булевых функций // Методы логического проектирования: cб. науч. тр. – Мн.: ОИПИ НАН Беларуси, 2003. – С. 95–102.Садников Д.В. Исследование разложимости систем полностью определенных булевых функций // Методы логического проектирования: cб. науч. тр. – Мн.: ОИПИ НАН Беларуси, 2003. – С. 95–102.

The authors declare that there are no conflicts of interest present.