Minimizer is a boolean minimization application that takes long & complex boolean expressions that are in canonical form (minterms or maxterms) along with don't care conditions and minimizes them to their essential prime implicants (redundant implicants removed) meaning the results obtained are one of the simplest forms for your boolean expression!