文件名称：论文研究-部分二值逻辑中Sheffer函数的构造与判定算法.pdf
文件大小：419KB
文件格式：PDF
更新时间：2022-10-03 04:56:17
论文研究
在深入研究部分二值逻辑中Sheffer函数的基础上，根据部分二值逻辑中准完备集的最小覆盖，提出了一种高效地构造部分二值逻辑中Sheffer函数的算法，此算法能够构造出部分二值逻辑中的全部Sheffer函数，在构造算法的基础上，进一步提出了一种部分二值逻辑中Sheffer函数的判定算法，此算法和传统判定算法相比，避免了繁琐的计算，可以说是一种较简单的判定算法。