Assertion: latch's input | /r/HasProperty | 1 nand
Facets:
Source sentences:
text: The input to the upper NAND gate is now 1 NAND 1, which is equal to 0.
text: The input to the lower NAND gate is now 1 NAND 1, which is equal to 0.