您的位置: 专家智库 > >

湖南省教育厅科研基金(08C390)

作品数:1 被引量:0H指数:0
相关作者:刘任任周小强更多>>
相关机构:湖南理工学院湘潭大学更多>>
发文基金:湖南省教育厅科研基金国家自然科学基金湖南省教育厅重点项目更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇正则
  • 1篇正则可离关系
  • 1篇函数
  • 1篇多值逻辑
  • 1篇P4
  • 1篇SHEFFE...

机构

  • 1篇湘潭大学
  • 1篇湖南理工学院

作者

  • 1篇周小强
  • 1篇刘任任

传媒

  • 1篇山东大学学报...

年份

  • 1篇2008
1 条 记 录,以下是 1-1
排序方式:
P4^*中保二元正则可离关系非最小覆盖的剔除
2008年
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。
周小强刘任任
关键词:多值逻辑SHEFFER函数正则可离关系
共1页<1>
聚类工具0