Assertion: logic's operator | /r/CreatedBy | finite boolean algebras
Facets:
Source sentences:
text: Logical operators over bit vectors (corresponding to finite Boolean algebras) are bitwise operations.