Improve truthtable to generate shorter functions

[thesourcerer8]

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