Assertion: gate's input | /r/HasProperty | the same
Facets:
Source sentences:
text: Another way of looking at this circuit is to observe that the output is 1 if the inputs are different, but 0 if the inputs are the same.
text: If the inputs are the same, the output is a logic 0.