[rules-users] Disjunctive normal form