a_i b_i and_gate y_o a_i inv_gate y_o a_i b_i or_gate y_o a_i b_i and_gate y_o s_i a_i b_i s1 s2 s3 y_o and_gate_i0 and_gate_i1 inv_gate_i0 or_gate_i0