Disjunct normal form