Assertion: flop's input | /r/HasProperty | connected to the output of ff0
Facets:
Source sentences:
text: FF1 has its J and K inputs connected to the output of FF0, and the J and K inputs of FF2 are connected to the output of an AND gate that is fed by the outputs of FF0 and FF1.