Assertion: flop's state | /r/HasProperty | marked in characteristic equation
Facets:
Source sentences:
text: In the characteristic equation, the indeterminate states are marked as don’t cares in the map.