informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-793Research ArticleЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕLOGICAL DESIGNДЕКОМПОЗИЦИЯ СИСТЕМЫ БУЛЕВЫХ ФУНКЦИЙ ПО ЗАДАННЫМ ВХОДНЫМ ФУНКЦИЯМПоттосинЮ. В.ШестаковЕ. А.Объединенный институт проблем информатики НАН БеларусиBelarus20052901201904(8)94104Copyright © Поттосин Ю.В., Шестаков Е.А., 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/793

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

ReferencesЗакревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981. – 416 c.Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981. – 416 c.Бибило П.Н., Енин С.В. Синтез комбинационных схем методами функциональной декомпозиции. – Мн.: Наука и техника, 1987. – 189 c.Бибило П.Н., Енин С.В. Синтез комбинационных схем методами функциональной декомпозиции. – Мн.: Наука и техника, 1987. – 189 c.Бибило П.Н. Синтез комбинационных ПЛМ-структур для СБИС. – Мн.: Навука i тэхнiка, 1992. – 232 с.Бибило П.Н. Синтез комбинационных ПЛМ-структур для СБИС. – Мн.: Навука i тэхнiка, 1992. – 232 с.Шестаков Е.А. Декомпозиция системы полностью определенных булевых функций по покрытию аргументов // Автоматика и вычислительная техника. – 1994. – № 1. – С. 12–20.Шестаков Е.А. Декомпозиция системы полностью определенных булевых функций по покрытию аргументов // Автоматика и вычислительная техника. – 1994. – № 1. – С. 12–20.Pottosin Yu., Shestakov E. Decomposition of systems of completely specified Boolean functions using their compact table representation // Boolean Problems. 4th International Workshop. – Freiberg (Sachen), 2000. – P. 135–142.Pottosin Yu., Shestakov E. Decomposition of systems of completely specified Boolean functions using their compact table representation // Boolean Problems. 4th International Workshop. – Freiberg (Sachen), 2000. – P. 135–142.Brzozowski J.A., Lou J.J. Decomposition of Boolean functions specified by cubes // Research Report CS–97–01, Department of Computer Science, University of Waterloo. – Waterloo, Canada, 1997. – 36 p.Brzozowski J.A., Lou J.J. Decomposition of Boolean functions specified by cubes // Research Report CS–97–01, Department of Computer Science, University of Waterloo. – Waterloo, Canada, 1997. – 36 p.Brzozowski J.A., Luba T. Decomposition of Boolean Functions Specified by Cubes, Part 1: Theory of Serial Decompositions Using Blankets, Research Report CS-97-01, Dept. of Comp. Sci., University of Waterloo. – Waterloo, Canada, 1998.Brzozowski J.A., Luba T. Decomposition of Boolean Functions Specified by Cubes, Part 1: Theory of Serial Decompositions Using Blankets, Research Report CS-97-01, Dept. of Comp. Sci., University of Waterloo. – Waterloo, Canada, 1998.Поттосин Ю.В., Шестаков Е.А. О табличном задании систем полностью определенных булевых функций // Информатика. – 2004. – № 1. – С. 139–147.Поттосин Ю.В., Шестаков Е.А. О табличном задании систем полностью определенных булевых функций // Информатика. – 2004. – № 1. – С. 139–147.Поттосин Ю.В., Шестаков Е.А. Декомпозиция систем полностью определенных булевых функций по их заданию в виде компактных таблиц // Информатика. – 2004. – № 2. – С. 35–44.Поттосин Ю.В., Шестаков Е.А. Декомпозиция систем полностью определенных булевых функций по их заданию в виде компактных таблиц // Информатика. – 2004. – № 2. – С. 35–44.Поттосин Ю.В., Шестаков Е.А. Декомпозиция системы булевых функций по заданной системе выходных функций // Методы логического проектирования. Вып. 1. – Мн.: ОИПИ НАН Беларуси, 2002. – С. 75–84.Поттосин Ю.В., Шестаков Е.А. Декомпозиция системы булевых функций по заданной системе выходных функций // Методы логического проектирования. Вып. 1. – Мн.: ОИПИ НАН Беларуси, 2002. – С. 75–84.

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