DNF[數理邏輯學術語]

DNF是數理邏輯學術語，是指NP完全問題中的3SAT的輸入。