KIAM Main page Web Library  •  Publication Searh  Русский 

Article collection "Mathematical Problems of Cybernetics" №7, Moscow, 1998
Authors: Marchenkov S.S.
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
Publication language: russian, pages: 22 (p. 243-264)
Research direction:
Mathematical problems and theory of numerical methods
Source text: