部分K值逻辑中完满对称函数集最小覆盖判定的一些结果

编号 zgly0000783750

文献类型 期刊论文

文献题名 部分K值逻辑中完满对称函数集最小覆盖判定的一些结果

作者 龚志伟  刘任任 

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

母体文献 计算机科学 

年卷期 2012,39(5)

页码 205-207

年份 2012 

分类号 TP301 

关键词 多值逻辑  完备性  Sheffer函数  完满对称函数集 

文摘内容 根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函数集在边数小于等于K时的准完备集之最小覆盖成员。