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.

The name Boolean here is for, the pioneer of what is often referred to as Boolean algebra.

Also see

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