SHEFFER函数相关论文
多值逻辑是由二值逻辑扩展而来的。经典的二值逻辑只有两个状态，即“真”和“假”，任何命题“非真即假”，二者必居其一，即排中律成立。......
多值逻辑是指一切逻辑值的取值数大于2的逻辑.多值逻辑可以更好地解决用二值逻辑不易解决的问题,因此有着广阔的发展前景.多值逻辑......
多值逻辑是计算机科学技术的重要分支。它研究的内容主要包括多值逻辑的理论、多值电路与多值系统、多值逻辑的应用。 在多值逻......
多值逻辑函数结构理论包括完备性理论、函数表示理论以及单向陷门函数,其中函数系完备性之判定问题是一个基本而重要的问题,此问题......
多值逻辑是指一切逻辑值的取值数大于2的逻辑。它可以更好地解决用二值逻辑不易解决的问题。由于其独特功能和广阔的应用前景,使得......
多值逻辑是计算机科学中的一个重要分支。随着计算机科学与技术的不断进步,多值逻辑得到了前所未有的发展,其研究主要包括理论、电......
多值逻辑是指一切逻辑值的取值数大于2的逻辑,它是计算机科学技术的重要分支。多值逻辑的研究内容主要包括多值逻辑的理论、多值电......
多值逻辑是一种逻辑取值数大于2的非经典逻辑系统。其研究内容主要包括多值逻辑理论、电路与系统和应用等三个方面。多值逻辑函数......
根据部分多值逻辑的完备性理论，证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中．......
根据部分多值逻辑的完备性理论[罗铸楷等],证明了m=2时的一类正则可离函数集在P*k的极大封闭集之最小覆盖中必不出现.......
Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.根据部分多值逻辑函数的完备性理论,研究了......
根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论，对部分四值逻辑中最小覆盖的确定进行分析，定出了部分......
根据部分K值逻辑的完备性理论和相似关系概念,对完满对称函数集进行了相似关系分类,并确定了其中的准完备集之最小覆盖成员。......
根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑......
Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.文中根据多值逻辑函数理论中＂保关系＂的系统思......
3值逻辑Sheffer函数研究是多值逻辑重要的基础理论之一。通过给出严格的相互可定义性，54个3值2元5型函数可分为相互定义的10个组，并......
为确定部分四值逻辑的最小覆盖，根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论，对部分四值逻辑的最小......
根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值......
根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论，定出了必不属于部分四值逻辑中保三元正则可离关系函数集之最小覆盖......
根据部分多值逻辑完备性理论，证明了当m=2，σ=e时，若正则可离函数关系G2-G2（{1，2}）U^-G2之关系图的基础图连通且如含回路必须是M-回路，则T......
根据部分K值逻辑完备性理论，得到了当m=2，δ=e，时，若正则可离关系G2=G2（{1，2}）U↑-G2之关系图的基础图连通，则T（G2）不是PK^＊的最小覆盖成员的......
根据部分K值逻辑完备性理论，证明了当m=2，σ=e时，若正则可离关系G2=G2（{1，2}）∪G^-2之关系图的基础图仅为N图．则T（G2）不是PK的最小覆盖成员......
在深入研究部分二值逻辑中Sheffer函数的基础上,根据部分二值逻辑中准完备集的最小覆盖,提出了一种高效地构造部分二值逻辑中Sheff......
多值逻辑是指一切逻辑值的取值数大于2的逻辑。Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题，此问题的解决依赖于定......
根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念，构造同源关系的概念。对部分四值逻辑中最小覆盖的确定进行分析。首......
Sheffer函数的判定与构造是多值逻辑函数结构理论中的重要问题之一，此问题可归结为定出多值逻辑函数集之准完备集的最小覆盖。本文......
在多值逻辑函数结构理论中, Sheffer函数的判定与构造是其中的一个重要的组成部分.其判定问题与函数集完备性之判定密切相关, 而完......
对部分四值逻辑中保完满对称关系的78个准完备集按相似关系别除不属于最小覆盖的32个准完备集，为部分四值逻辑中准完备集最小覆盖的......
根据部分多值逻辑的完备性理论[1],本文证明了m=2时,关系图为对称H图的一类单纯可离函数集在Pk的准完备集之最小覆盖中必出现.......
根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪(G-)2之关系图仅是一个回路,则T(G2)不是P*k的最小覆盖......
根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P*k在的极大封闭集之最小覆盖中不出现,另一类在P*......
