关于 K-Map Solver

K-Map Solver 是什么?

K-Map Solver 是一个免费的在线工具,用于通过卡诺图化简布尔函数。无需注册,没有广告,完全在你的浏览器中运行。

它的诞生是因为大多数现有的在线工具功能有限、使用起来令人困惑,或者没有正确实现 Quine-McCluskey 和 Petrick 算法。K-Map Solver 与众不同。

你可以在这里做什么?

• 化简布尔函数,支持 2 到 6 个变量,使用卡诺图
• 五种方式输入数据:真值表、最小项、最大项、表达式,或直接点击
• 获得最简形式:与或式(SOP)和或与式(POS)
• 可视化分组过程,准确理解某些项为何被消去
• 查看自动生成的电路,与你的表达式一一对应
• 像真正的工程师一样处理无关项(don't-care)

为什么要创建它?

在数字逻辑教学过程中,逐渐发现学生们需要一个能够正确实现 Quine-McCluskey 算法、支持多种输入方式、无需注册账号即可使用,并且完全免费、值得信赖的工具。

谁可以使用这个工具?

• 工程专业的学生,学习数字逻辑与电路设计
• 讲授这些内容的教师
• 从事真实组合逻辑工作的设计工程师
• 备考各类考试的考生(GATE、IEEE、高校课程)

联系方式

发现了错误?有什么建议?欢迎与我们联系。