异或逻辑函数的简化

本文提出了一种简化异或门逻辑函数的计算机算法。这种算法用于简化n个输入变量的异或逻辑函数时,比快速Reed-Muller变换算法快n/[1+(n—1)2^-n]倍。     

相关免疫逻辑函数的特征矩阵及其计数

本文定义了取值于任意抽象集合的逻辑函数的特征矩阵及其相关免疫性,用概率的方法研究了这类最一般的逻辑函数具有相关免疫性时,其特征矩阵的性质,由此给出了逻辑函数相关免疫的等价判别条件,据此给出了这类相关免疫逻辑函数的一种构造方法并对相关免疫逻辑函数的计数进行了研究,得到了一个一般性的下界.     

R_O-蕴涵算子所导出的逻辑函数的特征

R_0-蕴涵算子是王国俊在2000年建立的一种新型蕴涵算子.目前,R_0-蕴涵算子在模糊控制、近似推理、模糊识别、模糊系统、计量逻辑的研究方面有着重要应用,而这些应用的共同点,是公式通过R_0-蕴涵算子所导出的逻辑函数在其中发挥着关键的作用.本文在R_0-型命题逻辑系统中,对由n个原子公式生成的公式通过R_0-蕴涵算子导出的逻辑函数的特征进行了研究,得到了函数可由R_0-型命题逻辑系统中的公式通过R_0-蕴涵算子导出的充要条件.     

化简Fuzzy逻辑函数直接方法的注记

本文改进了［１］给出的化简Ｆｕｚｚｙ逻辑函数的方法,首先给出广义互补项的概念,并应用它证明可删去顶的充要条件,然后给出了不满足定理条件的问题解决办法,从而得到一种既方便又能将Ｆｕｚｚｙ逻辑函数化到最简的办法．     

一类m值逻辑函数Chrestenson谱的分解式及其应用

本文给出一类ｍ值逻辑函数Ｃｈｒｅｓｔｅｎｓｏｎ谱的分解式,并据此给出了环Ｚｍ上非线性弹性函数的一些新的构造方法。     

关于两个P-值逻辑函数的和函数的Chrestenson谱公式

类似于两个布尔函数的和函数的ｗａｌｓｈ谱公式,本文给出了两个３－值、５－值、７－值逻辑函数和函数的Ｃｈｒｅｓｔｅｎｓｏｎ谱公式。     

Pr值逻辑函数相关免疫的等价判别条件

本文首先基于环Zpr中的元的padic分解并结合概率论的思想,给出了pr值随机变量的分解性质及pr值随机变量独立性的等价描述,然后在对pr值逻辑函数及其变元都进行padic分解的基础上,直接通过p值逻辑函数的Chrestenson谱给出了padic分解意义下pr值逻辑函数k阶相关免疫的线性组合引理和谱判别定理.     

三值模糊逻辑函数实现静险态的检测

在二值逻辑回路中 ,只存在 0 -险态和 1-险态。这两种静险态的检测是通过二值模糊逻辑函数实现的。本文将模糊逻辑函数中的变量取为三值 (即 0 ,α ,1)加以研究。给出了三值模糊逻辑函数 f关于某一变量 x存在 0 -险态 ,α -险态和 1-险态的充要条件 ,从中得到 :(1)借助三值模糊逻辑函数实现 12 -险态是行不通的 ;(2 )当α <12 ,传输向量中的第 j个分量为 12 时 ,可以通过三值模糊逻辑函数实现该变量的α -险态     

m值逻辑函数的谱分解式及广义Bent函数的递归构造

本文用概率方法得到ｍ值逻辑函数Ｃｈｒｅｓｔｅｎｓｏｎ循环谱的分解式,据此考察了ｍ值广义Ｂｅｎｔ函数一些新的性质,给出了递归构造ｍ（ｍ≠２ｍｏｄ４）值广义Ｂｅｎｔ函数的一般方法．     

m值逻辑函数的多分块仿射逼近

文章定义了ｍ值逻辑函数在Ｄｚｎｍ上的Ｃｈｒｅｓｔｅｎｓｏｎ变换，并考察了这类变换的性质，在此基础上提出了对ｍ值逻辑函数进行多分块仿射逼近的方法，并分析了这种方法的优越性。特别地，重点给出了布尔函数的多分块仿射逼近，并用此方法得到了文献［２］所给出的最大相关子。     

