TikZ 绘制卡诺图的宏包

卡诺图是逻辑函数的一种图形表示。一个逻辑函数的卡诺图就是将此函数的最小项表达式中的各最小项相应地填入一个方格图内，此方格图称为卡诺图。

卡诺图用于简化逻辑方程。绘制它们曾经是一项无聊、烦人且容易出错的任务。这个宏包旨在简化任务。他们可以使用多达 12 个变量 1 排版卡诺图，这比您可能需要的要多 2。您只需提供变量标识符列表以及逻辑函数的真值表。宏还允许直接在卡诺图中突出显示逻辑功能的简化。这个包基于来自 arnaugh 包的 kvmacros.tex，但支持两种截然不同的输入真值表的方式。进行的修改旨在使用 TikZ 而不是本机 LATEX 命令，当您需要与地图一起绘制其他元素并产生更高的图形质量时，可以更轻松地自定义，更容易扩展。指示跨行和列的变量值的标签可以用数字和简化形式表示。有需要的用户可以到这里查看：https://ctan.org/pkg/tikz-karnaugh