D-FUMT₈ 回路盤

色はこのページで唯一の色です。器具はすべて灰色に留め、色は論理値だけが持ちます — 配線の色を見れば、そこを流れている値が分かります。

どれも「真理表を読んだだけでは気づきにくいが、回路にすると一目で分かる」ものを選んであります。予測欄を先に埋めてから流してください。

下の数字は、このページを開いた瞬間にあなたのブラウザが表を総当りして数えたものです。書き写した数字ではありません。通らない法則があること自体が、この 8 値系の性質です。

結合律が破れる、ということは 2 入力ゲートを 3 つ以上つなぐとき、木の形が答えを変える ということです。反例をそのまま回路にしたのがプリセット「結合律の破れ」です。

1. 真理表は D-FUMT₈ の規約であって、定理ではありません。 NOT 8 セル・AND 64 セル・OR 64 セルは seven-logic.ts の静的表をそのまま写したものです。この道具はその表を引いているだけで、値の意味を導出してはいません。
2. ⊤/⊥/B/N の 4 値層は Belnap 4 値論理と一致します（B∧N=⊥、B∨N=⊤）。∞・〇・～・⟲ の 4 値は D-FUMT 固有の拡張で、既存の文献に対応物があるかは未確認です。
3. 閉路の評価は同期更新の反復です。 全ノードを同時に更新して、状態が止まれば不動点、繰り返せば振動と判定します。流れる破線は、この反復の 1 段を 1 コマとして描いたものです — 実際の電子回路のような伝播遅延やハザードを模したものではなく、線ごとに信号の速さが違うわけでもありません。落ち着けば破線は止まり、振動していれば回り続けます。
4. 初期値を変えると結果が変わる閉路があります。 これはバグではなく、この系に最小不動点が一意に定まらないことの現れです。どの初期値を選んだかは必ず結果と一緒に読んでください。
5. 未接続の入力は NEITHER (N) として扱います。 「まだ何も言えない」を既定値に置く設計判断であり、規約の一部ではありません。
6. 教育用途としては未検証です。 POE（予測→観察→説明）の枠組み自体は White & Gunstone (1992) に基づきますが、この教材で学習効果が出たという測定結果はまだありません。
7. 外部送信はありません。 来訪回数と盤の状態はブラウザの localStorage にのみ保存されます。サーバへは何も送りません。