有名なNP完全問題として、SAT(充足可能性問題)と呼ばれるものがあります。 これは一つの命題論理式が与えられたとき、それに含まれる変数の値を偽 (False) あるいは真 (True) にうまく定めることによって全体の値を'真'にできるか、という問題(Wikipediaより引用) のことで、難しいです。 これを人力で解こう！というのがこのゲームのコンセプトになります。
まずゲームを起動し、「ゲームを始める」を選択しましょう。
すると、上のような画面になります。目標は真ん中に表示された論理式の計算結果を真にすることです。
下のA,B,Cの3つのチェックボックスはそれぞれ変数A,B,Cに対応していて、☑なら真、☐なら偽を代入することになります。
もし式全体を真にすることが可能なら、適当にチェックボックスを設定し、「ANSWER」を、
もし式全体を真にすることが不可能なら、「IMPOSSIBLE」を押しましょう。
正解なら+150点、「ANSWER」を押して不正解なら-100点、「IMPOSSIBLE」を押して不正解なら-200点です。