Assertion: circuit | /r/HasProperty | constructed
Facets:
value: out of 2-input nand gates
type: OTHER
Source sentences:
text: The transformation is easy to describe if the circuit is wholly constructed out of 2-input NAND gates (a functionally-complete set of Boolean operators): assign every net in the circuit a variable, then for each NAND gate, construct the conjunctive normal form clauses (v 1 ∨ v 3 ) ∧