Assertion: flop's input | /r/HasProperty | connected to vcc
Facets:
Source sentences:
text: See if it works, then use a 3 input NAND gate with 1 input connected to Vcc and the other two being Q3 and Q1 of the T flip flop counter.