karnaugh

\begin{karnaugh-map}*[4][4][1][x y][z k]
  \manualterms{1,0,1,0,0,0,0,1,1,1,0,1,0,1,1,0}
  \implicantedge{0}{0}{2}{2}
  \implicant{7}{7}
  \implicant{14}{14}
  \implicant{13}{9}
  \implicant{8}{9}
  \implicant{9}{11}
\end{karnaugh-map}