Line 1: |
Line 1: |
− | 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>
| + | 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 algorithms]] (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 computers. |
| | | |
− | ==See also== | + | ==Syllabus== |
| + | |
| + | ===Logical operators=== |
| | | |
| {{col-begin}} | | {{col-begin}} |
| {{col-break}} | | {{col-break}} |
− | * [[Algebra of sets]] | + | * [[Exclusive disjunction]] |
− | * [[Boolean algebra]] | + | * [[Logical conjunction]] |
| + | * [[Logical disjunction]] |
| + | * [[Logical equality]] |
| + | {{col-break}} |
| + | * [[Logical implication]] |
| + | * [[Logical NAND]] |
| + | * [[Logical NNOR]] |
| + | * [[Logical negation|Negation]] |
| + | {{col-end}} |
| + | |
| + | ===Related topics=== |
| + | |
| + | {{col-begin}} |
| + | {{col-break}} |
| + | * [[Ampheck]] |
| * [[Boolean domain]] | | * [[Boolean domain]] |
| + | * [[Boolean function]] |
| + | * [[Boolean-valued function]] |
| {{col-break}} | | {{col-break}} |
− | * [[Boolean value]] | + | * [[Logical graph]] |
− | * [[Boolean-valued function]] | + | * [[Logical matrix]] |
| + | * [[Minimal negation operator]] |
| + | * [[Peirce's law]] |
| + | {{col-break}} |
| + | * [[Propositional calculus]] |
| + | * [[Truth table]] |
| + | * [[Universe of discourse]] |
| * [[Zeroth order logic]] | | * [[Zeroth order logic]] |
| {{col-end}} | | {{col-end}} |
− |
| |
− | ==External links==
| |
− |
| |
− | * [http://www.isi.qut.edu.au/people/fuller/ Boolean Planet] — boolean functions in cryptography.
| |
| | | |
| ==Document history== | | ==Document history== |
Line 24: |
Line 44: |
| Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders. | | Portions of the above article were adapted from the following sources under the [[GNU Free Documentation License]], under other applicable licenses, or by permission of the copyright holders. |
| | | |
− | * [http://www.getwiki.net/-Boolean_Function Boolean function], [http://www.getwiki.net/ GetWiki]. | + | {{col-begin}} |
− | | + | {{col-break}} |
− | * [http://wikinfo.org/index.php/Boolean_function Boolean function], [http://wikinfo.org/index.php/Main_Page Wikinfo]. | + | * [http://mywikibiz.com/Boolean_function Boolean Function], [http://mywikibiz.com/ MyWikiBiz] |
| + | * [http://beta.wikiversity.org/wiki/Boolean_function Boolean Function], [http://beta.wikiversity.org/ Beta Wikiversity] |
| + | * [http://planetmath.org/encyclopedia/BooleanFunction.html Boolean Function], [http://planetmath.org/ PlanetMath] |
| + | {{col-break}} |
| + | * [http://www.wikinfo.org/index.php/Boolean_function Boolean Function], [http://www.wikinfo.org/ Wikinfo] |
| + | * [http://www.textop.org/wiki/index.php?title=Boolean_function Boolean Function], [http://www.textop.org/wiki/ Textop Wiki] |
| + | * [http://en.wikipedia.org/w/index.php?title=Boolean_function&oldid=60886833 Boolean Function], [http://en.wikipedia.org/ Wikipedia] |
| + | {{col-end}} |
| | | |
− | * [http://en.wikipedia.org/wiki/Boolean_function Boolean function], [http://en.wikipedia.org/ Wikipedia].
| + | <br><sharethis /> |
| | | |
− | [[Category:Boolean algebra]] | + | [[Category:Combinatorics]] |
− | [[Category:Cryptography]] | + | [[Category:Computer Science]] |
| + | [[Category:Discrete Mathematics]] |
| [[Category:Logic]] | | [[Category:Logic]] |
| [[Category:Mathematics]] | | [[Category:Mathematics]] |