部分四值逻辑中保二元正则可离关系非最小覆盖的剔除

• 作者: 刘任任 龚志伟
• 来源期刊: 计算技术与自动化
• 关键词: 多值逻辑 完备性 正则可离关系 最小覆盖
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: 算法分析与研究
• 页码范围: 76-78
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6199.2011.03.017

摘要

为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完 备集之间的相似关系理论,对部分四位逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘任任	湘潭大学信息工程学院	104	608	13.0	20.0
2	龚志伟	中南林业科技大学理学院	8	10	1.0	3.0