Assertion: circuit's gate | /r/CapableOf | set intersection
Facets:
Source sentences:
text: The values in an integer circuit are sets of integers and the gates compute set union, set intersection, and set complement, as well as the arithmetic operations addition and multiplication.