部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定  

Classification on Full Symmetric Function Sets and Decision on the Minimal Covering Members in Partial Four-valued Logic

作　　者：刘任任[1] 王婷[1] 谭昊勋[2] 

机构地区：[1]湘潭大学信息工程学院,湘潭411105 [2]湘潭大学能源工程学院,湘潭411105

出　　处：《计算机科学》2010年第11期257-260,共4页Computer Science

基　　金：国家基金项目"部分多值逻辑函数结构理论研究"(60673193);湖南省教育厅基金项目"部分多值逻辑中准完备集的分类研究"(10C768)资助

摘　　要：根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。According to the completeness theory and concept of similar relationship in partial k-valued logic,the full symmetric function sets were classified by means of similarity relationship and some sets were proved minimal covering component of precomplete classes.

关 键 词：多值逻辑 SHEFFER函数 最小覆盖 

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