翻訳と辞書 Words near each other ・ 選繭 ・ 選考 ・ 選考基準 ・ 選考委員会 ・ 選考年別の宇宙飛行士の一覧 ・ 選考採用 ・ 選者 ・ 選良 ・ 選言 ・ 選言三段論法 ・ 選言標準形 ・ 選言的三段論法 ・ 選言肯定 ・ 選評 ・ 選鉱 ・ 選除繭 ・ 選集 ・ 遹 ・ 遺 ・ 遺がい群 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 選言標準形 ： ミニ英和和英辞書 選言標準形[せんげんひょうじゅんけい] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 選 ： [せん] 　【名詞】 1. (1) selection　2. choice　3. election　4. (2) compilation　5. editing　 ・ 言 ： [げん] 　【名詞】 1. word　2. remark　3. statement　 ・ 標 ： [しるし] 　【名詞】 1. (1) mark　2. (2) symbol　3. (3) evidence ・ 標準 ： [ひょうじゅん] 　【名詞】 1. standard　2. level　 ・ 準 ： [じゅん] 　 1. (n,pref) level　2. apply correspondingly　3. correspond to　4. being proportionate to　5. conforming to　6. semi　7. quasi　8. associate　9. standard　10. rule　1 1. aim ・ 形 ： [けい, かたち, ぎょう] 　 1. (suf) shape　2. form　3. type 選言標準形 ： ウィキペディア日本語版 選言標準形[せんげんひょうじゅんけい] 選言標準形（せんげんひょうじゅんけい、）は、数理論理学においてブール論理での論理式の標準化（正規化）の一種であり、連言節(AND)の選言(OR)の形式で論理式を表す。加法標準形、主加法標準形、積和標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。 == 概要 == 選言標準形の論理式は、1つ以上のリテラルの論理積を1つ以上含む論理和の形式になっている論理式を選言標準形と呼ぶ。連言標準形(CNF)と同様、DNF における演算子は論理積、論理和、否定だけである。 以下の論理式は DNF の一種である。 :$A\; \backslash or\; B$ :$A\backslash !$ :$(A\; \backslash and\; B)\; \backslash or\; C$ :$(A\; \backslash and\; \backslash neg\; B\; \backslash and\; \backslash neg\; C)\; \backslash or\; (\backslash neg\; D\; \backslash and\; E\; \backslash and\; F)$ しかし、以下の論理式は DNF ではない。 :$\backslash neg(A\; \backslash or\; B)$ — NOT が最も外側の演算子になっている :$A\; \backslash or\; (B\; \backslash and\; (C\; \backslash or\; D))$ — OR が AND の内側にある リテラルは、変項（命題）か変項の否定であり、否定演算子はこの形でのみ出現する。全ての変項（またはその否定）を含む論理式を標準項と呼び、特に全ての変項（またはその否定）の論理積の形式になっている項を最小項と呼ぶ。従って、最小項の論理和の形式になっている論理式は、DNF である。この形式は、真理値表で出力が「真」となる行を最小項として取り出したものを論理和で繋いだものであり、その真理値表に対応する論理式となっている。つまり、真理値表で表されるものは全て選言標準形の論理式で表せ、組み合わせ回路も選言標準形で表せる。 任意の論理式を DNF に変換するには、二重否定の除去、ド・モルガンの法則、分配法則といった論理的に等価な変換を行う法則を使う。全ての論理式は選言標準形に変換できる。しかし、元の論理式によっては、DNF への変換によって論理式が極めて長大になることもある。例えば、次の論理式を DNF に変換すると、2n 個の項を書き連ねることになる。 :$(X\_1\; \backslash or\; Y\_1)\; \backslash and\; (X\_2\; \backslash or\; Y\_2)\; \backslash and\; \backslash dots\; \backslash and\; (X\_n\; \backslash or\; Y\_n)$ 以下は、DNF の形式文法である: # <or> → ∨ # <and> → ∧ # <not> → ¬ # <disjunct> → <conjunct> # <disjunct> → <disjunct> <or> <conjunct> # <conjunct> → <literal> # <conjunct> → (<conjunct> <and> <literal>) # <literal> → <term> # <literal> → <not><term> ここで <term> は任意の変項である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「選言標準形」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.