Initial: command line "Disjunctive Normal Form" tool