关于部分k值逻辑sheffer函数(ⅲ)

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