Takes in either a boolean algebraic expression, a sum of minterms expression or a product of maxterms expression and produces the simplest SOP, POS and truth tables and, optionally, the K-Map using Quine-McCluskey