decision tree redundancy optimization
The ID3 algorithm is one standard way to construct a decision tree.  You can also look at successors like C4.5 and others.  These aren't guaranteed to give the smallest possible decision tree (that is known to be NP-hard) but the decision tree it outputs is often fairly reasonable.