Redirecting to Disjunctive normal form