We consider the class Π of three-valued logic functions that have only values 0 and 1. We formulate three sufficient conditions for finite generation of closed classes within Π in terms of the classes containing functions with given structural properties. We also define four infinitely generated closed classes within Π, two of which are inclusionwise maximal within Π (among the inifinitely-generated classes) while the two others are nearly maximal.

three-valued logic, 01-function, finitely generated classes

Mathematical problems and theory of numerical methods