Learning DNF Formulas on the Tech Tree