Аннотация:
Рассматриваются булевы функции $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$.