Assertion: logic's operator | /r/HasProperty | commutative monoids
Facets:
Source sentences:
text: The operators here with equal left and right identities (XOR, AND, XNOR, and OR) are also commutative monoids because they are also associative .