用途：将布尔表达式化简到最简形式，并验证化简式与原式逻辑等价；可用于映射逻辑门前的化简、等价性校验、生成最小SOP/POS、教学布尔代数、为设计逻辑电路技能准备输入。
主要能力：支持常见记法的表达式（如 A AND (B OR NOT C)、A * (B + C')、A & (B | ~C)）；统一采用 * 表示AND、+ 表示OR、' 表示NOT、^ 表示XOR；可展开为规范SOP（最小项）或POS（最大项）；构建完整真值表；按同一律、幂等律、互补律、吸收律、德摩根定理、分配律、共识定理、XOR化简等逐步化简并注明所用定律；对最多6个变量绘制格雷码排序卡诺图，2变量为2×2、3变量为2×4、4变量为4×4、5变量为两个4×4、6变量为四个4×4，按2的幂次划矩形组（可环绕边界）提取素蕴含项与本原蕴含项，得到最小SOP/POS及文字数；最后通过真值表比较或代数证明验证等价性，并检查全0、全1等关键输入。
使用方式：输入必填项为布尔表达式和目标形式（最小SOP、最小POS或两者）；可选填卡诺图变量顺序、无关项（don't-care）以及用于等价性检查的第二表达式。过程依次为规范化、建真值表、代数化简、卡诺图最小化、等价验证，各阶段有规定的输出格式与失败处理（如语法歧义需澄清，变量超过6个改用Quine-McCluskey或Espresso并注明）。
适用场景：化简逻辑门前的表达式、验证两个布尔表达式是否等价、生成最小SOP/POS、教学或复习布尔代数恒等式、为设计逻辑电路准备输入。
限制：卡诺图步骤仅适用于最多6个变量；代数化简不保证全局最小，需用卡诺图或Quine-McCluskey交叉核对；表达式需语法正确且运算符优先级无歧义（标准优先级为NOT > AND > OR）；常见错误包括卡诺图邻接遗漏环绕、分组非2的幂、把无关项当0处理、混淆最小项与最大项。具体收费、价格、平台、实际运行效果等资料暂未提供。