搜索到58篇“ SHEFFER函数“的相关文章
- 一类3值逻辑2元Sheffer函数被引量：1
- 2016年
- 3值逻辑Sheffer函数研究是多值逻辑重要的基础理论之一。通过给出严格的相互可定义性,54个3值2元S型函数可分为相互定义的10个组,并且可分为3种类型:117型、135型和333型。其中,117型6个,135型36个,333型12个。通过严格的定义可以证明:只有333型中的6个不是Sheffer函数,其余48个均为Sheffer函数。在此基础上,可以进一步发现并证明大量的其他类Ci型和类Di型Sheffer函数。
- 杜国平
- 关键词：SHEFFER函数
- 部分四值逻辑中Sheffer函数的判定被引量：1
- 2011年
- 多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。
- 金辉霞何骞
- 关键词：多值逻辑SHEFFER函数准完备集
- 部分四值逻辑中Sheffer函数的判定与构造
- 多值逻辑是一种逻辑取值数大于2的非经典逻辑系统。其研究内容主要包括多值逻辑理论、电路与系统和应用等三个方面。
多值逻辑函数结构理论是多值逻辑理论的研究内容之一,它主要包括多值逻辑函数的完备性理论、函数表示理论...
- 朱玲芳
- 关键词：多值逻辑SHEFFER函数
- 文献传递
- 部分二值逻辑中Sheffer函数的构造与判定算法被引量：4
- 2010年
- 在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种部分二值逻辑中Sheffer函数的判定算法,此算法和传统判定算法相比,避免了繁琐的计算,可以说是一种较简单的判定算法。
- 何骞刘任任
- 关键词：SHEFFER函数准完备集
- 部分三值逻辑中Sheffer函数的判定算法被引量：6
- 2009年
- 根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。
- 何骞刘任任
- 关键词：多值逻辑准完备集SHEFFER函数
- 部分二、三值逻辑中Sheffer函数的构造及判定算法
- 多值逻辑是指一切逻辑值的取值数大于2的逻辑,它是计算机科学技术的重要分支。多值逻辑的研究内容主要包括多值逻辑的理论、多值电路与多值系统、多值逻辑的应用。
在多值逻辑理论中,函数系完备性之判定问题是一个基本而又...
- 何骞
- 关键词：多值逻辑极大封闭集SHEFFER函数
- 文献传递
- 部分四值逻辑中Sheffer函数的判定与构造被引量：5
- 2008年
- 根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4*中的Sheffer函数。
- 刘任任
- 关键词：多值逻辑
- 关于部分K值逻辑Sheffer函数(V)被引量：1
- 2004年
- 根据部分多值逻辑的完备性理论[1],本文证明了m=2时,关系图为对称H图的一类单纯可离函数集在P k的准完备集之最小覆盖中必出现。
- 李舒刘任任
- 关键词：SHEFFER函数数集多值逻辑
- 关于部分K值逻辑Sheffer函数(Ⅳ)
- 2004年
- 根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P k的极大封闭集之最小覆盖中k在的极大封闭集之最小覆盖中不出现,另一类在P 必须出现。
- 李舒刘任任
- 关键词：多值逻辑SHEFFER函数极大封闭集
- 关于部分K值逻辑Sheffer函数(IV)被引量：5
- 2004年
- 根据部分多值逻辑的完备性理论 [罗铸楷等 ] ,证明了 m =2时的一类正则可离函数集在P k 的极大封闭集之最小覆盖中必不出现 .
- 刘玉珍刘任任
- 关键词：多值逻辑SHEFFER函数极大封闭集
相关作者
- 刘任任
- 作品数：127被引量：375H指数：12
- 供职机构：湘潭大学信息工程学院
- 研究主题：多值逻辑 SHEFFER函数 准完备集 四值逻辑 极大封闭集
- 刘玉珍
- 作品数：10被引量：26H指数：4
- 供职机构：湘潭大学信息工程学院
- 研究主题：SHEFFER函数 多值逻辑 极大封闭集 准完备集 数集
- 王婷
- 作品数：18被引量：64H指数：4
- 供职机构：重庆理工大学
- 研究主题：多值逻辑 准完备集 SHEFFER函数 多值逻辑函数 工科
- 周小强
- 作品数：14被引量：27H指数：3
- 供职机构：湖南理工学院计算机学院
- 研究主题：多值逻辑 正则可离关系 SHEFFER函数 P4 数集
- 何骞
- 作品数：5被引量：6H指数：2
- 供职机构：湖南城市学院数学与计算科学系
- 研究主题：SHEFFER函数 准完备集 多值逻辑 三值逻辑 二值逻辑
