Assertion: latch's output | /r/CapableOf | change state
Facets:
Source sentences:
text: The output can only change state while the CLK input is a logic 1.
text: Therefore, the Q and Q' outputs can only change state when the CLK signal falls from a logic 1 to logic 0.