Canonical disjunctive normal form