DNF

計算機術語

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

目錄

正文


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