Дискриминаторные позитивно замкнутые классы трёхзначной логики

На множестве $Pk$ функций $k$-значной логики рассматривается оператор позитивного замыкания. Доказывается, что при любом $k\geqslant 3$, $k\ne 4$, множество $Hk$ всех однородных функций из $Pk$ образует атом в решётке позитивно замкнутых классов из $Pk$. Находятся все 17 позитивно замкнутых классов в $P_3$, которые целиком содержат класс $H_3$ (дискриминаторные позитивно замкнутые классы). Определяются позитивно порождающие системы этих классов.
Библ. 17.