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.