论文部分内容阅读
基于布尔函数代数正规型及正规性的定义和性质，通过计数的方法，研究了非正规且具有较高代数次数的布尔函数的存在性。结论表明，随着变元个数的不断增大，高次非正规布尔函数在整个函数空间中的比率越来越大，当变元个数趋于无穷时比率趋近于1。该结论为对称密码中密码函数的选取提供了支持。特别地，指出了四次非正规布尔函数变元个数的下界。