You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
50 lines
1.6 KiB
50 lines
1.6 KiB
\begin{cofactors}
|
|
$f_{p}$ \= $= r \lor(s \land \lnot r) \lor (\lnot s \land r) \lor (\lnot r \land q)$ \\
|
|
\>$f_{pq}$ \= $= r\lor (s \land \lnot r) \lor (\lnot s \land r)\lor \lnot r = \true $\\
|
|
\>$f_{p\lnot q}$ \= $= r\lor (s \land \lnot r)\lor (\lnot s \land r) $\\
|
|
\>\>$f_{p\lnot qr}$ \= $= \true $\\
|
|
\>\>$f_{p\lnot q\lnot r}$ \= $= s $\\
|
|
\>\>\>$f_{p\lnot q\lnot rs}$ \= $= \true $\\
|
|
\>\>\>$f_{p\lnot q\lnot r\lnot s}$ \= $= \false $\\
|
|
$f_{\lnot p}$ \= $= \lnot r \lor (s \land \lnot r) \lor (\lnot s \land r) \lor (\lnot r \land q) = \lnot r \lor (s \land \lnot r) \lor (\lnot s \land r)$ \\
|
|
\>$f_{\lnot pr}$ \= $= \lnot s = f_{p\lnot q\lnot r} $ \\
|
|
\>$f_{\lnot p\lnot r}$ \= $= \true $
|
|
\end{cofactors}
|
|
|
|
The final ROBDD:\\
|
|
\begin{center}
|
|
\begin{bdd}[4em]
|
|
\node[func node] (f) {$f$};
|
|
\node[cofactor] (p1) [below of=f] {$p$};
|
|
|
|
\node[cofactor] (q1) [below left of=p1] {$q$};
|
|
\node[cofactor] (r1) [below right of=p1,yshift=-2.75em,xshift=1.75em] {$r$};
|
|
|
|
\node[cofactor] (r2) [below right of=q1] {$r$};
|
|
\node[phantom] (q1L) [below left of=q1] {};
|
|
|
|
\node[phantom] (r1R) [below right of=r1] {};
|
|
|
|
\node[cofactor] (s1) [below right of=r2] {$s$};
|
|
\node[phantom] (r2L) [below left of=r2] {};
|
|
|
|
\node[phantom] (s2L) [below left of=s1] {};
|
|
\node[phantom] (s2R) [below right of=s1] {};
|
|
|
|
\funcEdge{f}{p1}
|
|
\thenEdge{p1}{q1}
|
|
\negatedEdge{p1}{r1}
|
|
|
|
\thenEdge{q1}{q1L}
|
|
\elseEdge{q1}{r2}
|
|
|
|
\thenEdge{r2}{r2L}
|
|
\elseEdge{r2}{s1}
|
|
|
|
\thenEdge{r1}{s1}
|
|
\negatedEdge{r1}{r1R}
|
|
|
|
\thenEdge{s1}{s2L}
|
|
\negatedEdge{s1}{s2R}
|
|
\end{bdd}
|
|
\end{center}
|