如何理解这种风格的K-map

Question

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

有人知道K-Map是如何完成的吗？如何理解这种地图？或者他们如何从该地图中得出该等式。地图与常见地图完全不同，如下所示：

Answer 1

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

红色标签用于变量为真时，蓝色表示当它为假时

Answer 2

它实际上是相同的地图，但是代替A而不是A而不是B它们有A而不是C它们有D而不是D它们有B

Answer 3

地图以这种方式相互关联，唯一的区别是与变量对应的单元格（条款）索引或变量的顺序。

感叹号只是对变量否定的替代。！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中的索引，您可以随时通过编写相应的真值表来检查。

例如，如果！A·！B·！C·！D（所有变量在其否定中），“奇怪”K-map中第一个单元格的输出值等于1，则对应于第一行真值表，所以索引是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-map一样使用地图来查找瑕疵（群组），因为所有K-map索引都需要符合格雷的代码。

您可以看到这些K-maps的两种样式中的简化布尔表达式相同：

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

• ！A·！C标记为红色，
• A·C blue，
• B orange
• 和D green。

使用latex的\ karnaughmap命令和tikz库生成K-maps。