Assertion: circuit's input | /r/HasProperty | inverted
Facets:
value: before sending to an and gate
type: TEMPORAL
Source sentences:
text: The input corresponding to x 1 {\displaystyle x_{1}} will be inverted before sending to an AND gate with x 2 , {\displaystyle x_{2},} and the output of the AND gate will be sent to an OR gate with x 3 .