# Definition:Complement of Truth Function

Jump to navigation
Jump to search

## Definition

Let $f: \Bbb B^k \to \Bbb B$ be a truth function.

The **complement** of $f$ is the function $f'$ defined by:

- $f': \Bbb B^k \to \Bbb B, f' \left({p}\right) = \neg \left({f \left({p}\right)}\right)$

## Also denoted as

The **complement** of $f$ is sometimes written as $\overline f$.

This article is complete as far as it goes, but it could do with expansion.In particular: About templateYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Expand}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |