Manipulations on Large Variables Boolean Functions | Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitelnaja tehnika i informatika – Tomsk State University Journal of Control and Computer Science. 2008. № 2 (3).

Manipulations on Large Variables Boolean Functions

Aset of manipulations on Boolean functions is suggested. Boolean function is represented by Boolean vector with 2 components. Using these manipulations simplifies determination of monotonous property of partially determined Boolean functions and decision of composition (decomposition) problems.

Download file

Counter downloads: 298

Keywords

булево пространство , комбинаторные задачи , набор макроопераций , операции над соседними элементами , a set of manipulations , partially determined Boolean functions , composition (decomposition) of Boolean functions

Authors

Name	Organization	E-mail
Zakrevskij A.D.		zakr@newman.bas-net.by

Всего: 1

References

Data mining and knowledge discovery approaches based on rule induction techniques (E. Triantaphyllou and G. Felici, Eds.). Massive Computing Series, Springer, Heidelberg, Germany, 2006.

Хиллис У. Дэниел. Коммутационная машина // В мире науки (Scientific American). 1987, август. № 8. C. 60 - 69.

Закревский А.Д. Машина для решения логических задач типа синтеза релейных схем // Синтез релейных устройств: Труды Международного симпозиума по теории релейных устройств и конечных автоматов. М.: Наука, 1965. С. 346 - 356.

Закревский А.Д. Универсальная система для решения задач типа синтеза релейных схем // Труды Сиб. физ.-тех. ин-та. Томск, 1963. Вып. 42. С. 9 - 37.

Закревский А.Д. Вычисления в булевых пространствах // Логическая структура научного знания. М.: Наука, 1965. С. 292 - 310.

Закревский А.Д. О разрешимости булевых уравнений // Доклады НАН Белоруссии. 2007. Т. 51. № 5. С. 44 - 46.

Закревский А.Д. Декомпозиция частичных булевых функций - проверка на разделимость по заданному разбиению // Информатика. 2007. № 1(13). С. 16 - 21.