ZDD and BDDs

Question

for given equation :¬a ∧ (¬b ∨ ¬c ∨ ¬d) ∨¬b ∧ (¬c ∨ ¬d) ∨¬c ∧ ¬d

i have constructed ZDD and ROBDD is solution is correct:

Answer 1

Why not using the teaching tool https://es.cs.uni-kl.de/tools/teaching/PropLogic.html to check it? Using it, you can see that your BDD is correct, but the ZDD is not.

I guess, you have just applied the elimination rule for ZDDs to the BDD. However, that is not correct, since the BDD has already eliminated certain nodes using its elimination rule, but that rule ist not used in ZDDs.