# Definition:Functionally Complete

Jump to navigation
Jump to search

## Contents

## 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): Entry:**truth function**