结果概览
计算过程
真值表
规范形式与化简结果
常见问题
支持哪些运算符？
! 或 ~ 表示非，& 或 ∧ 表示与，^ 表示异或，| 或 ∨ 表示或，-> 表示蕴含，<-> 表示等价，常量 0、1、T、F 均可使用。
何时使用卡诺图或奎因–麦克拉斯基化简？
变量数不超过 4 时使用卡诺图分组，5 至 6 个变量时切换为奎因–麦克拉斯基（结合 Petrick 法），超过 6 个变量时退回规范 DNF。
相关电卓
Ad slot (reserved)
解析布尔表达式，生成最多10个变量的真值表、规范 DNF/CNF，并按变量数自动选择卡诺图或奎因–麦克拉斯基化简，附带计算过程、CSV 导出与可分享 URL。
! 或 ~ 表示非，& 或 ∧ 表示与，^ 表示异或，| 或 ∨ 表示或，-> 表示蕴含，<-> 表示等价，常量 0、1、T、F 均可使用。
变量数不超过 4 时使用卡诺图分组，5 至 6 个变量时切换为奎因–麦克拉斯基（结合 Petrick 法），超过 6 个变量时退回规范 DNF。