fix conjunctive normal form