Предлагается метод разложения (декомпозиции) системы полностью определенных булевых функций в суперпозицию, состоящую из двух систем. При этом считается, что одна из систем, функции которой являются аргументами другой, задана. Метод основан на использовании аппарата покрытий троичной матрицы.
Поттосин Ю. В., Шестаков Е. А. ДЕКОМПОЗИЦИЯ СИСТЕМЫ БУЛЕВЫХ ФУНКЦИЙ ПО ЗАДАННЫМ ВХОДНЫМ ФУНКЦИЯМ. Информатика. 2005;(4(8)):94-104.
1. Закревский А.Д. Логический синтез каскадных схем. – М.: Наука, 1981. – 416 c.
2. Бибило П.Н., Енин С.В. Синтез комбинационных схем методами функциональной декомпозиции. – Мн.: Наука и техника, 1987. – 189 c.
3. Бибило П.Н. Синтез комбинационных ПЛМ-структур для СБИС. – Мн.: Навука i тэхнiка, 1992. – 232 с.
4. Шестаков Е.А. Декомпозиция системы полностью определенных булевых функций по покрытию аргументов // Автоматика и вычислительная техника. – 1994. – № 1. – С. 12–20.
5. 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.
6. 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.
7. 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.
8. Поттосин Ю.В., Шестаков Е.А. О табличном задании систем полностью определенных булевых функций // Информатика. – 2004. – № 1. – С. 139–147.
9. Поттосин Ю.В., Шестаков Е.А. Декомпозиция систем полностью определенных булевых функций по их заданию в виде компактных таблиц // Информатика. – 2004. – № 2. – С. 35–44.
10. Поттосин Ю.В., Шестаков Е.А. Декомпозиция системы булевых функций по заданной системе выходных функций // Методы логического проектирования. Вып. 1. – Мн.: ОИПИ НАН Беларуси, 2002. – С. 75–84.
