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$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.