翻訳と辞書 Words near each other ・ 充溢 ・ 充用 ・ 充盈像 ・ 充血 ・ 充血、怒張、うっ血、うっ滞(体液で腫れること) ・ 充血した ・ 充血した目 ・ 充血性頭痛 ・ 充行状 ・ 充足 ・ 充足可能性 ・ 充足可能性問題 ・ 充足律 ・ 充足根拠律 ・ 充足理由律 ・ 充電 ・ 充電ちゃん ・ 充電スタンド ・ 充電ステーション ・ 充電器 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 充足可能性 ： ウィキペディア日本語版 充足可能性問題[じゅうそくかのうせいもんだい] 充足可能性問題（じゅうそくかのうせいもんだい、satisfiability problem, SAT）は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題をいう。SATisfiabilityの頭3文字を取ってしばしば「SAT」と呼ばれる。 ==定義== 真偽値をとる論理変数 $\backslash textstyle$ および論理演算子により論理式を構成する。 *論理否定 $(\backslash bar)\; \backslash dots\; x\_1$ が真ならば偽 偽ならば真 *論理和 $(x\_1\; \backslash lor\; x\_2)\; \backslash dots\; x\_1$ が真ならば $x\_1\backslash ,$ 偽ならば $x\_2\backslash ,$ *論理積 $(x\_1\; \backslash land\; x\_2)\; \backslash dots\; x\_1$ が真ならば $x\_2\backslash ,$ 偽ならば$x\_1\backslash ,$ *リテラル - 論理変数 $(x\_1)\backslash ,$ またはその否定 $(\backslash bar)$ *節 - リテラルの論理和 $(x\_1\; \backslash lor\; \backslash bar\; \backslash lor\; ...)$ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「充足可能性問題」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Boolean satisfiability problem 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.