Assertion: boolean algebra | /r/AtLocation | distributive
Facets:
value: given any elements
type: OTHER
Source sentences:
text: Boolean logics be left-distributive over + if, given any elements x, y and z of S,