部分多值逻辑函数集中准完备集的分类问题研究  

Research on Classification of Precomplete Classes in Partial Multiple-valued Logic Function Sets

作　　者：王婷[1,2] 刘任任[1,2] 马珂[1] 

机构地区：[1]湘潭大学信息工程学院,湘潭411105 [2]湘潭大学智能计算与信息处理教育部重点实验室,湘潭411105

出　　处：《计算机科学》2014年第8期60-62,共3页Computer Science

基　　金：国家自然科学基金(60673193);湖南省重点学科建设项目(计算机科学与技术);湖南省科技厅计划(2011FJ6038)资助

摘　　要：Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题。根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从而为解决部分多值逻辑中Sheffer函数的判定问题提供了研究基础。The simplest decision on Sheffer function is an important theoretical and practical problem in structure theory of multiple-valued logic functions. According to the completeness theory of partial multiple-valued logic functions, this paper studied the classification of pre-complete classes in multiple-valued logic function sets. The obtained results pro- vide some basis for judging Sheffer functions in partial multiple-valued logic.

关 键 词：多值逻辑 完备性 保关系 准完备集 SHEFFER函数 

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