command line "Disjunctive Normal Form" tool