Классификация $k$-значных функций на основе аддитивных формул

Рассматриваются функциональная система $P_k$ функций $k$-значной логики и решетка ${\cal L}_k$ по включению замкнутых относительно суперпозиции классов в $P_k$. Классы описываются каноническими аддитивными формулами (в виде сумм по модулю $k$) своих элементов. Одно слагаемое в сумме является линейной функцией, остальные слагаемые зависят от делителя $d$ числа $k$ и определяют классы различных семейств. Для всех $k$ и $d$ находятся полные системы и базисы таких классов, определяется их положение в решетке ${\cal L}_k$.