DNF[計算機術語]

DNF是計算機學科術語，是布爾邏輯中一種標準範式，一個DNF由若干個Clause的或組成，而每個Clause有若干文字（變元或變元的非）組成。

disjunctive normal form (abbr. )是布爾邏輯中一種標準範式，一個DNF由若干個Clause的或組成，而每個Clause有若干文字（變元或變元的非）組成。