Definition:Meet (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 $\wedge$ is often called the Boolean product.


Sources