Truthtable should try several different representations and see which one is the most compact form. We should also try to add Karnaugh maps