Assertion: boolean algebra | /r/HasProperty | a list of operations
Facets:
Source sentences:
text: A Boolean algebra (B,∨,∧,¬) is an algebra, that is, a set and a list of operations, consisting of a nonempty set B, two binary operations x∨y and x∧y, and a unary operation ¬x, satisfying the equational laws of Boolean logic.