部分四值逻辑中保三元正则可离关系函数集最小覆盖的确定

• 作者: 刘任任 周小强
• 来源期刊: 计算技术与自动化
• 关键词: 多值逻辑 完备性 Sheffer函数 最小覆盖
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 算法分析与研究
• 页码范围: 59-62
• 页数: 4页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6199.2007.01.016

摘要

Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一,此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖.本文根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出部分四值逻辑中保三元正则可离关系的准完备集之最小覆盖的成员.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘任任	湘潭大学信息工程学院	104	608	13.0	20.0
2	周小强	湘潭大学信息工程学院	15	17	3.0	3.0