軟件截圖:
邏輯極小是一個創新，靈活的應用程序，用於簡化卡諾圖和邏輯表達式一步一步來。它非常適合那些參與工程領域，更精確地數字化，形式邏輯學者和學術界，數字設備的構造函數或參與任何與邏輯表達式。憑藉其強大的最小化功能和全面的功能，你可以用各種形式邏輯表達式的工作。
產品特點：
最小化布爾和命題公式多達24個變量;
轉換布爾公式為SOP，POS和十進制;
與卡諾圖，真值表和套計算工作;
突出對卡諾圖最小期限;
繪製邏輯電路與各種類型的邏輯門;
優化簡化布爾公式與異或門;
轉換命題公式為DNF和CNF;
查找命題公式的有效性;
支持所有布爾和命題運營商;
公式輸入型：無需進入之前轉換公式;
一步一個布爾和命題表達步驟簡化
什麼是此版本中的新：
1.2.1版本為Windows 8兼容
限制：
禁用某些功能
評論沒有發現