Category:Truth Functions

From ProofWiki
Jump to navigation Jump to search

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


Let $\mathbb B$ be the Boolean domain $\set {\T, \F}$.

Let $k$ be a natural number.

A mapping $f: \mathbb B^k \to \mathbb B$ is called a truth function.

Subcategories

This category has the following 3 subcategories, out of 3 total.

Pages in category "Truth Functions"

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