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

## Pages in category "Truth Tables"

The following 9 pages are in this category, out of 9 total.

### M

- Method of Truth Tables
- Method of Truth Tables/Indirect Technique
- Method of Truth Tables/Indirect Technique/Example
- Method of Truth Tables/Proof of Interderivability
- Method of Truth Tables/Proof of Logical Implication
- Method of Truth Tables/Proof of Tautology
- Method of Truth Tables/Proof of Tautology/Examples
- Method of Truth Tables/Proof of Tautology/Examples/Peirce's Law