Assertion: latch's state | /r/HasProperty | equal
Facets:
value: to ‘0’
type: OTHER
Source sentences:
text: → S = 0 & R = 1, then next state Q(t + 1) will be equal to ‘0’ irrespective of present state, Q(t) values.
text: If D = 1 → S = 1 & R = 0, then next state Q(t + 1) will be equal to ‘