Assertion: circuit | /r/HasAspect | 3 inputs
Facets:
Source sentences:
text: For instance, if the 3SAT formula is ( ¬ x 1 ∧ x 2 ) ∨ x 3 , {\displaystyle (\lnot x_{1}\land x_{2})\lor x_{3},} the circuit will have 3 inputs, one AND, one OR, and one NOT gate.