部分多值逻辑函数结构理论及应用研究

多值逻辑函数结构理论是多值逻辑理论的重要研究方向；同时也是自动机理论、多值逻辑网络研究的重要内容之一。完全多值逻辑函数结构理论已有丰富的研究成果，而部分多值逻辑函数结构理论的研究还有许多问题没有得到解决。本项目根据部分多值逻辑函数的完备性理论，主要开展以下研究工作：（1）对部分多值逻辑函数集中保完满对称关系、单纯可离关系、正则可离关系的准完备集重新进行分类，为定出准完备集的最小覆盖提供基础；（2）研究部分多值逻辑函数中Sheffer函数的判定与构造。利用我们提出的准完备集之间的"相似关系"概念，定出部分多值逻辑中准完备集的最小覆盖，从而给出判定Sheffer函数的充分必要条件；（3) 运用多值逻辑函数的结构理论，研究De Bruijn 序列，进一步揭示De Bruijn 序列的性质，从而产生新的生成De Bruijn 序列的算法。