Boolean Workspace

卡诺图与逻辑化简工作台

用同一套 C++ WebAssembly 求解引擎,查看最简 SOP / POS、最小项与最大项, 并在卡诺图上直接联动高亮每一项对应的分组。

输入能力
25 变量

支持括号、相邻与、显式与、显式或,以及 ! / ~ 前缀非和大小写反变量写法。

交互重点
项级联动

鼠标或键盘聚焦 SOP / POS 某一项时,卡诺图会同步高亮该项覆盖的圈和单元格。

表达式输入

输入一条布尔表达式,页面会同步返回最简结果与结构化卡诺图。

正在加载 WASM 引擎…
卡诺图
等待结果
最简与或表达式 (SOP)
最简或与表达式 (POS)
最小项表达式
最大项表达式