Lecture 05 Decision Tree Boolean Formulas