A circuit through which the wires carry T/F values and the gates hold logical operations (and : $\land$ ; or : $\lor$ ; not : $\lnot$ ; etc.) .

You should ask:

• What is the circuit doing?
• Can it be simplified?