Definition:Boolean Algebra/Meet

From ProofWiki
Jump to navigation Jump to search

Definition

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


The operation $\wedge$ is called meet.


Also known as

The operation $\wedge$ is often called the Boolean product.


Sources