Assertion: latch's output | /r/HasProperty | 1(set state
Facets:
Source sentences:
text: As S’=0, the output of 1st NAND gate, Q = 1(SET state).