Category:Truth Tables

From ProofWiki
Jump to navigation Jump to search

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}$.