S盒是许多加密算法唯一的非线性部件，其安全性对这些算法的密码分析至关重要。S盒输出的布尔表达式（即模2域上的代数多项式）被用于衡量S盒的非线性度等用途。在已知S盒真值表情况下，对求S盒各输出布尔表达式的各种算法进行了探讨和总结。其中，折半异或法在普通PC计算机上只需要[m2m-1]次操作，其中[m]为S盒的输入位数，且不需要占用额外的内存。