sampleEq2.dot

digraph {
    1 [label=T];
    2 [label=F];
    3 [label="[0|0]=[1|0]"];
    3 -> 2 [style=dashed
           ,color=blue];
    3 -> 1 [color=red];
}