# Definition:Functionally Complete

## Definition

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

## Also known as

A functionally complete set is also known as expressively adequate.