Assertion: gate's output | /r/HasProperty | logic
Facets:
Source sentences:
text: With the gate shown to the left, both inputs must have logic 1 signals applied to them in order for the output to be a logic 0.
text: A NOT gate always have high or logical 1 output when its input is low or logical 0.
text: If the inputs are the same, the output is a logic 0.