DNF(數理邏輯學術語)

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

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