連言標準形とは？ わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 連言標準形の意味・解説 
ウィキペディア
索引トップ 用語の索引 ランキング カテゴリー
ウィキペディアウィキペディア

連言標準形

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/09/26 09:23 UTC 版)

連言標準形（れんげんひょうじゅんけい、英: Conjunctive normal form, CNF）は、数理論理学においてブール論理における論理式の標準化（正規化）の一種であり、選言節の連言の形式で論理式を表す。乗法標準形、主乗法標準形、和積標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。

定義

連言標準形とは カテゴリ - 関係記事更新


急上昇のことば

一入
DL site
酒池肉林
リスペクト
発揚
このページでは「ウィキペディア」から連言標準形を検索した結果を表示しています。
Weblioに収録されているすべての辞書から連言標準形を検索する場合は、下記のリンクをクリックしてください。
 全ての辞書から連言標準形 を検索
英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

カテゴリ一覧

全て

＋ ビジネス

＋ 業界用語

＋ コンピュータ

＋ 電車

＋ 自動車・バイク

＋ 船

＋ 工学

＋ 建築・不動産

＋ 学問

＋ 文化

＋ 生活

＋ ヘルスケア

＋ 趣味

＋ スポーツ

＋ 生物

＋ 食品

＋ 人名

＋ 方言

＋ 辞書・百科事典

すべての辞書の索引

あいうえお
かきくけこ
さしすせそ
たちつてと
なにぬねの
はひふへほ
まみむめも
やゆよ
らりるれろ
わをん
がぎぐげご
ざじずぜぞ
だぢづでど
ばびぶべぼ
ぱぴぷぺぽ
ＡＢＣＤＥ
ＦＧＨＩＪ
ＫＬＭＮＯ
ＰＱＲＳＴ
ＵＶＷＸＹ
Ｚ
１２３４５
６７８９０
記号

Weblioのサービス

「連言標準形」の関連用語

1
標準形
ウィキペディア小見出し辞書
76% |||||

2
連言標準形への変換
ウィキペディア小見出し辞書
54% |||||

3
CNF
百科事典
52% |||||

4
反駁による証明
ウィキペディア小見出し辞書
36% |||||

5
否定標準形
百科事典
36% |||||

6
変換手順
ウィキペディア小見出し辞書
32% |||||

7
節標準形
百科事典
18% |||||

8
選言標準形
百科事典
16% |||||

9
PCP (計算複雑性理論)
百科事典
12% |||||

10
導出原理
百科事典
12% |||||

連言標準形のお隣キーワード

連署

連署・副署

連翠

連荘

連行

連行峰

連言標準形

連記投票

連語

連谷町

連載

連載小説

連通管

検索ランキング

   

 英語⇒日本語
日本語⇒英語		    


連言標準形のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの連言標準形 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS