disjunctive normal form

proposition formula of a special form