# Category:Truth Tables

This category contains results about Truth Tables.
Definitions specific to this category can be found in Definitions/Truth Tables.

A truth table is a tabular array that represents the computation of a truth function, that is, a function of the form:

$f : \mathbb B^k \to \mathbb B$

where:

$k$ is a non-negative integer
$\mathbb B$ is a set of truth values, usually $\set {0, 1}$ or $\set {\T, \F}$.

## Subcategories

This category has only the following subcategory.