Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

Clausal Normal Form

節標準形

Clausal normal form

節標準形
節標準形（英: Clausal normal form、CNF）とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

ウィキペディア英語版

出典：Wikipedia

Clausal normal form

出典:『Wikipedia』 (2011/01/29 20:28 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

The clausal normal form (or clause normal form, conjunctive normal form, CNF) of a logical formula is used in logic programming and many theorem proving systems. A formula in clause normal form is a set of clauses, interpreted as a conjunction. A clause is an implicitly universally quantified set of literals, interpreted as a disjunction.

Clausal Normal Formのページの著作権