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.


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


Pages in category "Truth Functions"

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