Decison Tree for a Boolean Formula