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

• 作者: 何骞 刘任任
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: Sheffer函数 准完备集 最小覆盖
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: 研究、探讨
• 页码范围: 28-30
• 页数: 3页
• 分类号: O141
• 字数: 4908字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.05.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘任任	湘潭大学信息工程学院	104	608	13.0	20.0
2	何骞	湘潭大学信息工程学院	2	11	2.0	2.0