结果概览
计算过程
真值表
规范形式与化简结果
常见问题
支持哪些运算符？
! 或 ~ 表示非，& 或 ∧ 表示与，^ 表示异或，| 或 ∨ 表示或，-> 表示蕴含，<-> 表示等价，常量 0、1、T、F 均可使用。
何时使用卡诺图或奎因–麦克拉斯基化简？
变量数不超过 4 时使用卡诺图分组，5 至 6 个变量时切换为奎因–麦克拉斯基（结合 Petrick 法），超过 6 个变量时退回规范 DNF。
粘贴布尔表达式后立即生成真值表，并输出可读化简式与导出参数，适合课程作业与自检。
! 或 ~ 表示非，& 或 ∧ 表示与，^ 表示异或，| 或 ∨ 表示或，-> 表示蕴含，<-> 表示等价，常量 0、1、T、F 均可使用。
变量数不超过 4 时使用卡诺图分组，5 至 6 个变量时切换为奎因–麦克拉斯基（结合 Petrick 法），超过 6 个变量时退回规范 DNF。