论文研究 部分二值逻辑中Sheffer函数的构造与判定算法.pdf

在深入研究部分二值逻辑中Sheffer函数的基础上，根据部分二值逻辑中准完备集的最小覆盖，提出了一种高效地构造部分二值逻辑中Sheffer函数的算法，此算法能够构造出部分二值逻辑中的全部Sheffer函数，在构造算法的基础上，进一步提出了一种部分二值逻辑中Sheffer函数的判定算法，此算法和传统判定算法相比，避免了繁琐的计算，可以说是一种较简单的判定算法。