Assertion: circuit's input | /r/HasProperty | set to 1 or 0 such
Facets:
value: consistently
type: MANNER
Source sentences:
text: In other words, it asks whether the inputs to a given Boolean circuit can be consistently set to 1 or 0 such that the circuit outputs 1.