And-inverter_graph