互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

P4中保四元正则可离关系非最小覆盖的剔除


□ 周小强 刘任任

  摘 要:为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论, 对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的成员。
  关键词:多值逻辑; 完备性; 正则可离关系; 最小覆盖
  中图分类号:TP301文献标志码:A
  文章编号:1001-3695(2009)06-2090-02
  doi:10.3969/j.issn.1001-3695.2009.06.026
  
  Elimination of not belonging to minimal covering of preserving quaternaryregularly separable relations in partial four-valued logic
  ZHOU Xiao-qiang1,LIU Ren-ren2
  (1.Dept. of Mathematics, Hunan Institute of Science & Technology,Yueyang Hunan 414006, China;2.College of Information Engineering, Xiangtan University, Xiangtan Hunan 411105, China)
  Abstract:To determine the minimal covering in partial four-valued logic, according to the completeness theory in partial K-valued logic, regularly separable relation and the similar relationship theory among precomplete sets,analyzed the minimal covering in partial four-valued logic, and proved 67 sets of 109 preserving quaternary regularly separable relations function sets not belong to the minimal covering members in partial four-valued logic.
  Key words:multi-valued logic; completeness; regularly separable relations; minimal covering ......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017