Article collection "Mathematical Problems of Cybernetics" №7, Moscow, 1998

Authors:Marchenkov S.S.

The invariants of S-closed classes in three-valued logic

Abstract:

We consider the set P_{3} 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 E_{3}). For each of the 48 S-closed classes in P_{3} containing projections we construct a finite system of predicates that defines the class.

Keywords:

S-closed class, predicate definition of closed classes