簡化您的工作流程：搜尋 miniwebtool。
添加插件
相關工具
代數表達式簡化器卡諾圖 (K-Map) 求解器邏輯閘模擬器馬可夫鏈穩態分布計算機真值表產生器
主頁 > 數學 > 進階數學計算 > 布林代數化簡器
 

布林代數化簡器

使用代數定律、Quine-McCluskey 演算法與卡諾圖化簡法來簡化布林表達式。輸入任何邏輯表達式（AND、OR、NOT、XOR、NAND、NOR），即刻獲得最小 SOP/POS 形式、完整真值表、卡諾圖視覺化、邏輯閘圖解、逐步定律應用以及僅限 NAND/NOR 的等效形式。

布林代數化簡器
範例：
插入：
接受的語法
AND: & · AB  |  OR: + |  |  NOT: ~ ! A'  |  XOR NAND NOR

Embed 布林代數化簡器 Widget

布林代數化簡器

布林代數化簡器使用 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^, ⊕, 單詞 XORA XOR B, A^B
NAND⊼, 單詞 NANDA NAND B
NOR⊽, 單詞 NORA NOR B
隱含 (Implies)->, =>, 單詞 IMPLIES, →A -> B
等價 (Equivalence)<->, <=>, 單詞 IFF, ↔A <-> B
常數0 1 TRUE FALSEA + 0, A * 1

Quine-McCluskey 演算法

Quine-McCluskey 方法是一種系統性的表格法，用於尋找最小乘積之和表達式。與卡諾圖（視覺化且僅限於約 6 個變數）不同，Quine-McCluskey 具有可擴展性，並且始終能產生保證最小的覆蓋。

  1. 列出所有最小項 — 真值表中評估結果為 1 的每一行。
  2. 按 1 位元計數分組 — 根據最小項二進制表示中 1 的數量進行排序。
  3. 合併相鄰組 — 恰好相差一個位元的配對進行合併，並用破折號代替該位元。重複此過程直到無法再合併。
  4. 收集質隱含項 — 任何從未被進一步合併的項都是質隱含項。
  5. 建立質隱含項表 — 以質隱含項為行、最小項為列的網格。標記哪些質隱含項覆蓋了哪些最小項。
  6. 選擇基本質隱含項 — 任何作為覆蓋某個最小項的唯一質隱含項都是基本項。
  7. 覆蓋剩餘最小項 — 選擇額外的質隱含項來覆蓋尚未被基本項覆蓋的最小項，並最小化字面量計數。

如何使用布林代數化簡器

  1. 輸入表達式： 使用您偏好的符號輸入任何布林表達式。您可以混合風格 — A.B + A'C 和 A AND B OR NOT A AND C 的解析結果是相同的。
  2. 點擊化簡： 工具會進行解析、建立真值表、執行 Quine-McCluskey 並最小化表達式。
  3. 研究卡諾圖： 每個彩色圈代表一個質隱含項。基本質隱含項以實線繪製，非基本項以虛線繪製。
  4. 查看步驟： 逐步面板將指引您從標準 SOP 到質隱含項發現，再到最終最小形式的過程。
  5. 檢查等效形式： 當您的目標技術是 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，通過自然語言問答解決您的數學問題。

進階數學計算:

常用工具:

