I don't know if this has been mentioned before, but in ws17 ex. 5a) the truth table is wrong for x,y,z=0. According to my calculations, f should be 0. Will the BDD change and how?
Also, another question referring 5c): Why do we connect the c node with the d node when c=1 and not vice versa?