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", color="black", fontcolor="black" ];
7 c10 [ shape=record, label="{{<p7> A|<p8> B|<p9> Y}|$g0\nNOR|{}}" ];
8 c11 [ shape=record, label="{{<p7> A|<p9> Y}|$g1\nNOT|{}}" ];
9 c12 [ shape=record, label="{{<p7> A|<p9> Y}|$g2\nNOT|{}}" ];
10 c13 [ shape=record, label="{{<p7> A|<p8> B|<p9> Y}|$g3\nNOR|{}}" ];
11 x0 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
12 x0:e -> c13:p9:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
13 c14 [ shape=record, label="{{<p7> A|<p8> B|<p9> Y}|$g4\nNOR|{}}" ];
14 x1 [ shape=record, style=rounded, label="<s0> 1:1 - 0:0 " ];
15 x1:e -> c14:p8:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
16 x2 [ shape=record, style=rounded, label="<s0> 0:0 - 0:0 " ];
17 x2:e -> c14:p9:w [arrowhead=odiamond, arrowtail=odiamond, dir=both, color="black", label=""];
18 n1 [ shape=diamond, label="$n4" ];
19 n1:e -> c10:p9:w [color="black", label=""];
20 n1:e -> c14:p7:w [color="black", label=""];
21 n2 [ shape=diamond, label="$n5" ];
22 n2:e -> c11:p9:w [color="black", label=""];
23 n2:e -> c13:p7:w [color="black", label=""];
24 n3 [ shape=diamond, label="$n6_1" ];
25 n3:e -> c12:p9:w [color="black", label=""];
26 n3:e -> c13:p8:w [color="black", label=""];
27 n4:e -> c10:p8:w [color="black", label=""];
28 n4:e -> c12:p7:w [color="black", label=""];
29 n5:e -> c10:p7:w [color="black", label=""];
30 n5:e -> c11:p7:w [color="black", label=""];
31 n6:e -> x0:s0:w [color="black", label=""];
32 n6:e -> x1:s0:w [color="black", label=""];
33 n6:e -> x2:s0:w [color="black", label=""];