分數計算機隨機撲克牌產生器真心話大冒險產生器百分比增加計算機百分比增長率計算機斜邊計算機🎮 遊戲靈敏度轉換器隨機信用卡生成器羅馬數字轉換器相對標準偏差計算機磅轉公斤轉換器質數分解計算機比例計算機圓計算機kpa到psi轉換器最簡分數計算機毛利率計算機HEX計算機商和餘數計算機百分比折扣計算機kg到lbs轉換器百分比減少計算機圖片分割器校正鈣計算機MAC地址查找太陽、月亮與上升星座計算機 🌞🌙✨隨機字母生成器Instagram用戶ID查詢隨機名稱生成器年齡計算機百分比變化計算機百分比誤差計算機最小公倍數計算機反向文字查找並替換文字🌡️ 體感溫度計算機ANC計算機影片轉圖片擷取器年份天數計算機 - 今天是今年的第幾天簡單利息計算機坡度與傾斜度計算機複利計算機AI內容檢測器兩點間距離計算機Bar to PSI 轉換器隨機選擇器調整影片速度加價計算機定期存款計算機二次公式計算機迷宮產生器隨機餐點產生器SRT時間偏移標準偏差計算機 - 高精度多分數計算機📅 日期計算機樂透號碼生成器小字體生成器 ⁽ᶜᵒᵖʸ ⁿ ᵖᵃˢᵗᵉ⁾因子計算機分數百分比轉換器畢達哥拉斯定理計算機對數計算機分數到小數計算機音訊分割器模計算機CAGR計算機凱薩密碼工具合併影片PCB走線寬度計算機隨機數學題產生器影片壓縮器剪刀石頭布產生器cpm計算機平均值計算機隨機動物生成器橢圓 周長計算機賓果卡生成器比率與百分比計算機填字遊戲製作器克到磅轉換器文字重複工具最大公因子計算機百分比計算機FPS 轉換器星期幾計算機Zalgo文本生成器psi到kpa轉換器速度計算機文件大小轉換器速度轉換器YouTube頻道統計磅到克轉換器跑步配速計算機組合計算機⏱️ 小時計算機隨機英文單字產生器數獨產生器與求解器公因子計算機ERA計算機考拉茲猜想計算機隨機錦標賽對陣生成器我的幸運數字是什麼積分計算機OPS計算機圖片打碼工具Facebook用戶ID查詢HEX轉換器隨機顏色生成器可整除測試計算機百分比到ppm轉換器純利潤計算機保齡球計分計算機質數檢查器壓力轉換器隨機日期生成器斜率計算機總和計算機文本格式化工具SRT轉換為TXT工具科學記數法計算機AI標點符號添加器為影片新增浮水印隨機時間生成器隨機生日生成器十進製到科學記數法轉換器出生星期計算機小數到分數計算機線規計算機體積轉換器姓名靈數計算機條碼產生器排序數字🖱️ 點擊計數器GUID / UUID 生成器MAC地址產生器YouTube收益估算器行數統計工具不可見字元移除器投球命中率計算機血壓解讀器克到盎司轉換器刑期減免計算機棒球長打率計算機步數距離計算機演講時間計算機刪除線文字產生器樓梯計算機汽車貸款計算機線性迴歸計算機馬丁格爾策略計算機MP3循環播放器棒球打擊率計算機工時計算機淨利潤率計算機歐姆定律計算機燃油費用計算機階乘計算機鋼筋計算機PSI 轉 Bar 轉換器汽車折舊計算機工作搜尋器🌐 時區轉換器移除標點符號線上工具圖片壓縮器直角三角形計算機樣本量計算機黃金比例計算機隨機化數字影片分割器游泳配速計算機發音音標轉換器GIF 轉 MP4 轉換器圓柱體體積計算機 高精度隨機貓狗名字產生器上壘率計算機弧長計算機名人名言搜尋 (英文)心算訓練器角度轉換器預產期計算機橢圓面積計算機複數計算機多項式因式分解計算機比較分數計算機隨機字符串生成器WHtR計算機凱利公式計算機愛情兼容性計算機正方形計算機GIF 製作器Log Base 10 計算機倒立文本產生器土星回歸計算機數字轉分數轉換器比率計算機百分比到小數轉換器預期壽命計算機功率轉換器常規時間到小數時間轉換器血糖轉換器CGPA轉百分比轉換器簡易評分器 EZ Grader養育孩子成本計算機寶寶奶量計算機尿布尺寸計算機嬰兒名字產生器寶寶眼睛顏色預測器兒童BMI百分位計算機兒童身高預測器hcg翻倍時間計算機試管嬰兒預產期計算機著床計算機中國生男生女預測器ISO 8601 日期格式化工具儒略日轉換器午睡計算機月相計算機日出日落計算機世界時鐘日期至羅馬數字轉換器退休倒數計時戒癮天數計算機半歲生日計算機紀念日計算機週數計算機小費分配計算機電子郵件行銷ROI計算機每筆潛在客戶成本計算機營運資本計算機邊際貢獻計算機FIFO / LIFO 計算機安全庫存計算機再訂購點計算機經濟訂購量eoq計算機折舊計算機手工藝品定價計算機批發價格計算機Shopify 利潤計算機Amazon FBA 計算機eBay費用計算機Etsy費用計算機Stripe 手續費計算機PayPal手續費計算機投注賠率轉換器十一奉獻計算機天課計算機英國印花稅計算機HRA免稅計算機服務酬金計算機NPS計算機EPF計算機PPF計算機RD計算機SWP計算機稅前薪資倒推計算機貸款比較計算機信用使用率計算機CD階梯計算機美國國庫券T-Bill計算機I 系列儲蓄債券計算機529大學儲蓄計算機HSA計算機遣散費計算機加薪計算機發票產生器出差津貼計算機里程報銷計算機房租漲幅計算機按比例租金計算機房租負擔能力計算機汽車落地價計算機購車預算計算器機車貸款計算機房車貸款計算機船舶貸款計算機土地貸款計算機建築貸款計算機只付利息抵押貸款計算機氣球貸款計算機房貸點數計算機PMI計算機雙週房貸還款計算機ARM浮動利率房貸計算機VA貸款計算機實領薪資計算機AI SQL 查詢產生器AI正規表達式產生器AI 資料視覺化工具（貼上 CSV）AI文字語氣分析器AI履歷分析器AI單位轉換器自然語言AI道歉信產生器AI禮貌藉口產生器AI 旅行行程產生器AI閱讀清單產生器AI健身計劃產生器AI膳食計畫生成器AI禮物點子產生器AI食譜產生器依現有食材獎學金投資報酬率計算機大學費用計算機語言學習流利度小時數計算機詞彙測驗產生器康乃爾筆記產生器學習曲線計算機閃卡間隔重複排程器顏料調色計算機磁磚填縫劑計算機洗碗機裝載最佳化工具洗滌劑用量計算機染髮劑調配計算機列印成本計算機燃氣與電力成本比較禮品卡小費計算機搬家紙箱數量計算機儲物單元尺寸計算機膠囊衣櫥搭配計算機皮帶長度計算機液壓缸推力計算機滑輪組計算機齒輪比計算機機械比熱容計算機熱膨脹計算器熱傳遞計算機伯努利方程式計算機雷諾數計算機太陽位置計算機潮汐時間計算器星空可見度計算機繩結打法參考工具睡袋溫度評級指南帳篷地布尺寸計算機背包旅行食物重量計算機奈史密斯健行配速計算機刺繡線長度計算機樹脂灌模容量計算機串珠圖案計算機陶土收縮率計算機折紙紙張大小計算機被子滾邊計算機十字繡繡線計算機針織圖案計算機編織針尺寸轉換器鉤針尺寸轉換器馬匹乾草計算機寵物航空旅行航空箱尺寸查詢器爬蟲棲息地UVB計算機鳥籠尺寸計算機魚缸加熱棒瓦數計算機貓砂盆數量計算機前照燈光束距離計算機引擎壓縮比計算機輪胎胎紋磨損計算機拖車舌重計算機車輛重量分佈計算機旅行費用分攤計算機剎車距離計算機工傷賠償計算機遺產分配計算機商標分類查詢計算機專利申請費計算機銷售稅關聯檢查器訴訟時效計算機Airbnb 定價優化工具室友房租分攤計算機Section 8 租金計算機BRRRR 方法計算機現金對現金報酬率計算機租金收益率計算機1031 交換計算機財富成長視覺化工具午餐花費計算機健身房 vs 居家健身花費計算機咖啡花費計算機遠端工作省錢計算機副業ROI計算機訂閱費用追蹤器SaaS定價計算機自由接案專案報價計算機煙燻木材搭配指南發酵時間計算機醃製時間計算機飲食限制食譜篩選器香料替代查找器咖啡因半衰期追蹤器標準杯計算機葡萄酒搭配建議器攀岩難度等級轉換器自行車齒輪比計算機釣魚結強度計算機瑜伽體式保持計時器游泳SWOLF計算機跑步成績預測計算機拳擊出拳力量計算機橄欖球得分計算機板球得分率計算機足球 xG預期進球計算機網球計分器Wells評分計算機 (DVT/PE)格拉斯哥昏迷指數計算機阿普加評分計算機FFMI計算機庫珀12分鐘跑步計算機一英里步行測試Rockport計算機瘦體重力量計算器碳水化合物胰島素比例計算機胰島素敏感係數計算機希伯來曆轉換器伊斯蘭曆轉換器農曆轉換器跨文化年齡計算機多久以前計算機還有多久倒數計算機日期模式產生器中間日期計算機日期加上工作日工作日計算機詞頻分析器句子長度變異分析器海明威風格可讀性編輯器維吉尼亞密碼工具埃特巴什密碼工具ROT13編碼解碼器EXIF 資料檢視與移除工具豬拉丁文翻譯器倒推首字母縮寫產生器首字母縮寫產生器全字母句檢查器漏字文檢測器圖片轉SVG描摹器圖片轉 ASCII 藝術轉換器JSON Schema 產生器TypeScript 線上演練場Less 到 CSS 編譯器SCSS轉CSS編譯器SVG 轉 React/JSX 轉換器查詢字串產生器URL解析器UUID驗證和解碼器HTTP狀態碼參考cURL指令建構器謝爾賓斯基三角形產生器3D曲面繪圖器極座標方程繪圖器茱莉亞集合生成器曼德博集合探索器L-System分形產生器Delaunay 三角剖分生成器Voronoi 圖生成器萬花尺圖案產生器鑲嵌圖案產生器六標準差製程能力計算機YouTube縮圖下載器隨機RPG角色生成器