布林代數化簡器
使用代數定律、Quine-McCluskey 演算法與卡諾圖化簡法來簡化布林表達式。輸入任何邏輯表達式（AND、OR、NOT、XOR、NAND、NOR），即刻獲得最小 SOP/POS 形式、完整真值表、卡諾圖視覺化、邏輯閘圖解、逐步定律應用以及僅限 NAND/NOR 的等效形式。
布林代數化簡器
請支持 MiniWebtool
偵測到廣告封鎖，導致我們無法顯示廣告
MiniWebtool 依靠廣告收入免費提供服務。如果這個工具幫到你，歡迎升級 Premium（無廣告 + 更快），或將 MiniWebtool.com 加入允許清單後重新整理頁面。
- 或升級 Premium（無廣告）
- 允許 MiniWebtool.com 顯示廣告，然後重新載入
布林代數化簡器
布林代數化簡器使用 Quine-McCluskey 演算法和卡諾圖分析，將任何邏輯表達式縮減至其最小形式。輸入包含 AND、OR、NOT、XOR、NAND、NOR 的表達式（或符號如 &、|、~、^、後置 A'），即可立即獲得完整的真值表、帶有質隱含項圈出的彩色卡諾圖、標記基本項的質隱含項表、逐步推導過程，以及等效的僅限 NAND 和僅限 NOR 實現。
化簡器產生的內容
真值表
所有 \(2^n\) 種輸入組合及其表達式的輸出。
卡諾圖
標出每個質隱含項的格雷碼網格。
最小 SOP / POS
最少的字面量，最少的項——最佳形式。
質隱含項
帶有基本項標記——了解哪些是必需的。
NAND/NOR 形式
用於電路綜合的萬用閘等效形式。
逐步推導
Quine-McCluskey 推導過程的詳細解釋。
布林代數定律 — 參考
| 定律 | OR 形式 | AND 形式 |
|---|---|---|
| 單位律 (Identity) | \( A + 0 = A \) | \( A \cdot 1 = A \) |
| 零元素律 (Null) | \( A + 1 = 1 \) | \( A \cdot 0 = 0 \) |
| 冪等律 (Idempotent) | \( A + A = A \) | \( A \cdot A = A \) |
| 補數律 (Complement) | \( A + \overline{A} = 1 \) | \( A \cdot \overline{A} = 0 \) |
| 雙重否定律 (Double Negation) | \( \overline{\overline{A}} = A \) | |
| 交換律 (Commutative) | \( A + B = B + A \) | \( A \cdot B = B \cdot A \) |
| 結合律 (Associative) | \( (A + B) + C = A + (B + C) \) | \( (A \cdot B) \cdot C = A \cdot (B \cdot C) \) |
| 分配律 (Distributive) | \( A \cdot (B + C) = AB + AC \) | \( A + BC = (A+B)(A+C) \) |
| 吸收律 (Absorption) | \( A + AB = A \) | \( A(A + B) = A \) |
| 德摩根定律 (De Morgan's) | \( \overline{A + B} = \overline{A} \cdot \overline{B} \) | \( \overline{A \cdot B} = \overline{A} + \overline{B} \) |
| 共識律 (Consensus) | \( AB + \overline{A}C + BC = AB + \overline{A}C \) | |
輸入語法速查表
| 運算符 | 接受的形式 | 範例 |
|---|---|---|
| AND | &, *, ·, ., 連接 AB, 單詞 AND, ∧ | A&B, AB, A AND B |
| OR | +, |, 單詞 OR, ∨ | A+B, A | B, A OR B |
| NOT | ~, !, ¬, 單詞 NOT, 後置 ' | ~A, !A, A', (AB)' |
| XOR | ^, ⊕, 單詞 XOR | A XOR B, A^B |
| NAND | ⊼, 單詞 NAND | A NAND B |
| NOR | ⊽, 單詞 NOR | A NOR B |
| 隱含 (Implies) | ->, =>, 單詞 IMPLIES, → | A -> B |
| 等價 (Equivalence) | <->, <=>, 單詞 IFF, ↔ | A <-> B |
| 常數 | 0 1 TRUE FALSE | A + 0, A * 1 |
Quine-McCluskey 演算法
Quine-McCluskey 方法是一種系統性的表格法，用於尋找最小乘積之和表達式。與卡諾圖（視覺化且僅限於約 6 個變數）不同，Quine-McCluskey 具有可擴展性，並且始終能產生保證最小的覆蓋。
- 列出所有最小項 — 真值表中評估結果為 1 的每一行。
- 按 1 位元計數分組 — 根據最小項二進制表示中 1 的數量進行排序。
- 合併相鄰組 — 恰好相差一個位元的配對進行合併，並用破折號代替該位元。重複此過程直到無法再合併。
- 收集質隱含項 — 任何從未被進一步合併的項都是質隱含項。
- 建立質隱含項表 — 以質隱含項為行、最小項為列的網格。標記哪些質隱含項覆蓋了哪些最小項。
- 選擇基本質隱含項 — 任何作為覆蓋某個最小項的唯一質隱含項都是基本項。
- 覆蓋剩餘最小項 — 選擇額外的質隱含項來覆蓋尚未被基本項覆蓋的最小項，並最小化字面量計數。
如何使用布林代數化簡器
- 輸入表達式： 使用您偏好的符號輸入任何布林表達式。您可以混合風格 —
A.B + A'C和A AND B OR NOT A AND C的解析結果是相同的。 - 點擊化簡： 工具會進行解析、建立真值表、執行 Quine-McCluskey 並最小化表達式。
- 研究卡諾圖： 每個彩色圈代表一個質隱含項。基本質隱含項以實線繪製，非基本項以虛線繪製。
- 查看步驟： 逐步面板將指引您從標準 SOP 到質隱含項發現，再到最終最小形式的過程。
- 檢查等效形式： 當您的目標技術是 OR-of-AND 時，請使用最小 POS；當目標是基於 NAND 的矽片時，請使用僅限 NAND 形式。
應用領域
| 領域 | 使用案例 |
|---|---|
| 數位電路設計 | 最小化組合邏輯中的邏輯閘數量 — 更少的閘意味著更低的功耗、更小的晶片面積、更短的傳播延遲。 |
| 編譯器優化 | 化簡 if 語句和循環守護中的條件表達式，以減少分支評估成本。 |
| 可程式化邏輯 (FPGA) | 通過產生最小字面量形式，將更多邏輯放入可用的查找表 (LUT) 中。 |
| 資料庫查詢優化 | 將 WHERE 子句謂詞重寫為等效但評估成本更低的形式。 |
| 形式驗證 | 標準形式 (SOP/POS) 可以實現對兩個規範的等效性檢查。 |
| 教學 / 課業 | 驗證作業、研究質隱含項選擇、探索卡諾圖分組策略。 |
FAQ
什麼是布林代數化簡？
布林代數化簡是將邏輯表達式縮減為具有更少運算和字面量的等效表達式。更簡單的表達式意味著硬體中的邏輯閘更少、軟體中的評估速度更快，且更容易進行人工驗證。方法包括代數定律應用、卡諾圖和 Quine-McCluskey 演算法 — 本工具結合了這三種方法。
什麼是最小乘積之和 (SOP) 形式？
最小乘積之和形式將布林函數寫為盡可能少的乘積項的 OR 運算，其中每個乘積使用盡可能少的字面量。它是通過將函數展開為其標準 SOP（每個真行一個最小項），然後使用規則 \( XY + \overline{X}Y = Y \) 合併相鄰最小項，直到無法進一步合併為止。結果是一個最小的二級 AND-OR 電路。
卡諾圖是如何運作的？
卡諾圖是一個網格，其行和列標有格雷碼位元模式，使得物理上相鄰的單元格恰好相差一個變數。大小為 1, 2, 4 或 8 的相鄰 1 單元格組對應於分別消除 0, 1, 2 或 3 個變數的乘積項。最大可能的組提供每項最小數量的字面量 — 因此策略是「用最大的合法矩形覆蓋每個 1」。
什麼是質隱含項？
質隱含項是覆蓋一組最小項且不能與任何其他相鄰組結合形成更大組的乘積項。基本質隱含項是唯一覆蓋至少一個特定最小項的質隱含項 — 它必須出現在每個最小覆蓋中。非基本質隱含項是可選的，僅在需要覆蓋剩餘最小項時才包含。
化簡器接受哪些輸入語法？
您可以將 AND 寫為
&、*、·、.，或簡單的連接（AB 表示 A AND B）。OR 可以是 + 或 |。NOT 可以是 ~、!、¬，或後置單引號（A'、(A+B)'）。單詞運算符 AND OR NOT XOR NAND NOR IMPLIES IFF 也適用，箭頭形式 -> 和 <-> 同樣適用。括號用於子表達式分組。常數 0 和 1（或 TRUE/FALSE）代表固定值。為什麼僅限 NAND 和僅限 NOR 形式很有用？
NAND 和 NOR 被稱為萬用閘，因為任何布林函數都可以僅使用其中之一來構建。在實際的矽片中，NAND 閘通常是製造速度最快且最便宜的，因此可程式化邏輯的編譯器通常以僅限 NAND 的網路列表為目標。化簡器顯示等效的僅限 NAND 和僅限 NOR 表達式 — 僅限 NAND 表達式可以直接讀作二級 NAND-NAND 電路，這在開關理論中與 AND-OR 電路結構相同。
本工具支援多少個變數？
最多支援 8 個變數。卡諾圖適用於 2、3 和 4 個變數（格線大小為 2×2、2×4 和 4×4，並帶有格雷碼標記）。對於 5 個以上變數，真值表會增長到 32 行以上，但 Quine-McCluskey 演算法仍然能產生準確的最小形式 — 此時會省略卡諾圖，因為 3D 或分割圖很難閱讀。
我可以檢查兩個布林表達式是否等效嗎？
可以 — 請分別化簡這兩個表達式。如果它們的最小 SOP 形式完全相同，則它們計算的是同一個函數。您也可以逐行比較它們的真值表。化簡器會輸出最小項集合和標準 SOP，這些是函數的唯一指紋。
引用此內容、頁面或工具為：
"布林代數化簡器" 於 https://MiniWebtool.com/zh-tw/布林代數化簡器/，來自 MiniWebtool，https://MiniWebtool.com/
由 MiniWebtool 團隊製作。更新日期：2026-04-19
您還可以嘗試我們的 AI數學解題器 GPT，通過自然語言問答解決您的數學問題。
其他相關工具:
進階數學計算:
- antilog計算機
- Beta函數計算機
- 二項式係數計算機
- 二項概率分布計算機
- 按位計算機
- 中央極限定理計算機
- 組合計算機 精選
- 互補誤差函數計算機
- 複數計算機
- 熵計算機
- 誤差函數計算機
- 指數衰減計算機-高精度
- 指數增長計算機 高精度
- 指數積分計算機
- 指數計算機-高精度
- 階乘計算機 精選
- 伽瑪功能計算機
- 黃金比例計算機
- 半衰期計算機
- 百分比增長率計算機 精選
- 排列計算機
- 泊松分佈計算機
- 多項式根計算機與詳細步驟
- 機率計算機
- 概率分布計算機
- 比例計算機 精選
- 二次公式計算機 精選
- 科學計算機 精選
- 科學記數法計算機
- 有效數字計算機 新
- 立方和計算機
- 連續數之和計算機
- 平方和計算機
- 真值表產生器 新
- 集合論計算機 新
- 韋恩圖產生器3集合 新
- 中國剩餘定理計算機 新
- 歐拉函數計算機 新
- 擴展歐幾里得演算法計算機 新
- 模乘逆元計算機 新
- 連分數計算機 新
- 戴克斯特拉最短路徑計算機 新
- 最小生成樹計算機 新
- 圖度數序列驗證器 新
- 錯排 子階乘計算機 新
- 斯特林數計算機 新
- 鴿巢原理計算機 新
- 馬可夫鏈穩態分布計算機 新
- 四捨五入計算機 新
- 負二項分布計算機 新
- 重複排列計算機 新
- 模冪運算計算機 新
- 原根計算機 新
- 布林代數化簡器 新
- 卡諾圖 (K-Map) 求解器 新
- 圖著色計算機 新
- 拓撲排序計算機 新
- 鄰接矩陣計算機 新
- 容斥原理計算機 新
- 線性規劃求解器 新
- 旅行推銷員問題求解器 (TSP) 新
- 漢密爾頓路徑檢查器 新