Lecture 05 Exercise - Compute DT for Boolean formulas