A logical formula is considered to be in DNF if and only if it is a disjunction of one or more conjunctions of one or more literals.
Една логичка формула се смета дека е во ДНФ, ако и само ако, таа е дисјункција од една или повеќе конјункции на еден или повеќе литерали.