コンピューター用語辞典

日外アソシエーツ株式会社

conjunctive normal form<CNF>

論理積正規形; CNF

用例
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

JST科学技術用語日英対訳辞書

独立行政法人科学技術振興機構

conjunctive normal form

論理積標準型; 連言標準形

日英・英日専門用語辞書

日中韓辭典研究所

conjunctive normal form

論理積正規形，論理積標準形

Weblio英和対訳辞書

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

conjunctive normal form

乗法標準形

Conjunctive Normal Form

乗法標準形

Conjunctive normal form

連言標準形
連言標準形（れんげんひょうじゅんけい、英: Conjunctive normal form, CNF）は、数理論理学においてブール論理における論理式の標準化（正規化）の一種であり、選言節の連言の形式で論理式を表す。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

Wiktionary英語版

出典：Wiktionary

conjunctive normal form

出典:『Wiktionary』 (2026/01/20 19:50 UTC 版)

名詞

conjunctive normal form (countable and uncountable, plural conjunctive normal forms)

  1. (logic) The form of a Boolean formula that the formula has if the formula is a conjunction of disjunctions of literals, such as “(A or B or C) and (D or E or not F)”.
    Synonym: clausal normal form
    Hyponym: canonical conjunctive normal form

参考

Further reading

ウィキペディア英語版

出典：Wikipedia

Conjunctive normal form

出典:『Wikipedia』 (2011/06/28 11:26 UTC 版)

英語による解説

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

In Boolean logic, a formula is in conjunctive normal form (CNF) if it is a conjunction of clauses, where a clause is a disjunction of literals, where a literal and its complement cannot appear in the same clause. As a normal form, it is useful in automated theorem proving. It is similar to the canonical product of sums form used in circuit theory.

音声を聞く

クイック再生
ダウンロード再生

conjunctive normal formのページの著作権