strict digraph "(a or b) and c" {
    graph [bb="0,0,605,708.8",
        label="(a or b) and c",
        lheight=0.23,
        lp="302.5,12.4",
        lwidth=1.04
    ];
    node [label="\N"];
    "/OR"    [height=0.5,
        label=OR,
        pos="538,690.8",
        width=0.75];
    "/OR/XOR"    [height=0.5,
        label=XOR,
        pos="500,618.8",
        width=0.86702];
    "/OR" -> "/OR/XOR"   [pos="e,509.03,636.43 529.19,673.56 524.65,665.2 519.01,654.82 513.9,645.41"];
    "/OR/OR'"    [height=0.5,
        label="OR'",
        pos="577,618.8",
        width=0.75];
    "/OR" -> "/OR/OR'"   [pos="e,568,635.95 547.05,673.56 551.82,664.99 557.78,654.29 563.13,644.7"];
    "/OR/XOR/AND"    [height=0.5,
        label=AND,
        pos="417,546.8",
        width=0.87442];
    "/OR/XOR" -> "/OR/XOR/AND"   [pos="e,433.89,562.05 482.8,603.3 470.93,593.28 454.95,579.81 441.72,568.65"];
    "/OR/XOR/XOR'"   [height=0.5,
        label="XOR'",
        pos="500,546.8",
        width=0.91896];
    "/OR/XOR" -> "/OR/XOR/XOR'"  [pos="e,500,564.9 500,600.5 500,592.78 500,583.51 500,574.91"];
    "/OR/OR'/ε"     [height=0.5,
        label=ε,
        pos="578,546.8",
        width=0.75];
    "/OR/OR'" -> "/OR/OR'/ε"    [pos="e,577.76,564.9 577.25,600.5 577.36,592.78 577.49,583.51 577.61,574.91"];
    "/OR/XOR/AND/TERM"   [height=0.5,
        label=TERM,
        pos="302,474.8",
        width=1.0397];
    "/OR/XOR/AND" -> "/OR/XOR/AND/TERM"  [pos="e,324.24,489.34 396.17,533.12 378.55,522.4 353.04,506.86 333.01,494.67"];
    "/OR/XOR/AND/AND'"   [height=0.5,
        label="AND'",
        pos="419,474.8",
        width=0.92636];
    "/OR/XOR/AND" -> "/OR/XOR/AND/AND'"  [pos="e,418.51,492.9 417.49,528.5 417.71,520.78 417.98,511.51 418.23,502.91"];
    "/OR/XOR/XOR'/ε"    [height=0.5,
        label=ε,
        pos="500,474.8",
        width=0.75];
    "/OR/XOR/XOR'" -> "/OR/XOR/XOR'/ε"  [pos="e,500,492.9 500,528.5 500,520.78 500,511.51 500,502.91"];
    "/OR/XOR/AND/TERM/("     [fillcolor=gray95,
        height=0.5,
        label="(",
        pos="181,402.8",
        shape=rect,
        style=filled,
        width=0.75];
    "/OR/XOR/AND/TERM" -> "/OR/XOR/AND/TERM/("   [pos="e,208.19,419.53 278.96,460.47 261.47,450.36 237.11,436.26 217.06,424.66"];
    "/OR/XOR/AND/TERM/OR"    [height=0.5,
        label=OR,
        pos="253,402.8",
        width=0.75];
    "/OR/XOR/AND/TERM" -> "/OR/XOR/AND/TERM/OR"  [pos="e,263.97,419.47 290.64,457.56 284.43,448.69 276.62,437.54 269.72,427.69"];
    "/OR/XOR/AND/TERM/)"     [fillcolor=gray95,
        height=0.5,
        label=")",
        pos="325,402.8",
        shape=rect,
        style=filled,
        width=0.75];
    "/OR/XOR/AND/TERM" -> "/OR/XOR/AND/TERM/)"   [pos="e,319.32,421.08 307.57,456.85 310.16,448.98 313.3,439.42 316.2,430.59"];
    "/OR/XOR/AND/AND'/and"   [fillcolor=gray95,
        height=0.5,
        label=and,
        pos="397,402.8",
        shape=rect,
        style=filled,
        width=0.75];
    "/OR/XOR/AND/AND'" -> "/OR/XOR/AND/AND'/and"     [pos="e,402.43,421.08 413.67,456.85 411.22,449.06 408.26,439.62 405.51,430.88"];
    "/OR/XOR/AND/AND'/TERM"  [height=0.5,
        label=TERM,
        pos="480,402.8",
        width=1.0397];
    "/OR/XOR/AND/AND'" -> "/OR/XOR/AND/AND'/TERM"    [pos="e,466.08,419.78 432.54,458.26 440.4,449.24 450.48,437.68 459.32,427.53"];
    "/OR/XOR/AND/AND'/AND'"  [height=0.5,
        label="AND'",
        pos="570,402.8",
        width=0.92636];
    "/OR/XOR/AND/AND'" -> "/OR/XOR/AND/AND'/AND'"    [pos="e,545.41,415.2 443.6,462.4 468.71,450.75 507.9,432.59 535.98,419.57"];
    "/OR/XOR/AND/TERM/OR/XOR"    [height=0.5,
        label=XOR,
        pos="214,330.8",
        width=0.86702];
    "/OR/XOR/AND/TERM/OR" -> "/OR/XOR/AND/TERM/OR/XOR"   [pos="e,223.27,348.43 243.95,385.56 239.3,377.2 233.51,366.82 228.27,357.41"];
    "/OR/XOR/AND/TERM/OR/OR'"    [height=0.5,
        label="OR'",
        pos="333,330.8",
        width=0.75];
    "/OR/XOR/AND/TERM/OR" -> "/OR/XOR/AND/TERM/OR/OR'"   [pos="e,317.23,345.6 268.81,387.97 280.42,377.81 296.39,363.83 309.5,352.36"];
    "/OR/XOR/AND/AND'/TERM/c"    [fillcolor=gray95,
        height=0.5,
        label=c,
        pos="480,330.8",
        shape=rect,
        style=filled,
        width=0.75];
    "/OR/XOR/AND/AND'/TERM" -> "/OR/XOR/AND/AND'/TERM/c"     [pos="e,480,348.9 480,384.5 480,376.78 480,367.51 480,358.91"];
    "/OR/XOR/AND/AND'/AND'/ε"   [height=0.5,
        label=ε,
        pos="570,330.8",
        width=0.75];
    "/OR/XOR/AND/AND'/AND'" -> "/OR/XOR/AND/AND'/AND'/ε"    [pos="e,570,348.9 570,384.5 570,376.78 570,367.51 570,358.91"];
    "/OR/XOR/AND/TERM/OR/XOR/AND"    [height=0.5,
        label=AND,
        pos="127,258.8",
        width=0.87442];
    "/OR/XOR/AND/TERM/OR/XOR" -> "/OR/XOR/AND/TERM/OR/XOR/AND"   [pos="e,144.58,273.94 196.39,315.63 183.78,305.48 166.59,291.65 152.48,280.3"];
    "/OR/XOR/AND/TERM/OR/XOR/XOR'"   [height=0.5,
        label="XOR'",
        pos="214,258.8",
        width=0.91896];
    "/OR/XOR/AND/TERM/OR/XOR" -> "/OR/XOR/AND/TERM/OR/XOR/XOR'"  [pos="e,214,276.9 214,312.5 214,304.78 214,295.51 214,286.91"];
    "/OR/XOR/AND/TERM/OR/OR'/or"     [fillcolor=gray95,
        height=0.5,
        label=or,
        pos="295,258.8",
        shape=rect,
        style=filled,
        width=0.75];
    "/OR/XOR/AND/TERM/OR/OR'" -> "/OR/XOR/AND/TERM/OR/OR'/or"    [pos="e,304.3,276.92 324.19,313.56 319.71,305.33 314.17,295.12 309.12,285.82"];
    "/OR/XOR/AND/TERM/OR/OR'/XOR"    [height=0.5,
        label=XOR,
        pos="371,258.8",
        width=0.86702];
    "/OR/XOR/AND/TERM/OR/OR'" -> "/OR/XOR/AND/TERM/OR/OR'/XOR"   [pos="e,361.97,276.43 341.81,313.56 346.35,305.2 351.99,294.82 357.1,285.41"];
    "/OR/XOR/AND/TERM/OR/OR'/OR'"    [height=0.5,
        label="OR'",
        pos="449,258.8",
        width=0.75];
    "/OR/XOR/AND/TERM/OR/OR'" -> "/OR/XOR/AND/TERM/OR/OR'/OR'"   [pos="e,429.52,271.55 352.42,318.08 371.15,306.78 399.72,289.54 420.93,276.74"];
    "/OR/XOR/AND/TERM/OR/XOR/AND/TERM"   [height=0.5,
        label=TERM,
        pos="37,186.8",
        width=1.0397];
    "/OR/XOR/AND/TERM/OR/XOR/AND" -> "/OR/XOR/AND/TERM/OR/XOR/AND/TERM"  [pos="e,55.805,202.43 108.79,243.63 95.906,233.62 78.421,220.02 63.932,208.75"];
    "/OR/XOR/AND/TERM/OR/XOR/AND/AND'"   [height=0.5,
        label="AND'",
        pos="127,186.8",
        width=0.92636];
    "/OR/XOR/AND/TERM/OR/XOR/AND" -> "/OR/XOR/AND/TERM/OR/XOR/AND/AND'"  [pos="e,127,204.9 127,240.5 127,232.78 127,223.51 127,214.91"];
    "/OR/XOR/AND/TERM/OR/XOR/XOR'/ε"    [height=0.5,
        label=ε,
        pos="214,186.8",
        width=0.75];
    "/OR/XOR/AND/TERM/OR/XOR/XOR'" -> "/OR/XOR/AND/TERM/OR/XOR/XOR'/ε"  [pos="e,214,204.9 214,240.5 214,232.78 214,223.51 214,214.91"];
    "/OR/XOR/AND/TERM/OR/OR'/XOR/AND"    [height=0.5,
        label=AND,
        pos="293,186.8",
        width=0.87442];
    "/OR/XOR/AND/TERM/OR/OR'/XOR" -> "/OR/XOR/AND/TERM/OR/OR'/XOR/AND"   [pos="e,309.14,202.29 354.84,243.3 343.86,233.44 329.15,220.24 316.83,209.18"];
    "/OR/XOR/AND/TERM/OR/OR'/XOR/XOR'"   [height=0.5,
        label="XOR'",
        pos="376,186.8",
        width=0.91896];
    "/OR/XOR/AND/TERM/OR/OR'/XOR" -> "/OR/XOR/AND/TERM/OR/OR'/XOR/XOR'"  [pos="e,374.78,204.9 372.24,240.5 372.79,232.78 373.45,223.51 374.06,214.91"];
    "/OR/XOR/AND/TERM/OR/OR'/OR'/ε"     [height=0.5,
        label=ε,
        pos="454,186.8",
        width=0.75];
    "/OR/XOR/AND/TERM/OR/OR'/OR'" -> "/OR/XOR/AND/TERM/OR/OR'/OR'/ε"    [pos="e,452.78,204.9 450.24,240.5 450.79,232.78 451.45,223.51 452.06,214.91"];
    "/OR/XOR/AND/TERM/OR/XOR/AND/TERM/a"     [fillcolor=gray95,
        height=0.5,
        label=a,
        pos="37,114.8",
        shape=rect,
        style=filled,
        width=0.75];
    "/OR/XOR/AND/TERM/OR/XOR/AND/TERM" -> "/OR/XOR/AND/TERM/OR/XOR/AND/TERM/a"   [pos="e,37,132.9 37,168.5 37,160.78 37,151.51 37,142.91"];
    "/OR/XOR/AND/TERM/OR/XOR/AND/AND'/ε"    [height=0.5,
        label=ε,
        pos="125,114.8",
        width=0.75];
    "/OR/XOR/AND/TERM/OR/XOR/AND/AND'" -> "/OR/XOR/AND/TERM/OR/XOR/AND/AND'/ε"  [pos="e,125.49,132.9 126.51,168.5 126.29,160.78 126.02,151.51 125.77,142.91"];
    "/OR/XOR/AND/TERM/OR/OR'/XOR/AND/TERM"   [height=0.5,
        label=TERM,
        pos="208,114.8",
        width=1.0397];
    "/OR/XOR/AND/TERM/OR/OR'/XOR/AND" -> "/OR/XOR/AND/TERM/OR/OR'/XOR/AND/TERM"  [pos="e,226.06,130.67 275.8,171.63 263.83,161.78 247.65,148.45 234.09,137.29"];
    "/OR/XOR/AND/TERM/OR/OR'/XOR/AND/AND'"   [height=0.5,
        label="AND'",
        pos="298,114.8",
        width=0.92636];
    "/OR/XOR/AND/TERM/OR/OR'/XOR/AND" -> "/OR/XOR/AND/TERM/OR/OR'/XOR/AND/AND'"  [pos="e,296.78,132.9 294.24,168.5 294.79,160.78 295.45,151.51 296.06,142.91"];
    "/OR/XOR/AND/TERM/OR/OR'/XOR/XOR'/ε"    [height=0.5,
        label=ε,
        pos="377,114.8",
        width=0.75];
    "/OR/XOR/AND/TERM/OR/OR'/XOR/XOR'" -> "/OR/XOR/AND/TERM/OR/OR'/XOR/XOR'/ε"  [pos="e,376.76,132.9 376.25,168.5 376.36,160.78 376.49,151.51 376.61,142.91"];
    "/OR/XOR/AND/TERM/OR/OR'/XOR/AND/TERM/b"     [fillcolor=gray95,
        height=0.5,
        label=b,
        pos="208,42.8",
        shape=rect,
        style=filled,
        width=0.75];
    "/OR/XOR/AND/TERM/OR/OR'/XOR/AND/TERM" -> "/OR/XOR/AND/TERM/OR/OR'/XOR/AND/TERM/b"   [pos="e,208,60.904 208,96.497 208,88.783 208,79.512 208,70.912"];
    "/OR/XOR/AND/TERM/OR/OR'/XOR/AND/AND'/ε"    [height=0.5,
        label=ε,
        pos="298,42.8",
        width=0.75];
    "/OR/XOR/AND/TERM/OR/OR'/XOR/AND/AND'" -> "/OR/XOR/AND/TERM/OR/OR'/XOR/AND/AND'/ε"  [pos="e,298,60.904 298,96.497 298,88.783 298,79.512 298,70.912"];
}