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 can also be described as expressively adequate.

Also see

• Definition:Sheffer Operator

• Results about functional completeness can be found here.

Sources

• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): truth function
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): complete: 3.
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): truth function