Definition:Functionally Complete
Jump to navigation
Jump to search
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.
Also see
- Definition:Sheffer Operator
- Results about functional completeness can be found here.
Sources
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): truth function