LECT05-ID3 on boolean formulas explained