Definition:Functionally Complete

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

Also see

  • Results about functional completeness can be found here.