Аннотация:Рассматривается класс П функций трехзначной логики, принимающих только значения 0 и 1. В классе П опре-делены 4 бесконечно-порожденных класса П_1-П_4, кото-рые обладают свойством максимальности: всякий замкну-тый класс из П, собственным образом содержащий любой из классов П_1-П_4, является конечно-порожденным. Для каждого класса П_i и произвольной функции f, не при-надлежащей П_i и существенно зависящей не менее чем от двух переменных, определяются все "простейшие" функции от двух или трех переменных, которые полу-чаются суперпозициями функции f и которые не входят в класс П_i. Эти функции предполагается использовать для доказательства того, что в классе П все макси-мальные бесконечно-порожденные классы исчерпываются классами П_1-П_4.