* Make the tool simplify the logic into the simplest possible terms.
* Add support for product-of-sums and sum-of-products form