DNF

disjunctive normal form