翻訳と辞書 Words near each other ・ 加治章 ・ 加治隆介の議 ・ 加治駅 ・ 加法 ・ 加法公式 ・ 加法単位元 ・ 加法圏 ・ 加法定理 ・ 加法性 ・ 加法村加茂村学校組合立深安中学校 ・ 加法標準形 ・ 加法混合 ・ 加法混色 ・ 加法的 ・ 加法的函数 ・ 加法的逆元 ・ 加法的関手 ・ 加法的関数 ・ 加法的集合関数 ・ 加法群 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 加法標準形 ： ミニ英和和英辞書 加法標準形[かほう] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 加 ： [か] 　【名詞】 1. addition　2. increase　 ・ 加法 ： [かほう] 　(n) addition ・ 法 ： [ほう] 　 1. (n,n-suf) Act (law: the X Act)　 ・ 標 ： [しるし] 　【名詞】 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）』 ■ウィキペディアで「選言標準形」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Disjunctive normal form 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.