Assertion: boolean algebra | /r/HasProperty | boolean ring
Facets:
Source sentences:
text: A ring satisfying this condition is called a Boolean ring, whence a Boolean algebra is a Boolean ring, with the ring multiplication as conjunction and the ring addition as XOR (exclusive-or) or ⊕, definable as x⊕y = (x∧¬y)∨(¬x∧y), which in the two-element Boolean algebra can be defined as the truth value of x ≠ y, and which can also be viewed as addition mod 2.