2
$\begingroup$

Compute a Binary Decision Diagram for $B1∧B2$. Furthermore, for an arbitrary BDD B you can use the equations $B∧F=F$, $F∧B=F$, $B∧T=B$ and $T∧B=B$.

2 Binary Decision Diagrams


To construct the BDD i start from the leaves and work myself to the top. So i have:

enter image description here

but here is the problem:

enter image description here

Now i do not know how to proceed from here on. Has someone experience with Binary Decision Diagrams ? I would like to understand this problem and solve it.

$\endgroup$

1 Answer 1

2
$\begingroup$

This is the solution step by step : Operation on Binary Decision Diagram

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .