Разложение булевых функций на сумму произведений подфункций

Получена теорема о разложении булевых функций в полиномиальную форму вида:
$$ f(x,y)=\sum_\sigma\sum_\tau\alpha_{\tau\sigma}f(\tau,y)f(x,\sigma), $$
где $\alpha_{\tau\sigma}\in\{0,1\}$, $x$, и $y$ – наборы булевых переменных, $\sigma$ и $\tau$ – соответствующие булевы вектора. Приводится метод для нахождения коэффициентов $\alpha_{\sigma\tau}$.