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.
 
 

7 lines
522 B

\item \self Construct a Reduced Ordered Binary Decision Diagram (ROBDD) for the formula
$$f = (\neg p \vee r) \land (q \vee \neg p) \land (\neg q \vee p) $$
using \textit{variable order} $r < q < p$. 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 p or r) and (q or not p) and (not q or p)