DNF variant

A DNF variant is a logical expression or formula structured in disjunctive normal form but modified with additional constraints, operators, or semantics to suit a specific application or problem domain.