真值表轉邏輯式
每行一組真值表：「變數表; 輸出為 1 的列號」（A,B,C; 0,2,5,7）或「變數表; 輸出欄」（A,B; 1100，第 1 個字元是全 0 列）
輸入模式:
變數個數:
無關項:
化簡方式:
表達式形式:
記號方式:
回代驗證:
最多輸出列:
分隔符:
計算結果
下載 CSV
| 序號 | 形式 | 表達式 | 蘊含項數 | 驗證 |
|---|
工具介紹及使用方法
輸入真值表，反向求出最簡邏輯表示式：可用「變數表; 輸出為 1 的列號」寫最小項（如
本工具做的是真正的化簡（Quine-McCluskey：素蘊含項 → 本質項 + Petrick 最小覆蓋），輸出標準與或式 Σm、最簡與或式、最簡或與式 ΠM 三種形式，可選符號寫法（
兩點注意：① 輸出列的第 1 個字元對應「全 0 列」（列號 0），之後依二進位順序遞增，字元用
A,B,C; 0,2,5,7），也可直接寫輸出列（如 A,B; 1100）。本工具做的是真正的化簡（Quine-McCluskey：素蘊含項 → 本質項 + Petrick 最小覆蓋），輸出標準與或式 Σm、最簡與或式、最簡或與式 ΠM 三種形式，可選符號寫法（
A'B + AC'）或文字寫法（(NOT A AND B) OR (A AND NOT C)）。兩點注意：① 輸出列的第 1 個字元對應「全 0 列」（列號 0），之後依二進位順序遞增，字元用
1 / 0 / x（無關項，- 也行），長度必須等於 2 的變數次方；② 勾選「無關項」後，最小項會被合併得更簡（d(...) 的列只要不與最小項衝突即可自由取 0 或 1）。預設 3 個變數，最多 6 個；每列結果都會用該表示式回代真值表逐列比對，全部一致才顯示「通過」。
操作步驟
- 依輸入模式每列填寫最小項列號或輸出列。
- 設定化簡方式、表示式形式與記號方式。
- 點擊執行。
- 複製標準式／最簡式與回代校驗結果。
留言板
全部留言 →-
還沒人說話，來搶個沙發？