On decomposition of sub-definite partial Boolean functions

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