SimpliMap: K-Map Solver

还在为卡诺图和布尔代数而苦恼吗？SimpliMap 让一切变得轻松简单。

SimpliMap 是一款免费的离线卡诺图求解器，可帮助您以可视化的方式简化布尔表达式。无论您是学习数字逻辑的学生，还是验证电路设计的工程师，SimpliMap 都能为您提供清晰的步骤解释，并立即给出结果。

★ 主要功能

✦ 交互式卡诺图网格

点击单元格即可在 0、1 和“无关”之间切换。支持三变量和四变量卡诺图，并正确显示格雷码顺序。

✦ 灵活的输入方式

您可以直接输入布尔表达式（例如 A'B + CD），也可以使用最小项表示法（例如 m0 + m3 + m5）。网格实时更新。

✦ 无关项支持

单独添加无关项，以获得最佳结果——这是许多卡诺图应用所缺乏的功能。

✦ 积之和 (SOP) 和积之和 (POS) 结果

即时切换积之和 (SOP) 和积之和 (POS) 形式。查看两种形式的最简方程。

✦ 质蕴涵项可视化

颜色编码的分组直接绘制在卡诺图上，包括环绕分组。清晰地查看项的组合方式。

✦ 分步解释

理解每个简化步骤背后的“原因”：

• 问题设置和变量识别

• 分组逻辑和变量消除

• 关键质蕴涵项的选择

• 最终最简方程

✦ 精美的深色和浅色主题

在深色模式、浅色模式之间切换，或遵循您的系统设置。采用 Material 3 设计，带来现代简洁的体验。

✦ 100% 离线且私密

无需网络连接。不收集任何数据。无广告。一款快速可靠的布尔代数工具。

★ 完美适用于

• 计算机科学与电子工程专业的学生

• 数字逻辑设计课程

• 电路设计验证

• 离散数学作业

• 快速布尔表达式检查

★ 使用方法

1. 选择 3 或 4 个变量

2. 输入表达式或点击卡诺图上的单元格

3. 点击“求解”

4. 查看简化后的 SOP/POS 表达式，并带有可视化分组和解释

立即下载 SimpliMap，让布尔简化变得简单。