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