Assertion: latch's input | /r/HasProperty | the same
Facets:
Source sentences:
text: So if both inputs of the flip-flop are the same there will be either No Change or Invalid output condition.