clausal normal form

(logic) Synonym of conjunctive normal form

Japanese Meaning

連言標準形 - 論理学において、論理式を複数の節（リテラルの論理和）からなる連言（AND）として表現した標準形。 / 節標準形 - 同様に、論理式を節（クローズ）の形式で正規化した形。

To solve the SAT instance efficiently, the algorithm first converts each formula into clausal normal form.

SAT問題を効率的に解くために、そのアルゴリズムはまず各論理式を合取標準形に変換します。

Sense（1）

(logic) Synonym of conjunctive normal form

clausal normal forms

（ plural ）