Assertion: relay's output | /r/HasProperty | logic
Facets:
Source sentences:
text: If logic high is given to the IC as input then its output will be logic low but not the vice versa.