Logic 如何理解这种风格的K图

我见过一种用于逻辑设计的不同风格的卡诺图。这是他们使用的样式：

---

有人知道这张K图是怎么做的吗？用这种地图怎么理解？或者他们是如何从那张地图上的方程式推导出来的。该映射与普通映射有很大不同，如下所示：

原则上是相同的，只是行和列的顺序不同

---

红色标签表示变量为真时，蓝色标签表示变量为假时，实际上是同一个映射，但不是A，而是C，而是A，不是C，而是D，而不是D，映射以这种方式相互关联，唯一的区别是单元格（术语）与变量或变量顺序对应的索引。

感叹号只是变量求反的一种替代方法。！A与A相同，有时也称为“A”

       !A    A    A   !A            ↓CD\AB → 00   01   11   10
     +----+----+----+----+                 +----+----+----+----+
  !B |  1 |  0 |  1 |  0 | !D           00 |  1 |  1 |  1 |  0 |
     +----+----+----+----+                 +----+----+----+----+
   B |  1 |  1 |  1 |  1 | !D     ~     01 |  1 |  x |  x |  1 |
     +----+----+----+----+                 +----+----+----+----+
   B |  x |  x |  x |  x |  D           11 |  x |  x |  x |  x |
     +----+----+----+----+                 +----+----+----+----+
  !B |  1 |  1 |  x |  x |  D           10 |  0 |  1 |  1 |  1 |
     +----+----+----+----+                 +----+----+----+----+
       !C   !C    C    C  

如果您不确定给定K-map中的索引，您可以通过编写相应的真值表来检查。

例如，“奇怪”K图中第一个单元格的输出值等于1如果！A·！B·！C·！D（所有变量的否定形式），它对应于真值表的第一行，因此索引为0。等等

 index | A B C D | y
=======+=========+===
    0  | 0 0 0 0 | 1
    1  | 0 0 0 1 | 1
    2  | 0 0 1 0 | 0
    3  | 0 0 1 1 | x ~ 'do not care' state/output
-------+---------+---
    4  | 0 1 0 0 | 1
    5  | 0 1 0 1 | x
    6  | 0 1 1 0 | 1
    7  | 0 1 1 1 | x
-------+---------+---
    8  | 1 0 0 0 | 0
    9  | 1 0 0 1 | 1
   10  | 1 0 1 0 | 1
   11  | 1 0 1 1 | x
-------+---------+---
   12  | 1 1 0 0 | 1
   13  | 1 1 0 1 | x
   14  | 1 1 1 0 | 1
   15  | 1 1 1 1 | x

您可以使用与使用“普通”K映射查找关联（组）相同的方法使用映射，因为所有K映射索引都需要符合格雷代码。

您可以看到简化布尔表达式在这两种K映射样式中是相同的：

f(A,B,C,D) = !A·!C + A·C + B + D = ¬A·¬C + A·C + B + D

• !！A·！C标记为红色
• A·C蓝
• B橙子
• 和D绿

K图是使用latex的\karnaughmap命令和tikz库生成的