Symbols:Abbreviations/D

DCC

 * Descending chain condition

DNF

 * Disjunctive normal form.