与门
Suppose the original 3SAT formula has variables formula_3, and operators (AND, OR, NOT) formula_4. Design a circuit such that it has an input corresponding to every variable and a gate corresponding to every operator. Connect the gates according to the 3SAT formula. For instance, if the 3SAT formula is formula_5the circuit will have 3 inputs, one AND, one OR, and one NOT gate. The input corresponding to formula_6will be inverted before sending to an AND gate with formula_7and the output of the AND gate will be sent to an OR gate with formula_8