翻訳と辞書
Words near each other
・ 連署と副署
・ 連署・副署
・ 連翠
・ 連翹
・ 連荘
・ 連行
・ 連行峰
・ 連衡
・ 連覇
・ 連言
連言標準形
・ 連記
・ 連記制
・ 連記投票
・ 連語
・ 連載
・ 連載小説
・ 連辞
・ 連辞畳用
・ 連辞省略


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

連言標準形 : ミニ英和和英辞書
連言標準形[れんげんひょうじゅんけい]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [むらじ, れん]
 【名詞】 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

連言標準形 : ウィキペディア日本語版
連言標準形[れんげんひょうじゅんけい]
連言標準形(れんげんひょうじゅんけい、')は、数理論理学においてブール論理における論理式の標準化(正規化)の一種であり、選言節の連言の形式で論理式を表す。乗法標準形、主乗法標準形、和積標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。)は、数理論理学においてブール論理における論理式の標準化(正規化)の一種であり、選言節の連言の形式で論理式を表す。乗法標準形主乗法標準形和積標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。
== 定義 ==
連言標準形とは l_リテラルの時、以下の形式をした論理式のこと。
:\bigwedge_i \bigvee_j l_
内側の選言()と呼ぶ。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「連言標準形」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.