Category:Truth Tables
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}$.
Pages in category "Truth Tables"
The following 18 pages are in this category, out of 18 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
T
- Truth Table/Examples
- Truth Table/Examples/((not p) and q) implies ((not q) and r)
- Truth Table/Examples/(not p) and (not q)
- Truth Table/Examples/(p and q) implies r
- Truth Table/Examples/(p and q) or (r and s)
- Truth Table/Examples/(p iff (not q)) or q
- Truth Table/Examples/not ((p implies q) implies (not (q implies p)))
- Truth Table/Examples/p implies (q implies r)
- Truth Table/Examples/p implies (q or r)