翻訳と辞書 Words near each other ・ 主クラッチ ・ 主スイッチ ・ 主ノズル ・ 主バガヴァーン クリシュナ ・ 主バンドル ・ 主ポイント ・ 主メモリ ・ 主上 ・ 主上御謀叛 ・ 主上顎骨 ・ 主乗法標準形 ・ 主乳頭体束 ・ 主乳頭束 ・ 主事 ・ 主事補 ・ 主交叉試験 ・ 主交差試験 ・ 主人 ・ 主人は冷たい土の下に ・ 主人は冷たい土の中に Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 主乗法標準形 ： ミニ英和和英辞書 主乗法標準形[ぬし, おも] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 主 ： [ぬし, おも] 　【名詞】 1. owner　2. master　3. lover　4. god　 ・ 乗法 ： [じょうほう] 　(n) multiplication ・ 法 ： [ほう] 　 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 主乗法標準形 （ リダイレクト：連言標準形 ） ： ウィキペディア日本語版 連言標準形[れんげんひょうじゅんけい] 連言標準形（れんげんひょうじゅんけい、'）は、数理論理学においてブール論理における論理式の標準化（正規化）の一種であり、選言節の連言の形式で論理式を表す。乗法標準形、主乗法標準形、和積標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。）は、数理論理学においてブール論理における論理式の標準化（正規化）の一種であり、選言節の連言の形式で論理式を表す。乗法標準形、主乗法標準形、和積標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。 == 定義 == 連言標準形とは $l\_$ がリテラルの時、以下の形式をした論理式のこと。 :$\backslash bigwedge\_i\; \backslash bigvee\_j\; l\_$ 内側の選言を節（）と呼ぶ。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「連言標準形」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Conjunctive normal form 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.