登录    注册    忘记密码

期刊文章详细信息

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

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

出  处:《计算机科学》

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

年  份:2010

卷  号:37

期  号:11

起止页码:257-260

语  种:中文

收录情况:BDHX、BDHX2008、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

摘  要:根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。

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

分 类 号:TP301.1]

参考文献:

正在载入数据...

二级参考文献:

正在载入数据...

耦合文献:

正在载入数据...

引证文献:

正在载入数据...

二级引证文献:

正在载入数据...

同被引文献:

正在载入数据...

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心