From d7c3f9d18c97c1b0c5635459a793e30ca5b1062f Mon Sep 17 00:00:00 2001 From: sp Date: Thu, 13 Jun 2024 09:54:20 +0200 Subject: [PATCH] fixed variable order in bdd 1027 --- bdds/1027.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/bdds/1027.tex b/bdds/1027.tex index 30fa404..1876065 100644 --- a/bdds/1027.tex +++ b/bdds/1027.tex @@ -1,7 +1,7 @@ -\item \self Construct a Reduced Ordered Binary Decision Diagram (ROBDD) for the formula +\item \self Construct a Reduced Ordered Binary Decision Diagram (ROBDD) for the formula $$f = (\lnot x \land \lnot y)\lor (x \land y),$$ -using \textit{variable order} $z < x < y$. Use complemented edges and a node for \texttt{true} as the only constant node. To simplify drawing, you may assume that \textit{dangling edges} point to the constant node. Write down all cofactors that you compute to obtain the final result and mark them in the graph. +using \textit{variable order} $y < x$. Use complemented edges and a node for \texttt{true} as the only constant node. To simplify drawing, you may assume that \textit{dangling edges} point to the constant node. Write down all cofactors that you compute to obtain the final result and mark them in the graph. -% (not x and not y) or (x and y) \ No newline at end of file +% (not x and not y) or (x and y)