卡诺图如何化简逻辑函数
格雷码使相邻单元格只有一个变量不同。把 1 或 0 组成 1、2、4、8 等二的幂大小的矩形组，就能消去组内发生变化的变量。分组可以跨越上下或左右边界，但不能沿对角线连接。
精确化简与多个最简解
本工具使用 Quine–McCluskey 制表法和精确最小覆盖搜索，最多可处理八个变量。如果多个覆盖的项数和文字数相同，工具会全部列出。
SOP、POS 和无关项
对 1 分组得到 SOP，对 0 分组得到 POS。无关项可以在有助于扩大分组时使用，但不要求覆盖。
静态冒险和电路实现
传播延迟可能让最简电路出现短暂的错误脉冲。冒险分析会建议添加共识项；门电路图、NAND/NOR 形式和 HDL 输出可用于进一步实现。