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