Assertion: circuit's output | /r/HasProperty | true
Facets:
Source sentences:
text: The output of a two input exclusive-OR is true only when the two input values are different, and false if they are equal, regardless of the value.
text: The output of the rectangular-shaped symbol is true if the number of true inputs is exactly one or exactly the number following the "=" in the qualifying symbol.