Exercise Sheet 12, Ex. 5a: Set representation for ZDD

Question

Hello,

can somebody tell me what is wrong with my solution (see below) for said exercise? I computed it by hand and also checked with the tool, and it says it is correct, but the OnExSy won't accept it.

Answer 1

Hello and thank you for the question.

Please try using semicolon instead of comma for the outer set, and comma (as you did) for the inner set.

Comments

That worked. Thank you!