卡诺图求解器
将 2–4 变量的布尔函数化简为最简 SOP 形式，支持无关项条件，并显示所有质蕴涵项。
| F | |
|---|---|
点击 F 列中的单元格可切换取值 0 → 1 → X (无关项)。
使用方法
- 1 选择函数的变量个数（2、3 或 4）。
- 2 点击每一行的 F 单元格，将输出值设置为 1、X（无关项）或 0。
- 3 最简积之和表达式会即时更新。
为什么使用此工具
- 使用 Quine–McCluskey 方法化简布尔函数。
- 支持无关项条件，得到更简洁的表达式。
- 显示结果背后所用的质蕴涵项 —— 全部在浏览器内完成。
常见问题
这个工具会输出什么结果？
一个最简的布尔积之和（SOP）表达式 —— 在准确还原你的真值表的前提下，项数和literal（文字）数尽可能少。
工具是如何进行化简的？
它运行 Quine–McCluskey 算法找出所有质蕴涵项，然后为所需的最小项选出一个最小覆盖集合。
无关项（X）是什么意思？
指那些你不关心其输出值的输入组合。工具会根据哪种取法能得到更简单的表达式，自行将其视为 0 或 1。
撇号（prime）符号是什么意思？
撇号（例如 A′）表示取反 —— 即该变量在此项中取值为 0。字母不带撇号则表示该变量取值为 1。
什么是 卡诺图求解器？
卡诺图求解器根据布尔函数的真值表进行化简，通过 Quine–McCluskey 方法生成最简的积之和（SOP）表达式。
功能特性
Up to 4 variables
Interactive K-map with 1 / 0 / don't-care (X) cells for 2–4 variables.
Quine–McCluskey minimization
Returns the minimal sum-of-products expression, exploiting don't-cares.
Free & private
Runs on your device — nothing is uploaded.
示例
Input
F(A,B): minterms {1, 3} = 1Output
F = B常见使用场景
-
1
Simplify logic circuits
Reduce a Boolean function to fewer gates before building it.
-
2
Digital design study
Learn K-map grouping and SOP minimization.
-
3
Use don't-cares
Exploit unspecified outputs to simplify the expression further.
Zerethon's Karnaugh map solver minimizes Boolean functions of up to four variables in your browser. Toggle each cell to 1, 0, or don't-care, and it returns the minimal sum-of-products expression using the Quine–McCluskey algorithm. Everything runs client-side — nothing is uploaded.
- 分类
- 数学
- 价格
- 免费
- 隐私
- 基于浏览器
- 注册
- 无需
References
- Karnaugh map — Wikipedia
- Quine–McCluskey algorithm — Wikipedia
隐私
除非另有说明，否则你的数据永远不会离开浏览器。卡诺图求解器 完全在客户端运行 — 无需上传服务器，不记录日志，不追踪你输入的内容。
相关工具
在 Zerethon Social 上创作、分享与成长
免费注册。赚取积分，收集成就，与全球创作者建立联系。