Definition:Complement of Truth Function

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 template You 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.