nLab
boolean function

A boolean function of nn variables is a function from 𝔹 n\mathbb{B}^n to 𝔹\mathbb{B}, where 𝔹\mathbb{B} is the boolean domain. Compare a boolean-valued function, where 𝔹 n\mathbb{B}^n may be replaced by any set XX.

The logical operations in classical logic may all be interpreted as boolean functions, given by their truth tables.

Last revised on November 16, 2009 at 08:17:45. See the history of this page for a list of all contributions to it.