DNF(計算機術語)

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

基本介紹

• 中文名：DNF
• 外文名：disjunctive normal form
• 簡稱：DNF
• 定義：布爾邏輯中一種標準範式
• 組成：若干個Clause的或組成

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