多值逻辑是指一切逻辑值的取值数大于2的逻辑。它可以更好地解决用二值逻辑不易解决的问题。由于其独特功能和广阔的应用前景,使得多值逻辑得到了蓬勃发展,并成为计算机科学技术的重要分支。多值逻辑的研究内容很多,其中函数系的完备性判定、Sheffer函数的判定和构造是其重要组成部分。函数系完备性之判定问题是多值逻辑函数结构理论中一个基本而重要的问题,同时也是自动机理论、多值逻辑网络中必须解决的问题。此问题的解决依赖于定出多值逻辑函数集中的所有准完备集。多值逻辑完备性理论中的另一个重要问题是Sheffer函数的判定,它可归结为定出所有准完备集的最小覆盖。完全多值逻辑函数中Sheffer函数的判定已完全解决,但部分多值逻辑函数中Sheffer函数的判定尚未彻底解决。本文研究的是部分四值逻辑中准完备集之最小覆盖成员的判定问题,重点讨论了单纯可离函数集。首先系统地阐述了多值逻辑的基本概念,介绍了完全和部分多值逻辑函数的完备性理论成果。然后在利用“相似关系”对它们进行分类的基础上,先剔除了能被T_E覆盖的单纯可离关系函数集,对剩余的未被剔除的保2元单纯可离关系函数集用构造函数的方法证明它们确实是最小覆盖成员。由此得到了部分四值逻辑中必在最小覆盖中出现的7类共46个保2元单纯可离关系函数集。最后通过这些具体取值下(K =4,m≤K)的研究结果,对部分K值逻辑中保二元、保K元单纯可离关系函数集的性质进行了研究和探讨。