Boolean_circuit