Функции алгебры логики с несобственными параметрами

Рассматриваются булевы функции $f(\tilde x,\tilde z)$, зависящие от двух групп переменных $\tilde x$, $\tilde z$ переменные первой группы являются обычными булевскими переменными, над которыми могут производиться операции переименования, отождествления и подстановки на их места других функций; над переменными группы $\tilde z$ никаких операций не производится. Переменные $\tilde z$ символизируют влияние на функцию $f(\tilde x,\tilde z)$ внешней среды.
Пусть $\gamma$ – конечная система таких функций, $\tilde z$ – обычная булева функция. Стоит задача: выяснить возможность синтеза схемы из функциональных элементов, реализующей свободную от влияния внешней среды функцию $g(\tilde x)$ в базисе $\gamma$.