布尔函数

在数学和逻辑中，布尔函数是一个函数，其参数以及函数本身均采用两个元素组成的值（通常为{0,1}）。结果，有时将其称为“切换功能”。

布尔函数是一种可用于通过逻辑类型的计算来评估与其布尔输入有关的任何布尔输出的函数。这些功能在复杂性理论以及数字计算机的电路和芯片设计中起着基本作用。布尔函数的属性在密码学中起着至关重要的作用，尤其是在对称密钥算法的设计中。

布尔函数往往是由在句子表示命题逻辑，有时作为多元多项式超过GF（2），但是更有效的表示是二元决策图（BDD），否定正常形式，和命题向无环图（PDAG）。

在合作博弈论中，单调布尔函数称为简单博弈（投票博弈）。这个概念被用来解决社会选择理论中的问题。

为了优化电子电路，可以使用Quine–McCluskey算法或Karnaugh映射最小化布尔函数。