モジュール詳細：異常論理

なぜベン図がここに? なぜ右のメーターが徐々に減っていく? あア ̵̧͉̪͖̈͝、マsak ̵̧͉̪͖̈͝.̶

• このモジュールには十六個のボタンが付いており、それぞれのボタンは 4 つの集合のベン図の領域を表している。ベン図は下の図と同一である。
  ボタンを押してその領域の「真偽」を切り替える。
• タイマーが起動すると、ベン図の上の画面にブール論理式が表示される。
  90 秒経過するとモジュールのベン図が自動的に送信される。
• それぞれの領域について、表示されたブール論理式を用いてその領域が「真」であるかどうかを以下のように判別する。
  • その領域内に記されている文字の変数は「真」として扱われる。
    記されていない文字の変数は「偽」として扱われる。
  • カッコの外部の演算子より先にカッコの内部の演算子を評価する。
    それ以外は、左から順に演算子を評価する。
• タイマーが切れた時に、それぞれの領域をブール論理式で演算した結果が送信されたモジュールのベン図と一致する場合、モジュールは解除される。そうでない場合、ミスとなり、新しい論理式が生成される。

それぞれの演算子を表すベン図は以下にある(グレーの領域が「真」である):

X ∧ Y 論理積(AND)	X ∨ Y 論理和(OR)	X △ Y 排他的論理和(XOR)	X ↦ Y 含意(IMPLIES)
X | Y 論理積の否定(NAND)	X ↧ Y 論理和の否定(NOR)	X ≡ Y 双条件法(XNOR)	X ↤ Y 逆含意(IMPLIED BY)

調査完了 5 つのエラーを検知。 起動: - 爆弾の起動より前にタイマーが起動する。 (Startflag) 画面: - 文字は別の文字に置き換えられて表示される。 (Express) - 間違った送信時には正しい状態のベン図が表示される。 (SolValidator) ミスの手順: - 「偽」となるべき領域が「真」の状態で送信されている場合のみミスになる。 (SolValidator) 安定性: 爆弾が激しい動きを検知しているときにはタイマーの減りが早くなる。 (Espuma) 最終結果 致命的なエラー。発売を禁じる。