摘要： 根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖，给出部分三值逻辑中Sheffer函数的判定算法。
何 骞,刘任任. 部分三值逻辑中Sheffer函数的判定算法[J]. 计算机工程与应用, 2009, 45(19): 52-54.
HE Qian,LIU Ren-ren. Determinant algorithm of Sheffer function in partial three-valued logic[J]. Computer Engineering and Applications, 2009, 45(19): 52-54.
