部分多值逻辑函数集中准完备集的分类问题研究

Research on Classification of Precomplete Classes in Partial Multiple-valued Logic Function Sets

Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题。根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从而为解决部分多值逻辑中Sheffer函数的判定问题提供了研究基础。

The simplest decision on Sheffer function is an important theoretical and practical problem in structure theory of multiple-valued logic functions. According to the completeness theory of partial multiple-valued logic functions, this paper studied the classification of pre-complete classes in multiple-valued logic function sets. The obtained results pro- vide some basis for judging Sheffer functions in partial multiple-valued logic.