Changes

In [[mathematics]], a '''finitary boolean function''' is a [[function (mathematics)|function]] of the form <math>f : \mathbb{B}^k \to \mathbb{B},</math> where <math>\mathbb{B} = \{ 0, 1 \}</math> is a [[boolean domain]] and where <math>k\!</math> is a nonnegative integer.  In the case where <math>k = 0,\!</math> the function is simply a constant element of <math>\mathbb{B}.</math>

In [[mathematics]], a '''finitary boolean function''' is a [[function (mathematics)|function]] of the form <math>f : \mathbb{B}^k \to \mathbb{B},</math> where <math>\mathbb{B} = \{ 0, 1 \}</math> is a [[boolean domain]] and where <math>k\!</math> is a nonnegative integer.  In the case where <math>k = 0,\!</math> the function is simply a constant element of <math>\mathbb{B}.</math>

There are <math>2^{2^k}</math> such functions.  These play a basic role in questions of [[complexity theory]] as well as the design of circuits and chips for [[digital computer]]s. The properties of boolean functions play a critical role in [[cryptography]], particularly in the design of [[symmetric key algorithm]]s (see [[S-box]]).

There are <math>2^{2^k}</math> such functions.  These play a basic role in questions of [[complexity theory]] as well as the design of circuits and chips for [[digital computer]]s. The properties of boolean functions play a critical role in [[cryptography]], particularly in the design of [[symmetric key algorithm]]s (see [[S-box]]).

==See also==

==See also==

{{col-begin}}

{{col-begin}}

{{col-break}}

{{col-break}}

* [[Algebra of sets]]

* [[Algebra of sets]]

* [[Boolean algebra]]

* [[Boolean algebra]]

* [[List of Boolean algebra topics|Boolean algebra topics]]

* [[Boolean domain]]

{{col-break}}

{{col-break}}

* [[Boolean value]]

* [[Boolean value]]

* [[Boolean-valued function]]

* [[Boolean-valued function]]

* [[Zeroth order logic]]

* [[Zeroth order logic]]

{{col-end}}

{{col-end}}