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

摘要

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