Article collection "Mathematical Problems of Cybernetics" №7, Moscow, 1998
The invariants of S-closed classes in three-valued logic
We consider the set P3 of three-valued logic functions under the S-closure operator, which consists of superposition and transition to dual functions (with respect to arbitrary permutations of E3). For each of the 48 S-closed classes in P3 containing projections we construct a finite system of predicates that defines the class.
S-closed class, predicate definition of closed classes