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