Об индикации внешних факторов схемами из многозначных функциональных элементов

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