在数学中，布尔函数（Boolean function）描述如何基于对布尔输入的某种逻辑计算确定布尔值输出。它们在复杂性理论的问题和数字计算机的芯片设计中扮演基础角色。布尔函数的性质在密码学中扮演关键角色，特别是在对称密钥算法的设计中（参见S-box）。
有限布尔函数.在数学中，有限布尔函数是如下形式的函数f : B → B，这里的B = {0, 1}是布尔域，而"k"是非负整数。在"k" = 0的情况下，函数简单的是B的一个恒定元素。更一般的说，形如"f" : "X" → B函