摘要： 1.引言 　　在多值逻辑结构理论中,Sheffer函数的判定与构造是其中的一个重要的组成部分.它分别包括完全、部分多值逻辑Sheffer函数的结构与判定,其判定问题与函数系完备性之判定密切相关,并可归结为定出完全与部分多值逻辑中极大封闭集的最小覆盖.对于完全多值逻辑函数集中的Sheffer函数,其判定与构造问题已经完全解决.对于部分多值逻辑函数集中的Sheffer函数,文[2,3]对于k一3,4定出了P*k的极大封闭集的最小覆盖;在文[4～6]中,证明了极大封闭集(即准完备集)保E函数集TE、L型函