# Category:Functional Completeness

Let $S$ be a set of truth functions.
Then $S$ is functionally complete if and only if all possible truth functions are definable from $S$.