Assertion: latch's input | /r/HasProperty | 1
Facets:
Source sentences:
text: If both inputs are ‘1’, then the next state Q(t + 1) value is undefined.
text: However, if the input of the T is ‘1’ then the ‘T’ will change the next state to the inverse of the present state (i.e. T = 1 present state = 0 and next state = 1).