ロジック設計用の別のスタイルのカルノー図を見てきました。これは彼らが使用したスタイルです:
このK-Mapがどのように行われたか知っている人はいますか?この種の地図をどのように理解するのですか?または、それらがそのマップからその方程式からどのように導き出されたか。このマップは、次のような一般的なマップとはまったく異なります。
ロジック設計用の別のスタイルのカルノー図を見てきました。これは彼らが使用したスタイルです:
このK-Mapがどのように行われたか知っている人はいますか?この種の地図をどのように理解するのですか?または、それらがそのマップからその方程式からどのように導き出されたか。このマップは、次のような一般的なマップとはまったく異なります。
行と列 (または変数) の順序が異なるだけで、原理的には同じです。
赤のラベルは変数が true の場合、青のラベルは false の場合です。
マップはこのように相互に関連しています。唯一の違いは、変数または変数の順序に対応するセル (用語) のインデックスです。
感嘆符は、変数の否定に代わるものにすぎません。!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 マップのインデックスが不明な場合は、対応する真理値表を作成することでいつでも確認できます。
たとえば、「ストレンジ」K マップの最初のセルの出力値は、!A·!B·!C·!D (すべての変数が否定されている) の場合に 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 マップを使用してインプリカント (グループ) を見つけるのと同じ方法でマップを使用できます。これは、すべての K マップのインデックス作成がグレイのコードに準拠する必要があるためです。
簡略化されたブール式は、これらの K マップの両方のスタイルで同じであることがわかります。
f(A,B,C,D) = !A·!C + A·C + B + D = ¬A·¬C + A·C + B + D
K マップは、latex の \karnaughmap コマンドと tikz ライブラリを使用して生成されました。
実際には同じマップですが、Aの代わりにCがあり、Bの代わりにAがあり、Cの代わりにDがあり、Dの代わりにBがあります。