01 / DEFINE
定義函數
以逗號分隔；Exact mode 最多 6 個變數。
快速範例
02 / VERIFY
求解結果
等待函數定義
載入範例，或輸入 minterms 後執行求解。
DIGITAL LOGIC · EXACT MODE
用 Quine–McCluskey 產生 Prime Implicants，再以 Petrick cover 找出可驗證的最小 SOP。
01 / DEFINE
以逗號分隔；Exact mode 最多 6 個變數。
02 / VERIFY
載入範例，或輸入 minterms 後執行求解。