Tag Archives: Minimum Disjunctive Normal Form.