布林代數計算器
逐步化簡布林運算式
此計算器將嘗試將給定的布林表達式加以化簡／最小化，並在可能時顯示步驟。會套用以下法則：交換律、分配律、支配律（零律、湮滅律）、恆等律、否定律、雙重否定（對合）律、冪等律、互補律、吸收律、冗餘律，以及德摩根定理。支援所有基本邏輯運算子：否定（補運算）、與（合取）、或（析取）、NAND（謝弗劃）、NOR（皮爾士箭號）、XOR（互斥析取）、蘊涵、蘊涵的逆、非蘊涵（分斷）、逆非蘊涵、XNOR（同或、等價、雙條件）、重言式（T）與矛盾式（F）。
亦可求出析取範式（DNF）、合取範式（CNF）與否定正規形（NNF）。
相關計算器: 真值表計算器