Definition:Boolean Algebra/Complement

From ProofWiki
Jump to navigation Jump to search

Definition

Consider the Boolean algebra $\struct {S, \vee, \wedge, \neg}$


The operation $\neg$ is called complementation.

Thus for $a \in S$, $\neg a$ is called the complement of $a$.


Sources