P*4中保四元正则可离关系非最小覆盖的剔除

• 作者: 刘任任 周小强
• 来源期刊: 计算机应用研究
• 关键词: 多值逻辑 完备性 正则可离关系 最小覆盖
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 2090-2091,2094
• 页数: 3页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.06.026

摘要

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

作者信息

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