← 數學與統計

真值表与逻辑表达式评估(含 DNF/CNF 化简)

解析布尔表达式,生成最多10个變量的真值表、规范 DNF/CNF,並按變量数自动選擇卡诺圖或奎因–麦克拉斯基化简,附帶計算過程、CSV 匯出与可分享 URL。

其他语言 ja | en | zh-CN | zh-TW | zh-HK | es | es-419 | es-MX | pt-BR | pt-PT | id | vi | ko | fr | de | it | ru-RU | hi-IN | ar | bn-BD | th-TH | fil-PH | fa-IR | nl-NL | he-IL | cs-CZ
顯示选项

支援的运算符:! / ~(非)、& / ∧(与)、^(异或)、| / ∨(或)、->、<->,常量 0、1、T、F。變量自动按字母排序。

結果概覽

常見问题

支援哪些运算符?

! 或 ~ 表示非,& 或 ∧ 表示与,^ 表示异或,| 或 ∨ 表示或,-> 表示蕴含,<-> 表示等价,常量 0、1、T、F 均可使用。

何時使用卡诺圖或奎因–麦克拉斯基化简?

變量数不超過 4 時使用卡诺圖分组,5 至 6 个變量時切換為奎因–麦克拉斯基(结合 Petrick 法),超過 6 个變量時退回规范 DNF。

相關計算器