convert to DNF (and an alternative convert to CNF) using the truth table method; added some benchmarking examples