Assertion: latch's output | /r/HasProperty | previous
Facets:
Source sentences:
text: Which basically shows that the latch held on to the previous outputs.
text: Hence we can say that for this input combination, the SR NAND latch gives the previous outputs as the new outputs.