充足可能性問題
(Boolean satisfiability problem から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/04/13 16:34 UTC 版)
|
この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年4月）
翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
|
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。（2023年11月）
|
充足可能性問題（じゅうそくかのうせいもんだい、satisfiability problem, SAT）は、一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題をいう。SATisfiabilityの頭3文字を取ってしばしば「SAT」と呼ばれる。
定義
真偽値をとる論理変数 
- Boolean satisfiability problemのページへのリンク
