部分二值逻辑中Sheffer函数的构造与判定算法  

Conformational and determinant algorithm on Sheffer function in partial two-valued logic

作　　者：何骞[1] 刘任任[1] 

机构地区：[1]湘潭大学信息工程学院,湖南湘潭411105

出　　处：《计算机工程与应用》2010年第5期28-30,共3页Computer Engineering and Applications

基　　金：国家自然科学基金No.60673193;湖南省教育厅重点项目No.07A067~~

摘　　要：在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种部分二值逻辑中Sheffer函数的判定算法,此算法和传统判定算法相比,避免了繁琐的计算,可以说是一种较简单的判定算法。In deep research on the Sheffer function in partial two-valued logic,an algorithm is proposed that can effectively construct the Sheffer function in partial two-valued logic based on the minimal covering of precomplete sets in partial two-valued logic.The algorithm can construct all Sheffer functions in partial two-valued logic.Corresponding to this algorithm,a determinant algorithm of the Sheffer function in partial two-valued logic which is compared to the traditional algorithm is also put forward.It avoids complex computations and can be considered to be a simpler determinant algorithm.

关 键 词：SHEFFER函数 准完备集 最小覆盖 

分 类 号：O141[理学—数学]