部分三值逻辑中Sheffer函数的判定算法 被引量：4

1

作者 何骞 刘任任 《计算机工程与应用》 CSCD 北大核心 2009年第19期52-54,57,共4页

根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。

关键词 多值逻辑 准完备集 最小覆盖 SHEFFER函数

下载PDF 职称材料

部分二值逻辑中Sheffer函数的构造与判定算法 被引量：4

2

作者 何骞 刘任任 《计算机工程与应用》 CSCD 北大核心 2010年第5期28-30,共3页

在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种... 在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheffer函数的算法,此算法能够构造出部分二值逻辑中的全部Sheffer函数,在构造算法的基础上,进一步提出了一种部分二值逻辑中Sheffer函数的判定算法,此算法和传统判定算法相比,避免了繁琐的计算,可以说是一种较简单的判定算法。 展开更多

关键词 SHEFFER函数 准完备集 最小覆盖

下载PDF 职称材料

部分四值逻辑中Sheffer函数的判定 被引量：1

3

作者 金辉霞 何骞 《计算机工程与应用》 CSCD 北大核心 2011年第29期140-142,共3页

多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分... 多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖。在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法。此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数。 展开更多

关键词 多值逻辑 SHEFFER函数 准完备集 最小覆盖

下载PDF 职称材料

部分K值逻辑中单纯可离函数集结构研究

4

作者 龚志伟 刘任任 王婷 《山东大学学报（理学版）》 CAS CSCD 北大核心 2012年第5期89-92,97,共5页

根据部分K值逻辑的完备性理论,研究了部分K值逻辑中单纯可离关系函数集的结构。首先解出了部分K值逻辑中m元关系直接划分的个数,然后根据划分求出了部分四值逻辑的所有单纯可离函数集,最后分析了部分K值逻辑中保K元单纯可离关系函数集... 根据部分K值逻辑的完备性理论,研究了部分K值逻辑中单纯可离关系函数集的结构。首先解出了部分K值逻辑中m元关系直接划分的个数,然后根据划分求出了部分四值逻辑的所有单纯可离函数集,最后分析了部分K值逻辑中保K元单纯可离关系函数集的性质。 展开更多

关键词 多值逻辑 准完备集 单纯可离函数集

原文传递

部分多值逻辑的准完备集中同源关系的研究

5

作者 龚志伟 《计算机工程与科学》 CSCD 北大核心 2014年第8期1533-1537,共5页

通过研究准完备集之间存在的内在联系,首次提出了两个m项关系同源的概念,然后分析并证明了保同源关系的准完备集之间的性质,最后阐述了此性质在准完备集之最小覆盖的证明过程中所发挥的作用。

关键词 多值逻辑 准完备集 最小覆盖 同源关系

下载PDF 职称材料

关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果 被引量：4

6

作者 刘玉珍 刘任任 《海军工程大学学报》 CAS 2004年第5期17-20,共4页

根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.

关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖

下载PDF 职称材料

部分K值逻辑中最小覆盖之判定的一些结果 被引量：5

7

作者 刘玉珍 刘任任 《计算机工程与应用》 CSCD 北大核心 2007年第23期38-39,50,共3页

根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。

关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖

下载PDF 职称材料

部分K值逻辑中正则可离函数集的一些结果 被引量：2

8

作者 刘玉珍 刘任任 《计算机工程与应用》 CSCD 北大核心 2006年第9期48-49,72,共3页

根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2(｛1,2｝)∪G"2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员。

关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖

下载PDF 职称材料

正则可离关系之最小覆盖成员的判定结果

9

作者 刘玉珍 刘任任 《计算机工程与应用》 CSCD 北大核心 2007年第5期28-29,44,共3页

根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2(｛1,2｝)∪■2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。

关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖 正则可离关系

下载PDF 职称材料

部分K值逻辑中完满对称函数集的确定和构造

10

作者 龚志伟 刘任任 《计算机工程与科学》 CSCD 北大核心 2013年第2期81-84,共4页

根据部分K值逻辑的完备性理论,对于一般的K,首先确定了保二元完满对称函数集的个数,并给出了这些函数集的构造方法;然后确定了所有的完满对称函数集的个数,并给出了这些函数集的构造方法。

关键词 多值逻辑 准完备集 完满对称函数集

下载PDF 职称材料

关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ) 被引量：9

11

作者 肖凡 刘任任 《湘潭大学自然科学学报》 CAS CSCD 2001年第3期15-19,共5页

根据部分多值逻辑的完备性理论，证明了ｍ＝２时的一类完满对称函数集在Ｐ*Ｋ中极大封闭集之最小覆盖中必需出现．

关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集

下载PDF 职称材料

部分二值逻辑中Sheffer函数的判定 被引量：6

12

作者 刘任任 陈建二 陈松乔 《计算机工程》 CAS CSCD 北大核心 2004年第24期19-21,共3页

利用保关系的思想,定出了部分二值逻辑函数中准完备集的最小覆盖。从而给出了部分二值Sheffer函数的最简判定方法。该方法具有重要的理论和实际意义。

关键词 SHEFFER函数 准完备集 最小覆盖

下载PDF 职称材料