布尔函数

维基百科，自由的百科全书

在数学中，zh-cn:布尔;zh-hk:布林函数通常是如下形式的函数

F(b₁, b₂, ..., b_n)

带有 n 个来自两元素布尔代数 {0,1} 的布尔变量 b_i，F 的取值也在 {0, 1} 中。

在一般的定义域上的，取值在 {0, 1} 中的函数也叫做布尔值函数，所以布尔函数是它的特殊情况。带有定义域 {1, 2, 3, ... } 的这种函数通常叫做二进制序列，就是说 0 和 1 的无限序列；通过限制到 { 1, 2, 3, ..., n }，布尔函数是编码长度为 n 的序列的自然的方法。

它有 个布尔函数；它们在复杂性理论的问题和数字计算机的芯片设计中扮演基础角色。布尔函数的性质在密码学中扮演关键角色，特别是在对称密钥算法的设计中(参见 S-box)。

在布尔值函数上的布尔运算逐点(point-wise)组合值(比如通过 XOR 或其他布尔运算符)。

[编辑] 代数范式

布尔函数可以唯一的写为积(AND)之和(XOR)。这叫做代数范式 (ANF)。

序列 的值因此还唯一的表示一个布尔函数。布尔函数的代数度被定义为出现在乘积项中的 x_i 的最高数。所以 f(x₁,x₂,x₃) = x₁ + x₃ 有度数 1 (线性)，而 f(x₁,x₂,x₃) = x₁ + x₁x₂x₃ 有度数 3 (立方)。

[编辑] 参见

• 布尔代数主题列表
• 真值函数
• 零阶逻辑

[编辑] 外部连接

• Boolean Planet — boolean functions in cryptography.