Assertion: flop's input | /r/HasProperty | connected to the outputs of the ff
Facets:
Source sentences:
text: The inputs to the NAND gate should be connected to the outputs of the FF 1 and FF 3 i.e. Q1 and Q3.