A decomposition method is proposed for the partial Boolean function system that enables one to represent it as a su perposition of similar systems in which the system at the first level satisfies constraints on the number of arguments and the systems at the second level in a certain sense are simpler than the initial one. This method enables one to construct a multilevel decomposition quite simply, in which each system satisfies the constraints on the number of arguments. The method is simple and is designed for interval specification of the initial Boolean-function system.
展开▼
