Definition:Join (Boolean Algebra)/Also known as

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {S, \vee, \wedge, \neg}$ be a Boolean algebra.


The operation $\vee$ is often called the Boolean sum.


Sources