noun
conjunctive normal form; CNF
A mathematical term in logic and computer science; a conjunction of clauses where each clause is a disjunction of literals.
任意の論理式は乗法標準形に変換できる。
Any logical formula can be transformed into conjunctive normal form.
加法標準形 (disjunctive normal form, DNF) is the dual of 乗法標準形; it is a disjunction of conjunctions.
A compound of 乗法 (multiplication, here referring to logical conjunction) and 標準形 (normal form). The term is a direct translation of the English 'conjunctive normal form'.