モジュール詳細:高速ブール論理ベン図

複数のベン図を見るだけでも混乱するのに、これを素早くやらなければならない...

いずれかのベン図の領域を選択するとモジュールが起動する。

モジュールが起動すると、ディスプレーにブール論理式が表示され、タイマーが作動する。モジュールのベン図は 16 の領域で分かれており、A、B、C、D の集合が存在する。O の領域は A、B、C、D のいずれの集合にも属さない。

タイマーが切れた時に結果がとなる領域を全て選択していれば、モジュールは解除される。論理式の結果が真となる領域を全て見つける:

  • その領域内に記されている文字の変数はであり、そうでない場合はとなる。
  • カッコの内部の演算子を先に評価する。
  • その後、演算子を左から右の順番で評価する。

タイマーが切れた時に間違った領域を選択しているか、もしくは選択されるべき領域が選択されていなかった場合、ミスが記録され、15 秒のクールダウンが発生し、その論理式の正解が表示され、モジュールはリセットされる。

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

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)
調査完了
1 つのエラーと 2 つの警告を検知。

エラー:

  • ミスの手順: - 領域を選択しないか、もしくは全て選択した状態で送信した時、ミスの処理に失敗。ステータスライトが赤く点滅するのみ。(StrikeHandling)

警告:

  • タイマー: - タイマーの時間は Twitch Plays (初期値は 60 秒) もしくは処理担当者 (初期値は 30 秒) に変更される可能性がある。(TimeLimit)
  • 外見の相違: - モジュールが左右反転している。ベン図の領域と表示される論理式のみ正常。(VisualsModified)
最終結果
モジュールは既に製造後の段階。製造日である6月1日以降に発見したエラーの修正は不可能。