翻訳と辞書 Words near each other ・ 否め無い ・ 否や ・ 否否 ・ 否否乍ら ・ 否哉 ・ 否定 ・ 否定動詞 ・ 否定応答 ・ 否定応答文字 ・ 否定文 ・ 否定標準形 ・ 否定的 ・ 否定神学 ・ 否定記号 ・ 否定語 ・ 否定論理和 ・ 否定論理積 ・ 否応 ・ 否応なし ・ 否応なしに Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 否定標準形 ： ウィキペディア日本語版 否定標準形[ひていひょうじゅんけい] 否定標準形（ひていひょうじゅんけい、）とは、否定記号 $\backslash lnot$ が原子論理式のみにかかり、他には選言記号 $\backslash lor$ と連言記号 $\backslash land$ のみが論理記号として用いられる形の論理式を指す。 命題論理もしくは述語論理においては、いかなる論理式も、ド・モルガンの法則を用い否定演算子を内側に押し込む操作を繰り返すことによって、論理的に等価な否定標準形に置き換えることができる。この操作の具体例を次に示す。 :$\backslash lnot\; (\backslash forall\; x.\; G)\; \backslash to\; \backslash exists\; x.\; \backslash lnot\; G$ :$\backslash lnot\; (\backslash exists\; x.\; G)\; \backslash to\; \backslash forall\; x.\; \backslash lnot\; G$ :$\backslash lnot\; \backslash lnot\; G\; \backslash to\; G$ :$\backslash lnot\; (G\_1\; \backslash land\; G\_2)\; \backslash to\; (\backslash lnot\; G\_1)\; \backslash lor\; (\backslash lnot\; G\_2)$ :$\backslash lnot\; (G\_1\; \backslash lor\; G\_2)\; \backslash to\; (\backslash lnot\; G\_1)\; \backslash land\; (\backslash lnot\; G\_2)$ 連言標準形(conjunctive normal form)と選言標準形(disjunctive normal form)は否定標準形の性質を満たしている。任意の否定標準形の論理式は、論理式の結合法則と分配法則による操作によって、論理的に等価な連言標準形や選言標準形に変形することができる。 == 関連項目 == * 連言標準形 * 選言標準形 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「否定標準形」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.