一個電路邏輯遊戲讓你透過連接來源輸出到邏輯閘輸入,並將結果路由到必須顯示 TRUE 的最終輸出,藉此建構真實的布林電路。邏輯解謎正是如此:一款確定性的瀏覽器解謎遊戲,你在五個固定關卡中佈線來源節點、AND、OR 和 NOT 邏輯閘,以及最終的 OUTPUT 卡片。你不是在解選擇題或挑選單一答案;你是一次一個 OUT 到 IN 的連接,在板上實際建構有向圖。每個關卡都宣告不可變的來源值和固定的邏輯閘配置,而你的任務是填滿每個邏輯輸入,並將每個輯閘路由到最終 OUTPUT,使整個電路評估為 TRUE。每解開一個關卡可獲得 200 分,五個關卡全部解完即可獲得正好 1,000 分的滿分。沒有計時器、沒有隨機來源值,也沒有部分給分公式——只有五個可重現的版面,以及一個嚴格的圖形引擎,會在拒絕錯誤連線時不記錄錯誤。
邏輯解謎是什麼
邏輯解謎是一款以三種基本數位運算——AND、OR 和 NOT——為核心的五關有向電路遊戲。每個版面提供固定的二元來源、一或多個邏輯卡片,以及一張最終 OUTPUT 卡片。你的任務不是回答選擇題。你必須透過將輸出埠連接到輸入埠,建構出一個真正的有向圖,直到整個電路評估為 TRUE。每個連線都遵循可見的 OUT 到 IN 規則:在來源或邏輯閘上選擇一個 OUT 埠,然後在輯閘或最終 OUTPUT 上選擇一個空的 IN 埠。一個輸出可以扇出到多個目的地,這在第一個 AND 關卡中至關重要。每個輸入恰好接受一個驅動器。在未選擇任何輸出的情況下點擊已填入的輸入,會中斷該連線,因此可恢復的錯誤電路無需重新開始即可編輯。關卡名稱、來源配置、圖形佈局和介面都是原創遊戲內容,而不是隨機產生的練習題。
如何逐步佈線電路
第一關介紹的是具有一個 TRUE 來源和一個 FALSE 干擾項的 AND 邏輯閘。AND 僅在兩個輸入都為 TRUE 時才回傳 TRUE,因此有用的來源必須扇出到兩個輸入埠。第二關介紹 OR,只要任一輸入為 TRUE 即回傳 TRUE。其三個來源鼓勵你在填滿兩個必要的邏輯閘埠之餘,同時路由出一個 TRUE 訊號。第三關聚焦於 NOT。反相器有一個輸入並產生相反結果,因此 FALSE 來源會變成 TRUE。後續關卡會結合邏輯:某個電路在將 FALSE 來源反相後,再透過 AND 與 TRUE 來源結合;而最終電路則將一個 OR 分支和一個 NOT 分支饋入最後的 AND 邏輯閘。
- 識別版面上宣告的 SOURCE 節點、邏輯閘卡片和最終 OUTPUT 卡片。
- 閱讀邏輯閘規則——哪些輸入必須被驅動、邏輯閘回傳什麼,以及哪些來源為 TRUE 或 FALSE。
- 在 SOURCE 或邏輯閘上選擇一個 OUT 埠;它會成為你的作用中驅動器,並顯示在有向佈線紀錄中。
- 在邏輯閘或最終 OUTPUT 上選擇一個空的 IN 埠以繪製連線;該連線會以 FROM 到 TO 的形式新增至紀錄中。
- 重複先 OUT 後 IN 的順序,直到每個輯閘輸入恰好有一個驅動器,每個邏輯輸出都有一條指向 OUTPUT 的有向路徑。
- 在未選擇任何 OUT 的情況下點擊已填入的 IN,以中斷並修改連線,而無需失去圖形的其餘部分。
- 觀察最終 OUTPUT 翻轉為 TRUE——該關卡正好解開可獲得 200 分。
三種邏輯及其真值表
圖形引擎從最終 OUTPUT 透過其驅動器反向解析電路。來源節點提供固定的布林值,而每個邏輯閘套用一條已記錄的規則。AND 需要兩個輸入,僅在兩者皆為 true 時才回傳 true。OR 需要兩個輸入,在任一為 true 時即回傳 true。NOT 恰好需要一個輸入並將其反相。以下是 AND 的四列、OR 的四列,以及 NOT 的兩列,遊戲的評估引擎皆直接實作這些規則。相同的邏輯閘定義也記錄在兩份可存取的電子學參考資料中,包括西北大學 mechatronics 關於邏輯的頁面,以及MIT OpenCourseWare 對數位訊號的介紹。
| 邏輯閘 | 輸入 A | 輸入 B | 輸出 |
|---|---|---|---|
| AND | TRUE | TRUE | TRUE |
| AND | TRUE | FALSE | FALSE |
| AND | FALSE | TRUE | FALSE |
| AND | FALSE | FALSE | FALSE |
| OR | TRUE | TRUE | TRUE |
| OR | TRUE | FALSE | TRUE |
| OR | FALSE | TRUE | TRUE |
| OR | FALSE | FALSE | FALSE |
| NOT | TRUE | — | FALSE |
| NOT | FALSE | — | TRUE |
計分、錯誤與去重規則
僅在每個宣告的輯閘輸入和最終 OUTPUT 輸入都恰好有一條連入線時,才會評估圖形。每個邏輯閘輸出也必須有一條指向最終輸出的有向路徑。局部圖形保持可編輯,且不計為錯誤。未知埠、輸入對輸入的嘗試、輸出對輸出的嘗試、自我連結、為已佔用輸入提供的第二個驅動器、重複邊,以及有向循環,在不改變版面的情況下都會被拒絕。遊戲絕不會為缺少的埠猜測值,也絕不會評估含有循環的圖形。
以最終輸出為 TRUE 完成圖形,即可恰好以 200 分解開該關卡。因此,五個解開的電路總共可產生正好 1,000 分的滿分。沒有計時器、速度加成、隨機來源值、隱藏倍數、自適應難度,也沒有部分給分公式。重新開始總是會回到相同的第一個版面,連線為空、分數為零。一個完整的 FALSE 電路會記錄一次可恢復的圖形錯誤——斷開一條連線並嘗試另一個有效的拓樸。完全重建相同的錯誤邊集合會被去重,因此不會再消耗另一次錯誤。另一個產生 FALSE 的不同完整圖形會結束本次遊戲。結構性拒絕不算邏輯錯誤,因為它們從未進入圖形。
控制項、輔助功能與快捷鍵
使用滑鼠和觸控的玩家會看到大型的來源、輯閘、輸入和輸出按。鍵盤玩法使用 Tab 鍵在每個埠之間移動,並使用 Enter 或 Space 選擇輸出、連接輸入,或中斷已佔用的輸入。所選的輸出會以視覺和文字方式標示,每個已連接的輸入會標示其驅動器,有向佈線紀錄會將每條邊列為 FROM 到 TO。雙按 Escape 會開啟一個模擬的試算表魔王畫面,然後相同的快捷鍵會讓你回到未變更的電路。一切都在瀏覽器中本機執行,因此無需帳號、無需下載、無需上傳、無 API 呼叫、無遠端求解器,也無個人資料——只有共用的最佳完成分數可能保留在此瀏覽器中。
為何這適合作為電路邏輯遊戲
電路邏輯遊戲必須感覺像在佈線,而不是在猜測。邏輯解謎秉持了這一點:你實際連接埠,看著有向佈線紀錄增加,並根據上述真值表觀察最終輸出確定為 TRUE 或 FALSE。謎題是固定的而非生成的,因此相同的五個電路在每次遊玩中都會產生相同的 1,000 分路線。喜歡在壓力下解電路的玩家可能也會喜歡五個電路的拆彈遊戲規則攻略,該攻略將不同的連接與推理工 workflow 應用於其自身的五個版面。本頁並未聲稱能模擬電晶體時序、電壓閾值、傳播延遲、電氣負載或實體硬體——它是一款供娛樂和入門練習的布林圖形解謎遊戲。
如需更深入的瞭解,請參無需下載的邏輯網格解謎:覽器直接遊玩。