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

编号 zgly0000743782

文献类型 期刊论文

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

作者 龚志伟  刘任任 

作者单位 中南林业科技大学理学院  湘潭大学信息工程学院 

母体文献 计算技术与自动化 

年卷期 2011,30(3)

页码 76-78

年份 2011 

分类号 TP301 

关键词 多值逻辑  完备性  正则可离关系  最小覆盖 

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