4 n4 [ shape=octagon, label="a", color="black", fontcolor="black" ];
5 n5 [ shape=octagon, label="b", color="black", fontcolor="black" ];
6 n6 [ shape=octagon, label="y[0]", color="black", fontcolor="black" ];
7 n7 [ shape=octagon, label="y[1]", color="black", fontcolor="black" ];
8 c11 [ shape=record, label="{{<p8> A|<p9> B}|$g0\nNOR|{<p10> Y}}" ];
9 c12 [ shape=record, label="{{<p8> A}|$g1\nNOT|{<p10> Y}}" ];
10 c13 [ shape=record, label="{{<p8> A}|$g2\nNOT|{<p10> Y}}" ];
11 c14 [ shape=record, label="{{<p8> A|<p9> B}|$g3\nNOR|{<p10> Y}}" ];
12 c15 [ shape=record, label="{{<p8> A|<p9> B}|$g4\nNOR|{<p10> Y}}" ];
13 c11:p10:e -> c15:p8:w [color="black", label=""];
14 c12:p10:e -> c14:p8:w [color="black", label=""];
15 c13:p10:e -> c14:p9:w [color="black", label=""];
16 n4:e -> c11:p9:w [color="black", label=""];
17 n4:e -> c13:p8:w [color="black", label=""];
18 n5:e -> c11:p8:w [color="black", label=""];
19 n5:e -> c12:p8:w [color="black", label=""];
20 c15:p10:e -> n6:w [color="black", label=""];
21 c14:p10:e -> n7:w [color="black", label=""];
22 n7:e -> c15:p9:w [color="black", label=""];