A formula is in k-DNF if it is in DNF and each clause contains at most k literals.
Една формула е во k-ДНФ ако е во ДНФ и секоја клауза содржи најмногу k литерали.