digraph G {

subgraph {
rank="same"
n4 [label="x\n(00001111)"]
n5 [label="y\n(00110011)"]
n6 [label="z\n(01010101)"]
}

n16 [label="OR\n(00111111)"]
n18 [label="AND\n(00000011)"]
n26 [label="OR\n(01110111)"]
n27 [label="OR\n(01011111)"]
n30 [label="AND\n(00010001)"]
n31 [label="AND\n(00000101)"]
n40 [label="OR\n(01111111)"]
n42 [label="AND\n(00010101)"]
n47 [label="AND\n(00000001)"]
n66 [label="OR\n(00010111)"]
n73 [label="NOT\n(11101000)"]
n334 [label="OR\n(11101001)"]
n336 [label="OR\n(11101101)"]
n337 [label="OR\n(11111001)"]
n338 [label="OR\n(11101011)"]
n344 [label="AND\n(01001000)"]
n345 [label="AND\n(01100000)"]
n346 [label="AND\n(00101000)"]
n754 [label="AND\n(01101001)"]
n991 [label="NOT\n(10010110)"]
n8477  [label="OR\n(10111110)"]
n8478  [label="OR\n(11110110)"]
n8479  [label="OR\n(11011110)"]

subgraph {
rank="same"
n20178 [label="!z\nAND\n(10101010)"]
n20203 [label="!x\nAND\n(11110000)"]
n20222 [label="!y\nAND\n(11001100)"]
}

n5 -> n16
n4 -> n16
n5 -> n18
n4 -> n18
n6 -> n26
n5 -> n26
n6 -> n27
n4 -> n27
n6 -> n30
n5 -> n30
n6 -> n31
n4 -> n31
n16 -> n40
n6 -> n40
n16 -> n42
n6 -> n42
n18 -> n47
n6 -> n47
n42 -> n66
n18 -> n66
n66 -> n73
n73 -> n334
n47 -> n334
n73 -> n336
n31 -> n336
n73 -> n337
n30 -> n337
n73 -> n338
n18 -> n338
n73 -> n344
n27 -> n344
n73 -> n345
n26 -> n345
n73 -> n346
n16 -> n346
n334 -> n754
n40 -> n754
n754 -> n991
n991 -> n8477
n346 -> n8477
n991 -> n8478
n345 -> n8478
n991 -> n8479
n344 -> n8479
n8477 -> n20178
n338 -> n20178
n8478 -> n20203
n337 -> n20203
n8479 -> n20222
n336 -> n20222
}