I have the following images:

Binary Decision Diagram (BDD):



Binary Decision Tree (BDT):



and I would like to draw them in LaTeX with TikZ. 

Furthermore, I would like to make them "consistent" between each other (i.e., 0-edges becomes dashed arrows in both images, the two pictures must be in black and not in grayscale, no need for the labels on the arrows of the BDD).

How can this be done ?

So far I can only make the BDT with one style of arrow, and I have absolutely no idea how to make the BDD :|

\documentclass{article}
\usepackage{tikz}
\usetikzlibrary{calc,arrows,positioning}
\begin{document}
\tikzset{
treenode/.style = {align=center},
c/.style = {treenode,circle,draw=black,minimum width=1.5em,minimum height=1.5em,text centered,font=\footnotesize},
r/.style = {treenode,rectangle,draw=black,minimum width=1.5em,minimum height=1.5em,text centered,font=\footnotesize},
level 1/.style={sibling distance=60mm},
level 2/.style={sibling distance=30mm},
level 3/.style={sibling distance=15mm},
level 4/.style={sibling distance=7mm}
}
\begin{tikzpicture}[-&gt;,&gt;=stealth',thick] 
\node[c] {a}
    child{ node[c] {b} 
            child{ node[c] {c}
                    child{ node[c] {d}
                        child{ node[r] {0}}
                        child{ node[r] {0}}
                    }
                    child{ node[c] {d}
                        child{ node[r] {0}}
                        child{ node[r] {1}}
                    }
            }
            child{ node [c] {c}
                    child{ node[c] {d}
                        child{ node[r] {0}}
                        child{ node[r] {0}}
                    }
                    child{ node[c] {d}
                        child{ node[r] {0}}
                        child{ node[r] {1}}
                    }
            }
    }
    child{ node[c] {b}
            child{ node [c] {c}
                    child{ node[c] {d}
                        child{ node[r] {0}}
                        child{ node[r] {0}}
                    }
                    child{ node[c] {d}
                        child{ node[r] {0}}
                        child{ node[r] {1}}
                    }
            }
            child{ node [c] {c}
                    child{ node[c] {d}
                        child{ node[r] {1}}
                        child{ node[r] {1}}
                    }
                    child{ node[c] {d}
                        child{ node[r] {1}}
                        child{ node[r] {1}}
                    }
            }
    }
;
\end{tikzpicture}
\end{document}



Question: Windows Server 2003 SP2 - JRNL_WRAP_ERROR (Sysvol)
Answer: There isn't any "corruption". Rather, too many changes happened in the NTFS volume that hosts the SYSVOL in a short period of time, overflowing the NTFS change journal. Rather than explain it in detail, I'll direct you to some background on what causes journal wrap errors in this blog posting.

The two recovery methods are described in this Microsoft KB article.

Since you have no replication partners you should be fine performing an authoritative restore (as described in that KB article). In multi-DC scenarios this is not the preferred method.

Basically, you'll stop the File Replication Service (FRS), set the "burflags" registry value to "D4" (the full path is in the article), and restart the FRS. That should get you back up and running.

Before you try any of that, though, I'd at least make a current System State backup to disk.

You might want to think about getting a second DC after all of this is said and done. It's cheap insurance, makes disaster recovery a LOT easier, and in this scenario would've preserved client access to Group Policy during the outage.