向量布尔函数代数免疫性质研究

通过讨论向量布尔函数零化子的代数次数,对向量布尔函数的代数免疫性质进行研究,得出其置换不变性,即在输入变量作仿射变换和输出变量作置换之后仍然保持不变,并得出向量布尔函数代数免疫与线性组合函数重量、Walsh谱以及非线性度之间的关系.     

逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式

证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.     

具有高阶代数免疫的弹性函数

构造了一类具有一阶弹性的函数.该函数是级联4个具有一对拟线性变量的子函数得到的.给出了新函数代数次数不增加的充分必要条件,代数免疫阶不增加的必要条件.选取的初始函数不满足代数次数和代数免疫不增加的必要条件,那么得到函数和初始函数相比,代数免疫至少增加1阶,代数次数增加1次,并且具有1阶弹性.     

带有对偶基的代数

特征为零域上的中心单代数具有很好的性质是因为它们都有对偶基；而当域的特征不为零时，同样是中心单代数；情况就不一样了，主要是它们不具有对偶基，因而给出了在域F的特征p为不零情况下，单分离代数存在对偶基的充分必要条件是很有趣的，设A是域F上的n维单分离代数，且其特征p不整除n，则对A的任何一组基{a1,a2,…,an}，都存在惟一的对偶基，如果C是A的中心，A在C上的维数不能被p整除，则其任何基都存在对偶基，我们还利用对偶基来刻画这样的分离代数的中心，进而推广了特征为零时的Whitehead引理，最后，利用迹函数的方法刻画了非半单代数的幂零根和相应的直和分解。     

逻辑函数的减-非和除-非展开式的最小化方法

讨论了布尔减和布尔除的定义以及逻辑函数在布尔减及非运算、布尔除及非运算完备集中的展开,给出了减-非和除-非逻辑函数的化简公式.在此基础上提出了减-非和除-非逻辑函数的代数化简法以及图形化简法,并给出了化简实例.实例验证了上述化简方法的有效性.     

逻辑函数在布尔减、布尔除、非代数系统中的规范展开式

证明了布尔减与非运算、布尔除与非运算均构成完备集，并根据布尔除、布尔减的运算规则和性质，从最小项、最大项展开式出发，推导了任意逻辑函数在这两个完备集中的规范展开式。得到的展开式形式简单，容易记忆，与函数在与、或、非代数系统中的规范展开式之间的转换非常便捷。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。     

逻辑函数在布尔减-除-非代数系统中的标准展开式及其化简

布尔减、布尔除与非运算构成完备集．从与-或-非代数系统中的最小项、最大项展开式出发,推导了任意逻辑函数在减-除-非代数系统中的标准DOS（减之除）和标准SOD（除之减）展开式．在此基础上给出了DOS和SOD逻辑函数的代数化简法和图形化简法,给出的化简实例验证了上述化简方法的有效性．     

关于对称函数的性质之补充研究

在与-或-非代数系统中存在一种构成完备集的对称函数:基本对称函数.其定义如下:即S_i为所有i个变量取原变量,余下n—i个变量取反变量组成的布尔积(相与)之或它表示当n个输人变量中任意i个变量为1,其余变量为0时,函数值为1;否则函数值为0.任意对称函数可表示为     

计算含无关项布尔c-导数的K图方法

为简化与-或-非代数系统中含无关项逻辑函数布尔c-导数的计算过程,从逻辑函数布尔c-导数的定义出发,提出了计算含无关项一阶布尔c-导数和二阶布尔c-导数的K图方法.该方法通过折叠映射K图中的填入格值,并对相应格值进行"或"运算以计算含无关项布尔c-导数.应用实例表明,该方法直观有效,且能直接得到布尔c-导数的最简与/或式.     

简化分解图在计算布尔e-导数中的应用

为简化与-或-非代数系统中一阶和n 阶布尔e-导数的计算过程,提出了一种基于简化分解图的新方法.该方法通过计算简化分解图相应列的与运算得到一阶布尔e-导数,n 阶布尔e-导数通过计算倒置简化分解图来得到.该方法同样适用于含任意项逻辑函数一阶和n 阶布尔e-导数的计算.应用实例表明该方法具有直观、简单等特点.