|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 連 : [むらじ, れん] 【名詞】 1. party 2. company 3. group ・ 言 : [げん] 【名詞】 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
連言標準形(れんげんひょうじゅんけい、')は、数理論理学においてブール論理における論理式の標準化(正規化)の一種であり、選言節の連言の形式で論理式を表す。乗法標準形、主乗法標準形、和積標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。)は、数理論理学においてブール論理における論理式の標準化(正規化)の一種であり、選言節の連言の形式で論理式を表す。乗法標準形、主乗法標準形、和積標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。 == 定義 == 連言標準形とは がリテラルの時、以下の形式をした論理式のこと。 : 内側の選言を節()と呼ぶ。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「連言標準形」の詳細全文を読む スポンサード リンク
|