乗じょう法ほう標ひょう準じゅん形けい

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.