翻訳と辞書 Words near each other ・ 乗杉嘉寿 ・ 乗杉澄夫 ・ 乗松瑠華 ・ 乗松雅休 ・ 乗気 ・ 乗泉寺吹奏楽団 ・ 乗法 ・ 乗法作用素 ・ 乗法列の種数 ・ 乗法単位元 ・ 乗法標準形 ・ 乗法的不定和分 ・ 乗法的積分 ・ 乗法的逆元 ・ 乗法的関数 ・ 乗法的集合 ・ 乗法群 ・ 乗法逆元 ・ 乗然 ・ 乗物 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

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