LaTeXでカルノーマップを描画する

2020-04-25

kvmap というパッケージが TeX Live にもともと入っていて，それを使えば簡単にカルノーマップを描画できる。

基本的な使い方は以下。

\documentclass[uplatex,dvipdfmx]{jsarticle}

% カルノーマップの描画に必要
\usepackage{graphicx}
\usepackage{kvmap}

\begin{document}
    \begin{kvmap}
      \begin{kvmatrix}{A,B,C.D}
        1 & 0 & 0 & 1 \\
        1 & 1 & 1 & 1 \\
        1 & 1 & 0 & 0 \\
        0 & 1 & 1 & 0 \\
      \end{kvmatrix}
      \bundle{0}{1}{1}{2}
    \end{kvmap}
\end{document}

ちゃんと例を書くのが面倒なので一箇所しか囲んでいないが，

\bundle{x1}{y1}{x2}{y2}

とするとその範囲に丸い囲みが描画される。多分ここは完成した画像貼った方がいいんだろうけど面倒なので省略。

あとcolor=...を与えてやると色を変えたりとかも簡単にできる。

問題はここからで， \bundle[invert=true]{...} ってやると端と端を囲むことができるのだが，例えば以下のような例だと縦の囲みか横の囲みかで曖昧になる。

\begin{kvmap}
  \begin{kvmatrix}{A,B,C}
    1 & 0 & 0 & 1 \\
    1 & 1 & 1 & 1 \\
  \end{kvmatrix}
  \bundle[invert=true]{0}{0}{3}{1}
\end{kvmap}

その結果下のようなカルノーマップが描画される。

exmple

これは問題だ。

結局，TeX Live 2019 に入っているバージョンでは対処できないらしく， CTAN から落としてきてビルドするのが正解っぽい。

最新のバージョンだと hinvert=false や vinvert=false を指定することでどちらかを無効化することができる。それを使って描画したのが以下。

example

たぶんいらんけどソースコード。

\begin{kvmap}
  \begin{kvmatrix}{A,B,C}
    1 & 0 & 0 & 1 \\
    1 & 1 & 1 & 1 \\
  \end{kvmatrix}
  \bundle[invert=true,vinvert=false,overlapmargins=8pt]{0}{0}{3}{1}
\end{kvmap}