cnf

複数:

cnves

意味・定義

2つの辞書から2件の定義

JMdict

1件

名詞

1乗法標準形

JMdict © James William BREEN and The Electronic Dictionary Research and Development Group

ライセンス: CC BY-SA 4.0

AIによる解説

1件

1CNF（Conjunctive Normal Form）の略。論理学やコンピュータ科学で使われる論理式の標準形式。

Abbreviation for Conjunctive Normal Form. A standard form for logical formulas used in logic and computer science.

ライセンス: KeyLang Original

例文

この単語を含む例文でタイピング練習ができます

CNF is essential for many automated reasoning systems.

CNFは多くの自動推論システムにとって不可欠である。

-

The boolean expression was converted to CNF for the SAT solver.

ブール式はSATソルバー用にCNFに変換された。

-

関連語

活用形・派生語などの関連単語