К проблеме выразимости в алгебре частичных булевых функций

Рассматривается проблема выразимости всюду определенных булевых функций суперпозициями над системой частичных булевых функций. Решение задачи выполняется в терминах предполных булевых классов — расширений классов Поста в алгебре частичных булевых функций.