Assertion: boolean algebra | /r/HasProperty | set
Facets:
value: with a unary operation
type: OTHER
value: with ∨
type: OTHER
value: with \(\cdot\
type: OTHER
Source sentences:
text: A Boolean algebra (BA) is a set \(A\) together with binary operations + and \(\cdot\) and a unary operation \(-\), and elements 0, 1 of
text: A Boolean algebra is any set with binary operations ∧ and ∨ and a unary operation
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.
text: A Boolean algebra is any set with binary operations ∧ and ∨ and a unary operation