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