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

В статье рассматриваются функции алгебры логики $f(x_1,\dots,x_n,z_1,\dots,z_m)$, где $x_1,\dots,x_n$ – обычные булевы переменные, $z_1,\dots,z_m$ – несобственные булевы параметры – индикаторы внешних факторов. Приводятся алгоритмы построения схемы из функциональных элементов, реализующей индикатор $z,z\in\{z_1,\dots,z_m\}$.