On Decomposition of Sub-definite Partial Boolean Functions

Abstract

In this article we study Boolean functions with two kinds of indeterminacy. We prove criterion of decomposition of this functions including separating decomposition. As a result we have method that allows to obtain representation of an arbitrary function using superposition of functions that have smaller dimentions

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