\begin{definition}[Definition:Functionally Complete]
Let $S$ be a set of truth functions.
Then $S$ is '''functionally complete''' {{iff}} all possible truth functions are definable from $S$.
\end{definition}