Assertion: gate's input | /r/HasProperty | logical
Facets:
Source sentences:
text: A NOT gate always have high or logical 1 output when its input is low or logical 0.