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

辞書 類語・対義語辞典 英和・和英辞典 日中中日辞典 日韓韓日辞典 古語辞典

その他の辞書▼
- 手話辞典
- インドネシア語辞典
- タイ語辞典
- ベトナム語辞典

Weblio 辞書ヘルプ

556の専門辞書や国語辞典百科事典から一度に検索!

無料の翻訳ならWeblio翻訳！

初めての方へ参加元一覧

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 選言標準形の意味・解説

すべての辞書から再検索する

ウィキペディア

索引トップ用語の索引ランキングカテゴリー

選言標準形

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/04/13 16:33 UTC 版)

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

[続きの解説]

「選言標準形」の続きの解説一覧

WBCダイヤモンド王座

月が導く異世界道中

サニーマックレンドン

このページでは「ウィキペディア」から選言標準形を検索した結果を表示しています。
Weblioに収録されているすべての辞書から選言標準形を検索する場合は、下記のリンクをクリックしてください。

全ての辞書から選言標準形を検索

>> 「選言標準形」を含む用語の索引
選言標準形のページへのリンク

辞書ショートカット

1 ウィキペディア

カテゴリ一覧

＋ビジネス

＋業界用語

＋コンピュータ

＋自動車・バイク

＋船

＋建築・不動産

＋ヘルスケア

＋スポーツ

＋辞書・百科事典

すべての辞書の索引

Weblioのサービス

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

1

ウィキペディア小見出し辞書

74% |||||

2

百科事典

52% |||||

3

否定標準形

百科事典

34% |||||

4

ギルモアのアルゴリズム

百科事典

16% |||||

5

論理和の消去

百科事典

16% |||||

6

主項を求める

ウィキペディア小見出し辞書

16% |||||

7

百科事典

14% |||||

8

連言標準形

百科事典

12% |||||

9

百科事典

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の元に提供されております。

ビジネス｜業界用語｜コンピュータ｜電車｜自動車・バイク｜船｜工学｜建築・不動産｜学問
 文化｜生活｜ヘルスケア｜趣味｜スポーツ｜生物｜食品｜人名｜方言｜辞書・百科事典

ご利用にあたって

・Weblio辞書とは

・検索の仕方

・利用規約

・プライバシーポリシー

・サイトマップ

便利な機能

・ウェブリオのアプリ

・画像から探す

お問合せ・ご要望

・お問い合わせ

会社概要

・公式企業ページ

・会社情報

・採用情報

ウェブリオのサービス

・Weblio 辞書

・類語・対義語辞典

・英和辞典・和英辞典

・Weblio翻訳

・日中中日辞典

・日韓韓日辞典

・フランス語辞典

・インドネシア語辞典

・タイ語辞典

・ベトナム語辞典

・古語辞典

・手話辞典

・IT用語辞典バイナリ

・おすすめのプログラミングスクール情報「Livifun」

©2024 GRAS Group, Inc.RSS