Category:Definitions/Truth Tables

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Truth Tables.
Related results can be found in Category: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}$.