Definition:Truth Function

Definition
Let $\mathbb B$ be the Boolean domain $\set {\T, \F}$.

Let $k$ be a natural number.

A mapping $f: \mathbb B^k \to \mathbb B$ is called a truth function.

Also known as
Some sources hyphenate: truth-function.

Others speak of a boolean function or a boolean operator, alluding to the fact that there are two possible outputs.

Also see

 * Definition:Truth Table, a common method for tabulating the definition of a truth function.