多值逻辑是指一切逻辑值的取值数大于2的逻辑,它是计算机科学技术的重要分支。多值逻辑的研究内容主要包括多值逻辑的理论、多值电路与多值系统、多值逻辑的应用。在多值逻辑理论中,函数系完备性之判定问题是一个基本而又重要的问题,同时也是自动机理论,多值逻辑网络中必须解决的问题。此问题的解决依赖于定出多值逻辑函数集中的所有准完备集。Sheffer函数的判定是多值逻辑完备性理论中的一个重要问题,它的解决依赖于定出多值逻辑函数集中的所有准完备集的最小覆盖。完全多值逻辑函数中Sheffer函数的判定已完全解决,但部分多值逻辑函数中Sheffer函数的判定尚未彻底解决。本文在深入研究部分二、三值逻辑中Sheffer函数的基础上,根据部分二、三值逻辑中准完备集的最小覆盖,提出了两个算法。一个是部分二值逻辑中Sheffer函数的构造及判定算法,它能构造和判定出部分二值逻辑中的全部Sheffer函数;另一个是部分三值逻辑中Sheffer函数的判定算法,它能判定任意一个函数是不是部分三值逻辑中的Sheffer函数。