代数免疫度是衡量布尔函数抵抗代数攻击的重要指标。最近,Mesnager等研究了布尔函数的零化子与函数所对应循环码最小距离之间的联系,代数免疫度的下界可以由对应的循环码的最小距离得到。解决了Mesnager提出的一个公开问题,给出了一类特定函数的零化子次数的下界,并得到一类布尔函数的代数免疫度的下界。
1
本文在基本命题逻辑系统 MTL中主要对理论的余零化子和结论的性质及其相互关系进行了.研究。首先,在 MTL系统中给出了理论的余零化子的概念,讨论了理论的余零化子的一些基本性质;.其次,对 MTL系统中理论的结论的性质进行了进一步研究;最后,讨论了 MTL系统中理论的余零化子.和结论之间的相互关系。.
1