线面体布尔运算的模糊逻辑方法

本文推广第二作者建立色觉机制数学模型时发明的一种连续值逻辑方法－模糊开关准布尔代数，得到了线面体混合布尔函数－若干个互不相交的子区域－边界的求解方法；这种方法用布尔代数公式和ｍａｘ、ｍｉｎ运算代替复杂的条件判断，具有可靠性、通用性和简洁性。     

从事实逻辑到任务逻辑

在经典命题逻辑语言中引入附加算子几，较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”，介绍了“任务逻辑”的语义理论，并从语构上定义形式系统L与之对应，证明该系统的可靠性、完备性及可判定性定理．最后建立系统L中的一系列基本定理。     

集合与简易逻辑

本章是高中数学的起始章，集合的初步知识与简易逻辑知识，是学习、掌握和使用数学语言的基础．集合是学习数学的一个重要基础，集合的思想、集合的语言和集合的符号在高中数学的很多知识（如函数、数列、方程和不等式、立体几何和解析几何等）中都有着广泛而重要的应用．     

计量逻辑学中的雪崩逻辑公式

将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质。证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-12n-3≤k≤3×2n-3;n=3,4,…},在此基础上,通过引入函数ξ建立了n(n≥3)元雪崩布尔函数个数的表达式,给出了雪崩逻辑公式的构造方法。最后,研究了反射变换下k阶雪崩逻辑公式的性质。     

分划逻辑与着色卵石博奕

将Ｍａｌｉｔｚ量词Ｑ￣（ｍ，ｎ）的基数限制去掉，再作多分划拓广，便得到各种ｍｏｎａｄｉｃ型的分划量词。本文引入了分划逻辑的着色卵石博奕方法，证明了相应的Ｅｈｒｅｎｆｅｎｃｈｔ－Ｆｒａｓｓｅ定理，作为此方法的一个应用，证明了在表达能力上，ｍｏｎａｄｉｃ型的分划逻辑严格地弱于ｍｏｎａｄｉｃ二阶逻辑。     

Galois环对Zm环上一类逻辑函数的分析

本文利用特征谱对Galois环和Zm 上型为f(x ,y) =(q(x) ,… ,q(x) ) ·y +h(x)逻辑函数密码性质进行了分析 ,给出了 f(x ,y)的特征谱与 q(x)及h(x)的关系 ,而且指出当 q(x)与h(x)满足一定密码性质时 ,f(x ,y)具有好的密码性质     

BIK+-逻辑与非可换模糊逻辑

引入BIK -逻辑的概念,证明了BIK -逻辑的可靠性定理(基于BCC-代数)。同时,研究了BIK -逻辑与非可换模糊逻辑的关系,说明了各种源于模糊逻辑的代数结构之间的内在联系,并用一个图示表达了这些关系。     

一种求解混合多目标规划问题的功效函数法

逻辑生长函数相对于龚珀兹生长函数具有拐点高和对称性的特点,采用逻辑生长函数形式的功效函数法求解混合多目标规划问题具有形式简单、计算量小、符合实际的优点。证明了用这种方法求出的最优解是有效解。讨论了满意值对有效解的影响。逻辑生长函数还可以应用于多维变量评价的功效系数法中。     

平衡逻辑公式在逻辑度量空间中的分布

引入了平衡逻辑公式的概念,证明了和一个平衡逻辑公式等价的逻辑公式是平衡逻辑公式.并且n元平衡逻辑公式中等价类关于(一),ν,Λ,→运算封闭,等价类之集[A](A是n元平衡逻辑公式)关于包含序在ν,Λ下构成一个格.证明了n元平衡逻辑公式只占全体n元逻辑公式的很小一部分,其比例随n的增大而趋向于零.其次,n元平衡逻辑公式的真度总是等于1/2,任一n元平衡逻辑公式的任意小的邻城内都有非平衡逻辑公式,但是这些公式的真度随n的增大而趋向于1/2.最后,给出了平衡逻辑公式的表示定理.     

参态逻辑

提出参态逻辑,给出它的语言、语义和公理系统,并给出参态逻辑的完全性定理,论证了参态逻辑具有足够丰富的形式能力,可表达很大一类逻辑而作为其特殊形式.