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

Some Results on the Decision of the Minimal Covering for Full Symmetric Function Sets in Partial K-valued Logic

作　　者：龚志伟[1] 刘任任[2] 

机构地区：[1]中南林业科技大学理学院,长沙410004 [2]湘潭大学信息工程学院,湘潭411105

出　　处：《计算机科学》2012年第5期205-207,共3页Computer Science

基　　金：国家自然科学基金(60673193);中南林业科技大学校青年基金(QJ2010021B)资助

摘　　要：根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函数集在边数小于等于K时的准完备集之最小覆盖成员。According to the completeness theory in partial K-valued logic,starting with the chart of binary full symmetric relations,this paper first proved two kinds of preserving binary full symmetric relations function sets unbelong to the minimal covering members in partial K-valued logic,and then discussed the edge number of chart,decided the emergence of preserving binary full symmetric relations function sets in the minimal covering members in partial K-valued logic.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]