DT for Boolean Formulas (Logic Gates)