Definition:Functionally Complete

Definition
Let $S$ be a set of truth functions.

Then $S$ is functionally complete iff all possible truth functions are definable from $S$.

Also known as
A functionally complete set is also known as expressively adequate.

Also see

 * Definition:Sheffer Operator