diff options
Diffstat (limited to 'Master')
-rw-r--r-- | Master/texmf-dist/doc/latex/tikz-karnaugh/README.txt | 8 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/tikz-karnaugh/tikz-karnaugh-doc.pdf | bin | 342216 -> 402809 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/tikz-karnaugh/tikz-karnaugh-doc.tex | 619 | ||||
-rw-r--r-- | Master/texmf-dist/tex/latex/tikz-karnaugh/tikzlibrarykarnaugh.code.tex | 519 |
4 files changed, 906 insertions, 240 deletions
diff --git a/Master/texmf-dist/doc/latex/tikz-karnaugh/README.txt b/Master/texmf-dist/doc/latex/tikz-karnaugh/README.txt index 7a4f905e59e..b9e11e222d0 100644 --- a/Master/texmf-dist/doc/latex/tikz-karnaugh/README.txt +++ b/Master/texmf-dist/doc/latex/tikz-karnaugh/README.txt @@ -5,19 +5,19 @@ The tikz-karnaugh package may be distributed and/or modified under the condition http://www.latex-project.org/lppl.txt and version 1 or later is part of all distributions of LaTeX version 1999/12/01 or later. - Version 1.3 of 14 October 2021 + Version 1.4 of 8 February 2022 ------------------------------------------------------------ The tikz-karnaugh package is a LaTeX package used to draw Karnaugh maps. It uses TikZ to produce high quality graph from 1 to 12 variables, but this upper limit depends on the TeX memory usage and can be different for you. It is very good for presentation since TikZ allows for a better control over the final appearance of the map. You can control colour, styles and distances. -It can be considered an upgrade and extension of Andreas W. Wieland's karnaugh package towards TikZ supporting. Upgrade because uses TikZ for more option on typesetting and overall higher quality. Extension because it also supports American style. Complex maps with solution (implicants) pointed out can be generated with external java software (see documentation for details). +It can be considered an upgrade and extension of Andreas W. Wieland's karnaugh package towards TikZ supporting. Upgrade because uses TikZ for more option on typesetting and overall higher quality. Extension because it also supports American style and inputting the values as they would appear in the map or in the truth table. Complex maps with solution (implicants) pointed out can be generated with external java software (see documentation for details). -It supports both American and traditional (simplified labels) styles and from version 1.3 on American style is natively supported, therefor, no more addition work is required to typeset Gray coded labels, variable names etc. +It supports both American and traditional (simplified labels) styles and from version 1.3 on American style is natively supported, therefore, no more addition work is required to typeset Gray coded labels, variable names etc. From version 1.4, two new macros allow typesetting a map much more similarly as it should appear. Original order, as the values appear in the truth table, still being supported. ------------------------------------------------------------ If you are interest in generating the documentation departing from tikz-karnaugh-doc.tex you are going to need pgfmanual-en-macros available at ctan:/graphics/pgf/base/doc/macros/pgfmanual-en-macros.tex -http://mirrors.ctan.org/tex-archive/graphics/pgf/base/doc/macros/pgfmanual-en-macros.tex +https://mirrors.ctan.org/graphics/pgf/contrib/sa-tikz/doc/macros/pgfmanual-en-macros.tex ------------------------------------------------------------ diff --git a/Master/texmf-dist/doc/latex/tikz-karnaugh/tikz-karnaugh-doc.pdf b/Master/texmf-dist/doc/latex/tikz-karnaugh/tikz-karnaugh-doc.pdf Binary files differindex 99ed49808dc..f383fd345a9 100644 --- a/Master/texmf-dist/doc/latex/tikz-karnaugh/tikz-karnaugh-doc.pdf +++ b/Master/texmf-dist/doc/latex/tikz-karnaugh/tikz-karnaugh-doc.pdf diff --git a/Master/texmf-dist/doc/latex/tikz-karnaugh/tikz-karnaugh-doc.tex b/Master/texmf-dist/doc/latex/tikz-karnaugh/tikz-karnaugh-doc.tex index fbcbe34bd46..bcf7b18b2c6 100644 --- a/Master/texmf-dist/doc/latex/tikz-karnaugh/tikz-karnaugh-doc.tex +++ b/Master/texmf-dist/doc/latex/tikz-karnaugh/tikz-karnaugh-doc.tex @@ -1,6 +1,6 @@ %% This is file `tikz-karnaugh-doc.tex' -%% Version: 1.3 -%% Version date: 2021-10-14 +%% Version: 1.4 +%% Version date: 2022-02-08 %% %% Copyright (C) 2017 by Luis Paulo Laus, laus@utfpr.edu.br %% @@ -28,6 +28,9 @@ \usepackage[hyphens]{url} \usepackage[version=latest]{pgf} \usepackage{calc,listings,tikz} +\usepackage{bbding} +\usepackage{multirow} +\renewcommand{\arraystretch}{1.5} % if you need an index. \usepackage{makeidx} @@ -58,7 +61,7 @@ \usepackage{amsmath,amssymb} \usepackage{xxcolor} %% \usepackage{pifont} -%\usepackage{tgpagella} % no ligatures (test) +%%\usepackage{tgpagella} % no ligatures (test and orthography check) \usepackage{enumitem} \usepackage[T1]{fontenc} @@ -68,8 +71,8 @@ \def\pgfautoxrefs{1} \input{pgfmanual-en-macros} % Borrowed from TikZ/PGF -%% ctan:/graphics/pgf/base/doc/macros/pgfmanual-en-macros.tex -%% http://mirrors.ctan.org/tex-archive/graphics/pgf/base/doc/macros/pgfmanual-en-macros.tex +%% ctan:/graphics/pgf/contrib/tikz-dependency/pgfmanual-en-macros.tex +%% https://mirrors.ctan.org/graphics/pgf/contrib/sa-tikz/doc/macros/pgfmanual-en-macros.tex % this here allows automatic cross referencing: @@ -136,90 +139,229 @@ \begin{document} \title{Typesetting Karnaugh Maps with \LaTeX\ and \tikzname} \author{Luis Paulo Laus\\e-mail: \texttt{laus@utfpr.edu.br}} -\date{Version: 1.3, Version date: 2021-10-14} +\date{Version: 1.4, Version date: 2022-02-08} \maketitle -\section{Abstract} +\section*{Abstract} -Karnaugh maps are used to simplify logic equations leading to the most compact expression of two levels for a given truth table. The drawing of them used to be a boring, annoying and error-prone task. This set of macros intend to simplify the task. They can typeset Karnaugh maps with up to twelve variables\footnote{The actual limit may be different for you.}, which is more than you might likely need\footnote{A twelve variables map contains of 4096 cells in a $64\times64$ grid. They are simply too big to handle manually and you should consider to use a software.}. You only have to provide a list of variable identifiers plus the truth table of your logic function. The macros also allow to highlight the simplifications of your logic function directly within a Karnaugh map. This package is based on \verb|kvmacros.tex| from \verb|karnaugh| package referred herein as ``the original one''. The modifications carried out intended to use \tikzname\ instead of native \LaTeX\ commands allowing easier customisation, easier extension when you need to draw other elements along with the map and leading to higher graph quality. The labels that indicate values of the variables across de rows and columns may be represented in both numerical and simplified form. +Karnaugh maps are used to simplify logic equations leading to the most compact expression of two levels for a given truth table. The drawing of them used to be a boring, annoying and error-prone task. This set of macros intend to simplify the task. They can typeset Karnaugh maps with up to twelve variables\footnote{The actual limit may be different for you.}, which is more than you might likely need\footnote{A twelve variables map contains of 4096 cells in a $64\times64$ grid. They are simply too big to handle manually and you should consider to use a software.}. You only have to provide a list of variable identifiers plus the truth table of your logic function. The macros also allow to highlight the simplifications of your logic function directly within a Karnaugh map. This package is based on \verb|kvmacros.tex| from \verb|karnaugh| package, but two drastically different ways of input the truth table are supported. The modifications carried out intended to use \tikzname\ instead of native \LaTeX\ commands allowing easier customisation, easier extension when you need to draw other elements along with the map and resulting in higher graph quality. The labels that indicate values of the variables across de rows and columns may be represented in both numerical and simplified form. \section{Introduction} Karnaugh maps \cite{Karnaugh} and Veitch charts are used to simplify logic equations. They are map representations of logic functions, and in that they are equivalent. Veitch charts are not supported by this package, but it should not be a big problem to port Andreas W. Wieland's \verb|veitch| macro, available in \verb|karnaugh| package, if you need it. -Please note that this package, including its documentation, is based on Andreas W. Wieland's previous work and the author wishes to register his acknowledgment. +Please note that this package, including its documentation, is based on Andreas W. Wieland's previous work and the author wishes to register his acknowledgment. Modifications and extensions were made in order to support customization and a diversity of input forms. +Typesetting Karnaugh maps tend to be a boring, annoying and error-prone task. Please consider using a companion free java software (JQM, see Section~\ref{sec:JQM}). -\subsection{Comparison with Other Packages} + +\subsection{Introductory example\label{sec:IntroductoryE}} + +With \verb|tikz-karnaugh| you can typeset big (up to twelve variables or 4096 cells) good looking maps like: + +\hfill\begin{tikzpicture}[karnaugh, American style,thick, + grp/.style n args={3}{ + draw=#1,fill=#1!30, + minimum width=#2\kmunitlength, + minimum height=#3\kmunitlength, + rounded corners=0.2\kmunitlength, + fill opacity=0.6, + rectangle}] + \karnaughmap{4}{$f(a,b,c,d)$}{{$a$}{$b$}{$c$}{$d$}}% + {1110011001100110}% + { + \node[grp={blue}{0.9}{1.9}] (n000) at (0.5,2.0) {}; + \node[grp={blue}{0.9}{1.9}] (n001) at (3.5,2.0) {}; + \draw[blue] (n000.north) to [bend left=25] (n001.north) (n000.south) to [bend right=25] (n001.south); + \node[grp={red}{1.9}{0.9}] (n100) at (2.0,3.5) {}; + \node[grp={red}{1.9}{0.9}] (n110) at (2.0,0.5) {}; + \draw[red] (n100.west) to [bend right=25] (n110.west) (n100.east) to [bend left=25] (n110.east); + \node[grp={orange}{0.8}{1.8}] at (0.5,3.0) {}; + \node[red] at (2,-0.6) {American style}; + } +\end{tikzpicture}\hfill and\hfill +\begin{tikzpicture}[karnaugh, kmbar sep=0.3\kmunitlength,thick, kmbar top sep=0.8\kmunitlength, kmbar left sep=0.7\kmunitlength, + grp/.style n args={3}{ + draw=#1,fill=#1!30, + minimum width=#2\kmunitlength, + minimum height=#3\kmunitlength, + rounded corners=0.2\kmunitlength, + fill opacity=0.6, + rectangle}] + \karnaughmap{4}{$f(a,b,c,d)$}{{$a$}{$b$}{$c$}{$d$}}% + {1110011001100110}% + { + \node[grp={blue}{0.9}{1.9}] (n000) at (0.5,2.0) {}; + \node[grp={blue}{0.9}{1.9}] (n001) at (3.5,2.0) {}; + \draw[blue] (n000.north) to [bend left=25] (n001.north) (n000.south) to [bend right=25] (n001.south); + \node[grp={red}{1.9}{0.9}] (n100) at (2.0,3.5) {}; + \node[grp={red}{1.9}{0.9}] (n110) at (2.0,0.5) {}; + \draw[red] (n100.west) to [bend right=25] (n110.west) (n100.east) to [bend left=25] (n110.east); + \node[grp={orange}{0.8}{1.8}] at (0.5,3.0) {}; + \node[red] at (2,-0.6) {simplified labels}; + } +\end{tikzpicture}\hfill~\medskip + +On the left we have a more traditional Gray coded labels map (American style) just like the maps found in many books on Digital Electronics and Digital System Design. On the right, the same map is presented using variable bars (simplified labels). It is very easy to configure the appearance of all maps (globally) or a particular map (individually). Just change the values of some \tikzname\ keys. + + +\subsection{Comparison with other packages} If you ask yourself ``why another Karnaugh map typesetting package?'' the answer is easy: because I was not completely happy with the available packages I know and those are: \begin{enumerate} \item \verb|karnaugh|: it is a great package that uses native \LaTeX\ commands to draw the map. It supports Karnaugh maps and Veitch charts. It employs a recursive algorithm with no size limit\footnote{It works until you blow the memory out which will happen about ten to twelve variables.} which leads to an interesting kind of symmetry. Remember, Karnaugh maps are all about symmetry. It is not customisable, for instance, one cannot change the distance between bars\footnote{Those bars have been underappreciated along the history. Karnaugh \cite{Karnaugh} himself called them ``simplified labels'' and used them only to replace the Gray coded numbers showing around the map. Their true strength is the ease way they point out which variable belong to a prime implicant and which does not. An approach much easier than interpreting the Gray coded numbers.} (the marks showing around the map with variable identifiers on them) and if the variable identifier is long, it will overlap another bar. Also, I want to use \tikzname\ to draw colourful semi-transparent figures on to top of the map to highlight groups (prime implicants) and, although it is possible, it is rather difficult and the result is not very good because they always look a bit off. I have a long-time experience with this package and I have also written a java program to draw the maps because, though typesetting simple maps is easy, highlighting the prime implicants is not. -\item \verb|karnaughmap|: it uses \tikzname\ so you got a lot of options for customisation. It is limited to eight variable which, to be honest, should be enough for anyone. The problem is that it only draws bars (those marking mentioned above) up to four variables. Also, the order in which the variable list is inputted is different from the order employed by \verb|karnaugh|. -\item \verb|askmaps|: this package generates configurable American style Karnaugh maps for 2, 3, 4 and 5 variables. In America, instead of bars denoting the one value of variables, they use Gray coded binaries on the top and left side of the map. This behaviour is supported with \verb|tikz-karnaugh| (see Section~\ref{sec:American}), though, in my twenty years of experience teaching the subject, I have found out that bars are much more intuitive. The \verb|askmaps| contains four macros, one for each number of variables, and it can be used to highlight the prime implicants in the very same way that \verb|karnaugh| does. -\item \verb|karnaugh-map|: uses \tikzname\ to draw up to four maps of four variables leading to a 3D six variables map. It contains commands for drawing implicants on top of the map. Like \verb|askmaps|, this package uses Gray code instead of bars. -\item \verb|kvmap|: this is a relatively new package (release on 16 September, 2020) that allows you to typeset a Karnaugh map similarly as you use a tabular environment. In Section~\ref{sec:JQM} the same result is obtained using a java software, but in this case the implicants (bundles or groups) highlighting is done automatically. If you interested in seeing this future in \verb|tikz-karnaugh| please let me know. -\item \verb|cartonaugh|: This is also a relatively new package (release on 15 July, 2021). It is a fork of \verb|karnaugh-map| package that draws Karnaugh maps with up to 6 variables. The documentation of both packages looks very similar; one notable difference is the position of the function and variable labels are equivalent as used \verb|tikz-karnaugh| if |American style| is enabled. +\item \verb|karnaughmap|: it uses \tikzname\ so you got a lot of options for customisation. It is limited to eight variable which, to be honest, should be enough for anyone. The problem is that it only draws bars (those marking mentioned above) up to four variables. Also, the order in which the variables list is inputted is different from the order employed by \verb|karnaugh|. +\item \verb|askmaps|: this package generates configurable American style Karnaugh maps for 2, 3, 4 and 5 variables. This style is supported by \verb|tikz-karnaugh| (see Section~\ref{sec:American}), though, in my twenty years of experience teaching the subject, I have found out that \emph{simplified labels} are much more intuitive. Package \verb|askmaps| contains four macros, one for each number of variables, and it can be used to highlight the prime implicants in the very same way that \verb|karnaugh| does. +\item \verb|karnaugh-map|: uses \tikzname\ to draw up to four maps of four variables leading to a 3D six variables map. The values are input as a list of indices. It contains commands for drawing implicants on top of the map. Like \verb|askmaps|, this package uses American style, but the label position can be centred or moved to corner (new in version 2.0). +\item \verb|kvmap|: this is a relatively new package (released on 16 September, 2020) that allows you to typeset a Karnaugh map similarly as you use a tabular environment. The current version of \verb|tikz-karnaugh| has a similar feature, though the syntax is somehow simpler. In Section~\ref{sec:JQM} the same result is obtained using a java software, but in this case the implicants (bundles or groups) highlighting is done automatically. +\item \verb|cartonaugh|: This is also a relatively new package (released on 15 July, 2021). It is a fork of \verb|karnaugh-map| package that draws Karnaugh maps with up to 6 variables. The documentation of both packages looks very similar; one notable difference is the position of the function and variable labels are equivalent as used \verb|tikz-karnaugh| if |American style| is enabled. \end{enumerate} -With \verb|tikz-karnaugh| you can typeset big (up to twelve variables or 4096 cells) good looking maps with Gray code labels (American style) or bars (simplified labels). Using a companion free java software (JQM, see Section~\ref{sec:JQM}), you can do it automatically, including highlighting the solution. +Roughly speaking, there are two input orders, or formats, for the function values: +\begin{itemize} +\item the same order as they appear on the map. +\item the order they appear in a linear truth table following a canonical binary code. In some packages, namely \verb|karnaugh-map| and \verb|cartonaugh|, a list of indices is provided instead of an ordered list of values. +\end{itemize} + +These formats must be minded very carefully in order to produce the desired map, therefore users are urged to read Section~\ref{sec:Inputting} and, for more details, Section~\ref{sec:Comparison}. In Section~\ref{sec:JQM} a companion software that helps with inputting the data necessary to produced the map is discussed. + +Also, there are two main styles: +\begin{itemize} +\item American style is very popular in books, the association of variable and cell position is shown by Gray coded number outside the map grid; +\item simplified labels represent graphically the regions (columns or rows) for which a given variable is true or false. Because Karnaugh map is a graphical method, this style is very appealing although much less popular than American style. +\end{itemize} + +The following table shows how each package deals with those two features. + +\begin{center} +\catcode`\|=12 +\begin{tabular}{|c|c|c|c|c|} +\hline +\multirow{2}{*}{Package} & \multicolumn{2}{c|}{Input Order} & \multicolumn{2}{c|}{Style}\\ +\cline{2-5} \cline{3-5} \cline{4-5} \cline{5-5} + & Truth Table & Karnaugh Map & American & Simplified Labels\\ +\hline +karnaugh & \CheckmarkBold{} & & & \CheckmarkBold{}\\ +\hline +karnaughmap & \CheckmarkBold{} & & \CheckmarkBold{} & \CheckmarkBold{}\\ +\hline +askmaps & \CheckmarkBold{} & & \CheckmarkBold{} & \\ +\hline +karnaugh-map & \CheckmarkBold \textsuperscript{*} & & \CheckmarkBold{} & \\ +\hline +kvmap & & \CheckmarkBold{} & \CheckmarkBold{} & \\ +\hline +cartonaugh & \CheckmarkBold \textsuperscript{*} & & \CheckmarkBold{} & \\ +\hline +tikz-karnaugh & \CheckmarkBold{} & \CheckmarkBold{} & \CheckmarkBold{} & \CheckmarkBold{}\\ +\hline +\multicolumn{5}{l}{\textsuperscript{*} List of indices (cell position) instead list of +values.}\\ +\end{tabular} +\catcode`\|=13 +\par\end{center} + +The only package that supports both input orders or formats is \verb|tikz-karnaugh|. With \verb|tikz-karnaugh| you can typeset big (up to twelve variables or 4096 cells) good looking maps with Gray code labels (American style) or bars (simplified labels). Using a companion free java software (JQM, see Section~\ref{sec:JQM}), you can do it automatically, including highlighting the solution. + +\subsection{Inputting the truth table\label{sec:Inputting}} + +To create a Karnaugh map, the first thing you have to do is to load \tikzname. For this, type |\usepackage{tikz}| in the preamble of your document. Then, if the package is somewhere \TeX\ can find it, load the library with the command |\usetikzlibrary{karnaugh}|. If it is not, you can use something like |\input tikzlibrarykarnaugh.code|. You may need to provide the full or relative path to file |tikzlibrarykarnaugh.code.tex|. User of online services like overleaf (\url{https://www.overleaf.com/}) will need to check to version and, if it is not updated, will also need to upload the file tikzlibrarykarnaugh.code.tex to same folder. + +Now, consider the logic function~$f(a,b,c,d)$ of Section~\ref{sec:IntroductoryE}. If you need to typeset a Karnaugh map for $f(a,b,c,d)$, it is likely that this function would be given in one of two ways: 1) a truth table; 2) a Karnaugh map (from a book, for example). Returning to Section~\ref{sec:IntroductoryE}, the most important data are the values that function assumes. This can be represented in a chart like: + +\begin{center} +\tikz[karnaugh cell size=5mm,karnaugh,thick,disable bars]{ + \karnaughmap{4}{}{}{1110 0110 0110 0110}{}} +\end{center} + +Other relevant information is the set of input variables and their relation with rows and columns of the map: $a$, $c$, $b$ and $d$, observe the order. So, the example of Section~\ref{sec:IntroductoryE} can easily be put into a Karnaugh map by using the |\karnaughmaptab| macro in a \tikzname\ environment (|\begin{tikzpicture}|) or inline command (|\tikz|) as: + +\begin{codeexample}[width=5.2cm] +\tikz[karnaugh]{ + \karnaughmaptab{4}{f(a,b,c,d)}{acbd}{% + 1110 + 1001 + 1001 + 0110 + }{} +} +\end{codeexample} + +Inline command |\tikz| receives a list of options and one mandatory parameter, the macro |\karnaughmaptab| itself. The |\karnaughmaptab| macro has five mandatory parameters: +\begin{enumerate} +\item the number of variables in the map, 4 in this example; +\item an identifier for the function, f(a,b,c,d) in this example; +\item a list of variable identifiers for the variables, acbd in this example (order is important); +\item the list of values of $f(a,b,c,d)$ as they appear in the map\footnote{Spaces and newlines are not important and can be added for the sake of readability. If, however, you need to skip one cell, insert a pair of curly brackets, \{\}. It is usually a good idea to replace all zeros (or ones if you desire a zero map) by pairs of curly brackets. Karnaugh map is a graphical method and overloading the map with useless information can undermine the user ability to find the solution.}; and +\item a possibly empty set of \tikzname\ commands that will be drawn before the function values so the values will appear on top of them. +\end{enumerate} -\subsection{Introductory example} +The variable identifiers in the third parameter are ordered such that the variables associated with rows appear before the variables associated with columns and the most significant variable for the Gray code outside the map appear first. In other words, list the variables on left side of the map from most to least significant and then list the variables on top of the map also from most to least significant. -Let us start with an introduction on how to use these macros. The first thing you have to do is to load \tikzname. For this type |\usepackage{tikz}| in the preamble of your document. Then, if the package is somewhere \TeX\ can find it, load the library with the command |\usetikzlibrary{karnaugh}|. If it is not, you can use something like |\input tikzlibrarykarnaugh.code|. You may need to provide the full or relative path to file |tikzlibrarykarnaugh.code.tex|. +The fifth parameter remains empty in this example, it will be discussed further on. -Suppose now you have a logic function~$f$ with the following truth table: +Suppose now, instead of a Karnaugh map, you have a logic function~$f(a,b,c,d)$ with the following truth table: \begin{center} - \catcode`\|=12 -\begin{tabular}{lr} - \begin{tabular}[t]{r|cccc|c} +\catcode`\|=12 +\begin{tabular}{|r|cccc|c|} +\hline Index & $a$ & $b$ & $c$ & $d$ & $f$\\ -\hline +\hline +\hline 0 & 0 & 0 & 0 & 0 & 1\\ 1 & 0 & 0 & 0 & 1 & 1\\ 2 & 0 & 0 & 1 & 0 & 1\\ 3 & 0 & 0 & 1 & 1 & 0\\ +\hline 4 & 0 & 1 & 0 & 0 & 0\\ 5 & 0 & 1 & 0 & 1 & 1\\ 6 & 0 & 1 & 1 & 0 & 1\\ 7 & 0 & 1 & 1 & 1 & 0\\ +\hline 8 & 1 & 0 & 0 & 0 & 0\\ 9 & 1 & 0 & 0 & 1 & 1\\ 10 & 1 & 0 & 1 & 0 & 1\\ 11 & 1 & 0 & 1 & 1 & 0\\ +\hline 12 & 1 & 1 & 0 & 0 & 0\\ 13 & 1 & 1 & 0 & 1 & 1\\ 14 & 1 & 1 & 1 & 0 & 1\\ 15 & 1 & 1 & 1 & 1 & 0\\ - \end{tabular} +\hline \end{tabular} - \catcode`\|=13 +\catcode`\|=13 \end{center} -This logic function can easily be put into a Karnaugh map by using the -|\karnaughmap| macro in a \tikzname\ environment (|\begin{tikzpicture}|) or inline command (|\tikz|). The |\karnaughmap| macro has five mandatory parameters: +Rewriting the function values in the correct order as they should appear in the map is time consuming and error-prone. So, why not let \LaTeX\ take care of the details for you? This logic function can be put into a Karnaugh map by using the |\karnaughmap| macro in a \tikzname\ environment (|\begin{tikzpicture}|) or inline command (|\tikz|) as: + +\begin{codeexample}[width=5.2cm] +\tikz[karnaugh, enable indices]{ + \karnaughmap{4}{f(a,b,c,d)}{abcd}{% + 1110 0110 0110 0110 + }{} +} +\end{codeexample} + +Note that, this time, the order in which parameters \#3 and \#4 are typed in is different from the previous example. Parameter \#3 is the list of input variables in the most to least significant bit as in truth table. Parameter \#4 is just the last columns of truth table. The indices (little red number inside a cell) are enabled so one can relate each cell on the map to its position in the truth table. In other word, the index in the cell corresponds to the index in truth table. + +The |\karnaughmap| macro, just like |\karnaughmaptab|, has five mandatory parameters: \begin{enumerate} -\item the number of variables in the map; +\item the number of variables in the map; \item an identifier for the function; -\item a list of variable identifiers for the variables; +\item a list of variable identifiers for the variables, abcd (compare with the last example); \item the list of values of $f$ for each line in the truth table; and -\item a possibly empty set of \tikzname\ commands that will be drown before the function values so the values will appear on top of them. +\item a possibly empty set of \tikzname\ commands that will be drawn before the function values so the values will appear on top of them. \end{enumerate} -The variable identifiers in the third parameter are ordered from highest to lowest significance (the same way as in the truth table, with $a$ having a significance of $2^3=8$ and $d$ having a significance of $2^0=1$). The list of values of $f$ was read from lowest to highest index. The fifth parameter remains empty in this example, it will be discussed further on: - -\begin{codeexample}[width=5.1cm] -\tikz[karnaugh,enable indices] - \karnaughmap{4}{f(a,b,c,d)}{abcd}{1110 0110 0110 0110}{}; -\end{codeexample} +The variable identifiers in the third parameter are ordered from highest to lowest significance (the same way as in the truth table, with $a$ having a significance of $2^3=8$ and $d$ having a significance of $2^0=1$). The list of values of $f$ was read from lowest to highest index. The fifth parameter remains empty in this example, it will be discussed further on. The indices in the upper left corner of each cell corresponds to the indices in the truth table. The indices can easily be calculated from the variable value in the truth table, e.g., the index for row~11 is given by: \[2^{3}\,a+2^{2}\,b+2^{1}\,c+2^{0}\,d=8\,a+4\,b+2\,c+1\,d=8+2+1=11 .\] -The macros that read the variable list and the list of logic values (i.e., parameters \#3 and \#4) work recursively. This is why variables $a$ and $b$ are assorted with Karnaugh map rows and $b$ and $d$ with columns. If you need a desire a different variable arrangement, you will not only need to change parameter \#3, but also \#4 accordingly. This can be troublesome; see Section~\ref{sec:JQM} for a java software that can help on this matter. +The macros that read the variables list and the list of logic values (i.e., parameters \#3 and \#4) work recursively. This is why variables $a$ and $c$ are assigned to Karnaugh map rows and $b$ and $d$ to columns. If you desire a different variable arrangement, you will not only need to change parameter \#3, but also \#4 accordingly. This can be troublesome; see Section~\ref{sec:JQM} for a java software that can help in this matter. Each entry has to be one character long and spaces are allowed\footnote{White spaces are really usable to make the string more readable leading to fast verification.}, otherwise -- like a variable identifier enclosed in \$s -- you have to put it into curly brackets: @@ -230,21 +372,37 @@ Each entry has to be one character long and spaces are allowed\footnote{White sp \end{tikzpicture} \end{codeexample} -Observe that the labels are all in math mode in this example. Also, a \tikzname\ environment was used so there is no semicolon (;) in the end of |\karnaughmap| macro. Moreover, the indices were omitted by removing |enable indices| from the options list. +Observe that the labels are all in math mode in this example. Also, a \tikzname\ environment was used so |\karnaughmap| macro is not into curly brackets which is mandatory when using |\tikz| because |\karnaughmap| creates several path commands. Moreover, the indices were omitted by removing |enable indices| from the options list. -If you prefer Gray coded labels, referred herein as \emph{American style}, just type |American style| in the option list. A little adjustment in the space between the map and the number would be in order too: +If you prefer Gray coded labels, referred herein as \emph{American style}, just type |American style| in the option list: -\begin{codeexample}[width=5.9cm] -\begin{tikzpicture}[karnaugh, - American style, - kmbar top sep=0.2\kmunitlength, - kmbar left sep=-0.1\kmunitlength] +\begin{codeexample}[width=6.1cm] +\begin{tikzpicture}[karnaugh, American style] \karnaughmap{4}{$f(a,b,c,d)$}{{$a$}{$b$}{$c$}{$d$}}% {0110 0110 0110 0110}{} \end{tikzpicture} \end{codeexample} -See Section~\ref{sec:American} for more details on American styled maps. Also, the switch |Gray index| might be of interest. +See Section~\ref{sec:American} for more details on American styled maps. + + +\subsection{Comparison between \char`\\karnaughmaptab and \char`\\karnaughmap\label{sec:Comparison}} + +Before we go any further in the details, it is important to understand the difference between the two input modes: truth table and table formatted Karnaugh map. If the input data is given in a linear format where the binary code associated with the input variables imposes the natural order in which the output function is written, |\karnaughmap| must be used to create a Karnaugh map in the appropriated fashion. Moreover, the input variables list also has to be written from the more to least significant bit that imposes that order. If, however, you already have a Karnaugh map and want to typeset it, it is usually much easier to type the output values in the order they appear in the Karnaugh map just like it was a simple \emph{table} using |\karnaughmaptab|. The weaky analogy between tabular environment gives the |tab| at the end of the macro name. Moreover, the input variables list has to be written in the order they appear on the given map. + +Let's see how it works calling both macros with the same parameters. Instead of zeros, ones, white spaces and don't-cares, let's use a string of hexadecimal numbers from 0 to F, so we can track where the symbols go in the map. The indices are enabled, so you can see the values go in the correct position, just the notion of "correct" changes from map to map according to the macro used. Bellow, on the left we have |\karnaughmaptab| and the right |\karnaughmap|. + +\hfill\begin{tikzpicture}[karnaugh, enable indices, kmbar sep=0.3\kmunitlength,thick, kmbar top sep=0.8\kmunitlength, kmbar left sep=0.7\kmunitlength] +\karnaughmaptab{4}{$f(a,b,c,d)$}{{$a$}{$b$}{$c$}{$d$}}{0123 4567 89AB CEDF}{ + \node[blue] at (2,-0.6) {\char`\\karnaughmaptab};} +\end{tikzpicture}\hfill +\begin{tikzpicture}[karnaugh, enable indices, kmbar sep=0.3\kmunitlength,thick, kmbar top sep=0.8\kmunitlength, kmbar left sep=0.7\kmunitlength] +\karnaughmap{4}{$f(a,b,c,d)$}{{$a$}{$b$}{$c$}{$d$}}{0123 4567 89AB CEDF}{ + \node[blue] at (2,-0.6) {\char`\\karnaughmap};} +\end{tikzpicture}\hfill~ +\bigskip + +Both macros were called with |{4}{$f(a,b,c,d)$}{{$a$}{$b$}{$c$}{$d$}}{0123 4567 89AB CEDF}{}|, but the result is different because each macro treats its arguments in a different way. |\karnaughmaptab| uses the same order the values are given, just put the value in the correct cell automatically changing the row when needed. The input variables also follow in the given order: first the variable at left side then at the top of the map. |\karnaughmap| on the other hand does something much more sophisticated. It sorts the values such that they fall in the correct cell fallowing the given linear order. It also places the input variables in the correct position according to the same order. Now, for four variables, there are 24 ways to assign the variables to a map. |\karnaughmap| takes the last given input variable and assigns it to the least significant bit associated to the columns. The second last is assigned to the least significant bit associated to the rows. The next from the right to left is again assigned to column, and that goes on until the first given input variable is assigned. The corresponding cell placement is done by a recursive macro. If you are not satisfied with the default assignment you can use a java software to customize the map any way you like (see Section~\ref{sec:JQM}). \section{Karnaugh Map Library} @@ -254,40 +412,55 @@ This library provides \TeX\ macros to typeset Karnaugh maps. This library defines the following key: \begin{key}{/tikz/karnaugh} -This key should be passed as an option to a picture or a scope that contains a map, i.e., that calls |\karnaughmap| macro. It will do some internal setups. +This key should be passed as an option to a picture or a scope that contains a map, i.e., that calls |\karnaughmap| or |\karnaughmapvert| macros. It will do some internal setups. \end{key} \begin{command}{{\karnaughmap}\marg{num var}\marg{function}\marg{var list}\marg{contents}\marg{decoration}} This macro creates a Karnaugh map of \meta{num var} variables for variable \meta{function} as a function of the variables listed in \meta{var list} for the values given in \meta{content} and applying the specified \meta{decoration}. Any but the first parameter can be empty. \end{command} +\begin{command}{{\karnaughmaptab}\marg{num var}\marg{function}\marg{var list}\marg{contents}\marg{decoration}} +Similar to |\karnaughmap|, but the order in which the \meta{var list} and \meta{content} are given correspond to the map it creates. +\end{command} + \begin{command}{{\karnaughmapvert}\marg{num var}\marg{function}\marg{var list}\marg{contents}\marg{decoration}} Similar to |\karnaughmap|, but map will be transposed (like in matrix transposition). See Section~\ref{sec:verticalmode} for more details. \end{command} +\begin{command}{{\karnaughmaptabvert}\marg{num var}\marg{function}\marg{var list}\marg{contents}\marg{decoration}} +Similar to |\karnaughmaptab|, but map will be transposed (like in matrix transposition). +\end{command} + \begin{command}{{\pgfmathdectoGray}\marg{macro}\marg{number}} -Defines \meta{macro} as the result of converting \meta{number} from base 10 to Gray coded binary. The idea is to provide a new macro compatible with other base conversion macros described in Section~95.4~Base Conversion \cite{Tantau}. -\begin{codeexample}[width=2.5cm] -\pgfmathdectoGray\mynumber{14} \mynumber +Defines \meta{macro} as the result of converting \meta{number} from base 10 to Gray coded binary. The idea is to provide a new macro compatible with other base conversion macros described in Section~95.4~Base Conversion of reference \cite{Tantau}. +\begin{codeexample}[width=2.7cm] +\pgfmathdectoGray\mynumber{14}\mynumber \end{codeexample} \end{command} \begin{command}{{\kmdectobin}\marg{number}} -Converts \meta{number} from base 10 to binary with that number of digits equal to |\kmvarno|. +Converts \meta{number} from base 10 to binary with the number of digits equal to |\kmvarno|, the number of variables in the map. \begin{codeexample}[width=2.7cm] \kmvarno=6\relax\kmdectobin{9} \end{codeexample} \end{command} \begin{command}{{\kmdectoKG}\marg{number}} -Converts \meta{number} (usually the cell index) to a binary code that resembles Gray code deinterleaving the variables with that number of digits equal to |\kmvarno|, the number of variables in the map. See |kmcell/.style| for an example of application. +Converts \meta{number} (usually the cell index) to a binary code that resembles Gray code deinterleaving the variables with the number of digits equal to |\kmvarno|, the number of variables in the map. See |kmcell/.style| for an example of application. \begin{codeexample}[width=2.7cm] \kmvarno=6\relax\kmdectoKG{9} \end{codeexample} \end{command} +\begin{command}{{\kmdectoKGdec}\marg{number}} +Converts \meta{number} (usually the cell index) to a decimal number equivalent to the binary code that resembles Gray code deinterleaving the variables. It uses |\kmxsize| to compute the correct amount. This macro is meant for tests purposes, but it can help advanced users to understand how a map is assembled. See Section~\ref{sec:JQM} for an example of use. +\begin{codeexample}[width=2.7cm] +\kmxsize=4\relax\kmdectoKGdec{13} +\end{codeexample} +\end{command} + \begin{stylekey}{/tikz/every karnaugh (initially \normalfont empty)} -The style automatically applied to every Karnaugh map. Can be globally set using |\tikzset|. +The style automatically applied to every Karnaugh map. It can be globally set using |\tikzset| and this can be important to standardizing your maps along the document. \end{stylekey} \begin{command}{{\kmindexcounter}} @@ -295,9 +468,28 @@ A \TeX\ counter for cell index. See |kmcell/.style| for an example of applicatio \end{command} \begin{command}{{\kmunitlength}=\marg{length}} -This length sets the size of an individual cell in the map. Must be set before |karnaugh| is used. +This length sets the size of an individual cell in the map. It can be set by |karnaugh cell size|. It is used to keep dimensions proportional. \end{command} +\begin{key}{/tikz/karnaugh cell size=\meta{dimension} (initially 8mm)} +Sets the cell size and, consequently, all other dimensions that depends on the cell size. It sets the length |\kmunitlength| which is used internally but can also be used by the user when needed. Because |karnaugh| uses |\kmunitlength| to set a lot of things, it is a good idea to set the cell size first. +\begin{codeexample}[width=5cm] +\begin{tikzpicture}[karnaugh cell size=1.3em, karnaugh] + \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0110 0110}{} + \end{tikzpicture} +\end{codeexample} +\noindent{}Care should be taken because not all dimensions depend on the cell size, for example, the arrow tip width of variable bars does not, so the arrow tip may touch the map if |kmbar sep| is not set to a suitable value. +\end{key} + +\begin{key}{/tikz/American style=\meta{boolean} (default true, initially false)} +Boolean switch that changes the map layout to American style. The initial value is |false| meaning that the simplified labels (bars with a variable identifier on it) will be drawn unless they are explicitly replaced by American style (Gray coded labels). See Section~\ref{sec:American} for details. +\begin{codeexample}[width=7.2cm] +\begin{tikzpicture}[karnaugh, American style] + \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0110 0110}{} +\end{tikzpicture} +\end{codeexample} +\end{key} + \begin{key}{/tikz/disable bars=\meta{boolean} (default true, initially false)} Boolean switch that disables the typesetting of all bars and the function identifier. The original intention was to allow for manually crafted American style maps, but since version~1.3 this map style is fully supported so this switch lost its purpose. The initial value is |false| meaning that the bars will be typeset unless they are explicitly disabled. \begin{codeexample}[width=4.8cm] @@ -305,7 +497,7 @@ Boolean switch that disables the typesetting of all bars and the function identi \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0110 0110}{} \end{tikzpicture} \end{codeexample} -\noindent{}Note that |$f(a,b,c)$| and |{$a$}{$b$}{$c$}| are not used and could be empty. +\noindent{}Note that |$f(a,b,c)$| and |{$a$}{$b$}{$c$}| are not used and could be empty in the example above. \end{key} \begin{stylekey}{/tikz/kmbar (initially {$\mid$-$\mid$})} @@ -316,13 +508,22 @@ The style used for the top and side bars related to the variables and denoting t \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0110 0110}{} \end{tikzpicture} \end{codeexample} -\noindent See Chapter~16~Arrows of reference \cite{Tantau} for more arrow options and proper control over arrow appearance. For instance, if you want to draw a bar that ends exactly aligned with the lines inside the map, you can change the style to \verb! |-|,shorten >=-0.2pt,shorten <=-0.2pt! , assuming you are using the default thickness \verb|thin| which implies \verb|line width=0.4pt|. Otherwise, the very and end on the line tip will be aligned with the middle of the internal lines, but someone should have to be very careful to notice a difference of |0.2pt|. +\noindent See Chapter~16~Arrows of reference \cite{Tantau} for more arrow options and proper control over arrow appearance. For instance, if you want to draw a bar that ends exactly aligned with the lines inside the map, you can change the style to \verb! |-|,shorten >=-0.2pt,shorten <=-0.2pt! , assuming you are using the default thickness \verb|thin| which implies \verb|line width=0.4pt| (refer to Section~15.3.1~Graphic Parameters: Line Width, Line Cap, and Line Join of reference \cite{Tantau} for \tikzname\ line width). Otherwise, the very end of the line tip will be aligned with the middle of the internal lines, but someone should have to be very careful to notice a difference of |0.2pt|. Compare the two examples below where |ultra thick| is used for emphasis. \begin{codeexample}[width=6.4cm] -\begin{tikzpicture}[karnaugh, +% sloppy alignment +\begin{tikzpicture}[karnaugh, ultra thick, + kmbar/.style={blue,|-|}] + \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0110 0110}{} +\end{tikzpicture} +\end{codeexample} + +\begin{codeexample}[width=6.4cm] +% exact alignment +\begin{tikzpicture}[karnaugh, ultra thick, kmbar/.style={blue, |-|, - shorten >=-0.2pt, - shorten <=-0.2pt}] + shorten >=-0.8pt, + shorten <=-0.8pt}] \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0110 0110}{} \end{tikzpicture} \end{codeexample} @@ -339,7 +540,7 @@ The style used for the variable identifiers on the bars. For American styled map \end{stylekey} \begin{key}{/tikz/kmbar sep=\meta{width} (initially 0.2\char`\\|kmunitlength|)} -The distance between the bar closer to the map and the map itself. It depends mainly on the line tip used in |kmlines/.style|. +The distance between the bar closer to the map and the map itself. It depends mainly on the line tip used in |kmbar/.style| and the thickness of the map set by |kmbox/.style|. \begin{codeexample}[width=6.4cm] \begin{tikzpicture}[karnaugh, kmbar sep=1\kmunitlength] @@ -349,7 +550,7 @@ The distance between the bar closer to the map and the map itself. It depends ma \end{key} \begin{key}{/tikz/kmbar top sep=\meta{width} (initially 1\char`\\|kmunitlength|)} -The distance between two bars on top of map. It depends mainly on the font height used in |kmbar label/.style|. For American styled maps, it means the distance between the label centre and the top of the map. +The distance between two bars on top of map. It depends mainly on the font height used in |kmbar label/.style|. \begin{codeexample}[width=6.4cm] \begin{tikzpicture}[karnaugh, kmbar top sep=2\kmunitlength] @@ -359,7 +560,7 @@ The distance between two bars on top of map. It depends mainly on the font heigh \end{key} \begin{key}{/tikz/kmbar left sep=\meta{width} (initially 1\char`\\|kmunitlength|)} -The distance between two bars at the left side of map. It depends mainly on the variable identifier width and the font size used in |kmbar label/.style|. For American styled maps, it means the distance between the label and the left most side of the map. +The distance between two bars at the left side of map. It depends mainly on the variable identifier width and the font size used in |kmbar label/.style|. \begin{codeexample}[width=7.1cm] \begin{tikzpicture}[karnaugh, kmbar left sep=2\kmunitlength] @@ -370,7 +571,7 @@ The distance between two bars at the left side of map. It depends mainly on the \end{key} \begin{key}{/tikz/enable indices=\meta{boolean} (default true, initially false)} -Boolean switch that enables the typesetting of all indices. The index corresponds to the row number in the truth table respective to the cell. The style |kmindex/.style| can modify how the indices are presented and the lengths |\kmindexposx| and |\kmindexposy| where they are placed. Base-10 is the default base for indices, but there are two Boolean switches, |binary index| and |Gray index|, to change the encoding. The initial value is |false| meaning that the indices will not be typeset unless they are explicitly enabled. +Boolean switch that enables the typesetting of all indices. The index corresponds to the row number in the truth table respective to the cell. The style |kmindex/.style| can modify how the indices are presented and the lengths |kmindex posx| and |kmindex posy| where they are placed. Base-10 is the default base for indices, but there are two Boolean switches, |binary index| and |Gray index|, to change the encoding. The initial value is |false| meaning that the indices will not be typeset unless they are explicitly enabled. \begin{codeexample}[width=6.4cm] \begin{tikzpicture}[karnaugh, enable indices] @@ -391,34 +592,34 @@ The style used for cell index if enable (see also |enable indices|). \end{codeexample} \end{stylekey} -\begin{key}{/tikz/kmindexposx=\meta{dimension} (initially 0.2\char`\\|kmunitlength|)} +\begin{key}{/tikz/kmindex posx=\meta{dimension} (initially 0.2\char`\\|kmunitlength|)} The horizontal distance from the cell left side to the index centre. \begin{codeexample}[width=6.4cm] \begin{tikzpicture}[karnaugh, enable indices, - kmindexposx=.8\kmunitlength] + kmindex posx=.8\kmunitlength] \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0110 0110}{} \end{tikzpicture} \end{codeexample} \end{key} -\begin{key}{/tikz/kmindexposy=\meta{dimension} (initially 0.8\char`\\|kmunitlength|)} +\begin{key}{/tikz/kmindex posy=\meta{dimension} (initially 0.8\char`\\|kmunitlength|)} The vertical distance from the cell bottom to the index centre. \begin{codeexample}[width=6.4cm] \begin{tikzpicture}[karnaugh, enable indices, - kmindexposy=.2\kmunitlength] + kmindex posy=.2\kmunitlength] \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0110 0110}{} \end{tikzpicture} \end{codeexample} \end{key} -\begin{command}{{/tikz/kmindexpos}=\marg{x coordinate}\marg{y coordinate}} -Sets |\kmindexposx| and |\kmindexposy| to |x| and |y| coordinates measured in |\kmunitlength| from the cell bottom left corner. +\begin{command}{{/tikz/kmindex pos}=\marg{x coordinate}\marg{y coordinate}} +Sets |kmindex posx| and |kmindex posy| to |x| and |y| coordinates measured in |\kmunitlength| from the cell bottom left corner. \begin{codeexample}[width=6.4cm] \begin{tikzpicture}[karnaugh, enable indices, - kmindexpos={0.8}{0.2}] + kmindex pos={0.8}{0.2}] \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0110 0110}{} \end{tikzpicture} \end{codeexample} @@ -430,22 +631,43 @@ Boolean switch that sets the index presentation to binary code. It is convenient \begin{tikzpicture}[karnaugh, enable indices, binary index, - kmindexpos={0.5}{0.8}] + kmindex pos={0.5}{0.8}] \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0110 0110}{} \end{tikzpicture} \end{codeexample} \end{key} \begin{key}{/tikz/Gray index=\meta{boolean} (default true, initially false)} -Boolean switch that sets the index presentation to binary code corresponding to the aggregate value of the variables for one cell and not the index of the truth table row respective to the cell. The difference between |Gray index| and |binary index| is that the latter is a binary coded representation of the cell position in the truth table and, because the recursive algorithm that builds the map scrambles (interleaves) the variables, it looks random at first sight. The former, descrambles (deinterleaves) the variables so it would look like a string of zeros and ones associated with row variables followed by one associated with columns in the order they are shown along the map and not in macro parameter \#3. It looks like Gray code, that's where its name came from, but in fact it is not. Therefore, |Gray index| is pretty much useless to locate the corresponding row in the truth table. However, it can be used to visualize the stated of variables more easily than binary code. A secondary index can be set, see |kmcell/.style| for an example of how it can be done. Normally, enabling binary or Gray coded indices requires that the index position be adjusted. The initial value of this switch is |false| meaning that the indices will be typeset accordingly to another code, decimal or binary, depending on |binary index| switch. -\begin{codeexample}[width=7cm] +Boolean switch that sets the index presentation to binary code corresponding to the aggregate value of the variables for one cell and not the index of the truth table row respective to the cell. The difference between |Gray index| and |binary index| is that the latter is a binary coded representation of the cell position in the truth table and, because the recursive algorithm that builds the map scrambles (interleaves) the variables, it looks random at first sight. The former, descrambles (deinterleaves) the variables so it would look like a string of zeros and ones associated with row variables followed by one associated with columns in the order they are shown along the map and not in macro parameter \#3. It looks like Gray code, that's where its name came from, but in fact it is not. Therefore, |Gray index| is pretty much useless to locate the corresponding row in the truth table. However, it can be used to visualize the state of variables more easily than binary code. A secondary index can be set, see |kmcell/.style| for an example of how it can be done. Normally, enabling binary or Gray coded indices requires that the index position be adjusted. The initial value of this switch is |false| meaning that the indices will be typeset accordingly to another code, decimal or binary, depending on |binary index| switch. +\begin{codeexample}[width=7.2cm] \begin{tikzpicture}[karnaugh, American style, - kmbar top sep=0.2\kmunitlength, - kmbar left sep=-0.1\kmunitlength, enable indices, Gray index, - kmindexpos={0.5}{0.8}] + kmindex pos={0.5}{0.8}] + \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0110 0110}{} +\end{tikzpicture} +\end{codeexample} +\end{key} + +\begin{stylekey}{/tikz/kmsep line (initially \normalfont empty)} +The style applied to the line that separates the list of variables assigned to columns from the list of variables assigned to rows in an American styled map. +\begin{codeexample}[width=7.2cm] +\begin{tikzpicture}[karnaugh, + American style, + kmsep line/.style={thick,draw=blue}] + \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0110 0110}{} +\end{tikzpicture} +\end{codeexample} +\end{stylekey} + +\begin{key}{/tikz/kmsep line length=\meta{dimension} (initially 1\char`\\|kmunitlength|)} +The length divided by $\sqrt{2}$ of the line that separates the list of variables assigned to columns from the list of variables assigned to rows in an American styled map. Actually, this key sets the vertical and horizontal distances from the top left of the map to the end of the line. The initial value of 1~|\kmunitlength| means that the line has a total length of $\sqrt{2}$~|\kmunitlength|. +\begin{codeexample}[width=6.8cm] +\begin{tikzpicture}[karnaugh, + American style, + kmsep line/.style={thick,draw=red}, + kmsep line length=0.5\kmunitlength] \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0110 0110}{} \end{tikzpicture} \end{codeexample} @@ -465,7 +687,7 @@ Some interesting applications of |kmcell/.style| involves the cell index given b \begin{tikzpicture}[karnaugh, enable indices, binary index, - kmindexpos={0.5}{0.8}, + kmindex pos={0.5}{0.8}, kmcell/.style={green!60!black, label={[font=\scriptsize,blue, label distance=-0.3\kmunitlength] @@ -479,7 +701,7 @@ So, let's compare the binary index, internally generated by |\kmdectobin|, with \begin{tikzpicture}[karnaugh, enable indices, binary index, - kmindexpos={0.5}{0.8}, + kmindex pos={0.5}{0.8}, kmcell/.style={green!60!black, label={[font=\tiny,blue, label distance=-0.2\kmunitlength] @@ -490,32 +712,30 @@ So, let's compare the binary index, internally generated by |\kmdectobin|, with \noindent The binary index at the top in red is the representation of the cell position in binary so it contains the values of $abc$. Pseudo Gray code at the bottom in blue is the deinterleaved values of the cell position placing $b$ in the leftmost position, in other worlds, it is just $bac$. This code is convenient to represent the code obtained placing the variables side by side as they appear in the left and top of the map. Curious readers are invited to relate the values indicated by the variable bars with the red and blue codes. \end{stylekey} -\begin{stylekey}{/tikz/kmtoplabel (initially {blue,font=\string\footnotesize})} -The style used for Gray coded labels at the top of American styled maps. Variable |\x| can be used to express the column position from 0 to |\kmxsize|$-1$. -\begin{codeexample}[width=7cm] +\begin{stylekey}{/tikz/kmlabel top (initially {above,blue,font=\string\footnotesize\string\ttfamily})} +The style used for Gray coded labels at the top of American styled maps. Variable |\x| can be used to express the column position from 0 to |\kmxsize|$-1$. The distance from the map can be controlled through |/tikz/yshift=|\meta{dimension}, |/pgf/inner sep=|\meta{dimension}, |/pgf/inner ysep=|\meta{dimension}, |/pgf/minimum width=|\meta{dimension} or |above=|\meta{dimension}, for instance. Naturally, |yshift|, |inner ysep| and |above| depend on the rotation and might need to be replaced by something else like |xshift|, |inner xsep| or |right|, as in the example below. +\begin{codeexample}[width=7.2cm] \begin{tikzpicture}[karnaugh, American style, - kmtoplabel/.style={red,font=\small, - rotate=90,centered, + kmlabel top/.style={red,font=\small, + rotate=90,right=4pt, + draw=cyan,very thin, label={[green!60!black, - label distance=2em]right:\x}}, - kmbar top sep=0.3\kmunitlength, - kmbar left sep=-0.1\kmunitlength] + label distance=1em]right:\x}}] \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}% {0110 0110}{} \end{tikzpicture} \end{codeexample} \end{stylekey} -\begin{stylekey}{/tikz/kmleftlabel (initially {blue,font=\string\footnotesize})} -The style used for Gray coded labels at the left side of American styled maps. Variable |\y| can be used to express the row position from 0 to |\kmysize|$-1$. -\begin{codeexample}[width=7cm] +\begin{stylekey}{/tikz/kmlabel left (initially {left,blue,font=\string\footnotesize\string\ttfamily})} +The style used for Gray coded labels at the left side of American styled maps. Variable |\y| can be used to express the row position from 0 to |\kmysize|$-1$. The distance from the map can be controlled through |/tikz/xshift=|\meta{dimension}, |/pgf/inner sep=|\meta{dimension}, |/pgf/inner xsep=|\meta{dimension}, |/pgf/minimum width=|\meta{dimension} or |left=|\meta{dimension}. +\begin{codeexample}[width=7.2cm] \begin{tikzpicture}[karnaugh, American style, - kmleftlabel/.style={red,font=\small, - label={[green!60!black]left:\y}}, - kmbar top sep=0.3\kmunitlength, - kmbar left sep=-0.1\kmunitlength] + kmlabel left/.style={red,font=\small, + left=4pt,draw=cyan,very thin, + label={[green!60!black]left:\y}}] \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}% {0110 0110}{} \end{tikzpicture} @@ -552,7 +772,7 @@ The style used for the lines separating adjacent rows and columns inside the map \end{codeexample} \end{stylekey} -You can add options to the graphics by setting the |every karnaugh| style which is automatically applied. +You can add options to the graphics by setting the |every karnaugh/.style| which is automatically applied. \end{pgflibrary} @@ -562,14 +782,13 @@ You can add options to the graphics by setting the |every karnaugh| style which Possibly the most important feature that you can change is the size of the diagrams and it is done by changing the size of the cells within the map, simply by typing: \begin{codeexample}[width=8.1cm] -\kmunitlength=14mm -\begin{tikzpicture}[karnaugh] +\begin{tikzpicture}[karnaugh cell size=14mm, + karnaugh] \karnaughmap{4}{$f$}{abcd}{0110 0110 0110 0110}{} \end{tikzpicture} \end{codeexample} -\kmunitlength=8mm -The setting of the |\kmunitlength| remains active until you change it again;\footnote{Or, of course, until you leave the group in which you redefined the value.} the default |\kmunitlength| is 8\,mm: +You can set the cell size using |karnaugh cell size| locally or globally using |\tikzset{karnaugh cell size=14mm}| or modifying the length |\kmunitlength|. The setting of the |\kmunitlength| remains active until you change it again\footnote{Or, of course, until you leave the group in which you redefined the value.}. Just remember that, if you need to define the coordinate multiple (|x| or |y|) in terms of |\kmunitlength|, you must set |karnaugh cell size| \emph{before} setting |x| or |y|. \section{Marking simplifications} @@ -577,7 +796,7 @@ The setting of the |\kmunitlength| remains active until you change it again;\foo The already mentioned fifth parameter can be used if you want to draw something inside the Karnaugh map. For example, this is useful if you want to show how you simplified a logic function highlighting the prime implicants: \begin{codeexample}[width=5.3cm] -\begin{tikzpicture}[karnaugh,x=1\kmunitlength,y=1\kmunitlength, +\begin{tikzpicture}[karnaugh, thick, grp/.style n args={3}{#1,fill=#1!30, minimum width=#2\kmunitlength, @@ -602,9 +821,9 @@ The already mentioned fifth parameter can be used if you want to draw something \noindent{}and the corresponding expression is:\[f(a,b,c,d) = {\color{blue}c\,\bar{d}} + {\color{red}\bar{c}\,d}\]where colours were used to relate the subexpression with the prime implicant highlighted on the map. -Instead of \LaTeX's graphics macros\footnote{As in the original package.} you can use \tikzname\ for this purpose. In this example, a new style |grp| was defined in order to draw semi-transparent rectangles with a specified colour, width and height (both given in |\kmunitlength|). The Karnaugh map has its datum at the lower left point \emph{exactly}. The centre point coordinates of those rectangles are specified using the |at| command. The length of a single cell within the Karnaugh map is equal to |\kmunitlength|. Thus, the |x| and |y| units are set to |1\kmunitlength| so the coordinates can be written without the unit and the rectangles will fall in the precise position even if one changes the map size by changing the |\kmunitlength|. +Instead of \LaTeX's graphics macros, as in the original package, you can use \tikzname\ for this purpose. In this example, a new style |grp| was defined in order to draw semi-transparent rectangles with a specified colour, width and height (both given in |\kmunitlength|). The Karnaugh map has its datum at the lower left point \emph{exactly}. The centre point coordinates of those rectangles are specified using the |at| command. The length of a single cell within the Karnaugh map is equal to |\kmunitlength|. Thus, the |x| and |y| units are set to |1\kmunitlength| by the |tikzpicture| environment option |karnaugh| so the coordinates can be written without the unit and the rectangles will fall in the precise position even if one changes the map size by changing the |\kmunitlength|. Just remember that if |\kmunitlength| is set, using perhaps |karnaugh cell size|, \emph{after} the option |karnaugh| you will need to set |x| and |y| manually. Thus, it is preferable to set |\kmunitlength| \emph{before} option |karnaugh|. As a good design practice, always place |karnaugh cell size| first and then write |karnaugh| in the option list when you need a custom size. -Highlighting the solution can be an arduous and error-prone task. See Section~\ref{sec:JQM} for JQM, a java software that can generate Karnaugh maps with the implicants automatically highlighted and the simplified equation colour coded accordingly to the highlights. You will still need \verb|tikz-karnaugh| package to render the map. By the way, the highlights seem in this section and the next two sections were generated using JQM. +Highlighting the solution can be an arduous and error-prone task. See Section~\ref{sec:JQM} for JQM, a java free software that can generate Karnaugh maps with the implicants automatically highlighted and the simplified equation colour coded accordingly to the highlights. You will still need \verb|tikz-karnaugh| package to render the map. By the way, the highlights seem in this section and the next two sections were generated using JQM. \section{Complete example} @@ -612,8 +831,7 @@ Highlighting the solution can be an arduous and error-prone task. See Section~\r In this and in the next sections, examples of how individual variables and cell contents can be format are presented. The syntax relies on square brackets (|[]|) to enclose \tikzname\ features that change the appearance and add more graphs to an individual variable or cell content. Let us see a more interesting and colourful example: \begin{codeexample}[code only] -\kmunitlength=2.5em -\begin{tikzpicture}[karnaugh,x=1\kmunitlength,y=1\kmunitlength, +\begin{tikzpicture}[karnaugh cell size=2.5em, karnaugh, thick, grp/.style n args={3}{#1,fill=#1!30, minimum width=#2\kmunitlength, @@ -679,8 +897,7 @@ In this and in the next sections, examples of how individual variables and cell The corresponding Karnaugh map looks like this: \begin{center} -\kmunitlength=2.5em -\begin{tikzpicture}[karnaugh,x=1\kmunitlength,y=1\kmunitlength, +\begin{tikzpicture}[karnaugh cell size=2.5em, karnaugh, thick, grp/.style n args={3}{#1,fill=#1!30, minimum width=#2\kmunitlength, @@ -755,33 +972,34 @@ The indices can be computed by \[32\,x_{5}+8\,x_{4}+2\,x_{3}+16\,x_{2}+4\,x_{1}+ \section{American style\label{sec:American}} -Support for American styled map was completed in version~1.3. Although the default style is what Karnaugh calls ``simplified labels'' \cite{Karnaugh}, it is sufficient to enable the |American style| to obtain a map that resembles the maps found in many books on Digital Electronics and Digital System Design. Besides setting map style to American, you would need to adjust the vertical and horizontal distance between the map itself and the Gray coded labels. This is done through setting |kmbar top sep| and |kmbar left sep|. Using |\tikzset|, all the settings can be done globally, for instance: +Support for American styled map was included in version~1.3 and improved in version~1.4. Although the default style is what Karnaugh calls ``simplified labels'' \cite{Karnaugh}, it is sufficient to enable the |American style| to obtain a map that resembles the maps found in many books on Digital Electronics and Digital System Design. You can use |\tikzset| to set this and other styles globally, for instance: \begin{codeexample}[code only] \tikzset{every karnaugh/.style={ American style, - kmbar top sep=0.2\kmunitlength, - kmbar left sep=-0.1\kmunitlength, - kmGrayCode/.style={font=\small,purple}, - enable indices, Gray index, - kmindexpos={0.5}{0.8}}} + kmindex/.style={orange,font=\tiny}, + enable indices, + Gray index, + kmindex pos={0.5}{0.8}, + kmsep line/.style={blue,double=white,semithick}} +} \end{codeexample} -\noindent enables the |American style| and, consequently, disables bars; sets the vertical distance in 20\% of the cell size (remember, it is measured from the centre of the node that contains the label to the map boarder); approaches the labels on the left of the map by 10\% of the cell size; sets style for the labels; enables indices in each cell; sets the index to in Gray code and sets the index position. +\noindent enables the |American style| and, consequently, disables bars; sets the style for indices; enables index in each cell; sets the index to in Gray code; sets the index position and sets the style for the line that separates row from column variables lists. The example of the last section, just deleting some useless code, renders as: \bgroup \tikzset{every karnaugh/.style={ American style, - kmbar top sep=0.2\kmunitlength, - kmbar left sep=-0.1\kmunitlength, - kmGrayCode/.style={font=\small,purple}, - enable indices, Gray index, - kmindexpos={0.5}{0.8}}} + kmindex/.style={orange,font=\tiny}, + enable indices, + Gray index, + kmindex pos={0.5}{0.8}, + kmsep line/.style={blue,double=white,semithick}} +} \begin{center} -\kmunitlength=2.5em -\begin{tikzpicture}[karnaugh,x=1\kmunitlength,y=1\kmunitlength, +\begin{tikzpicture}[karnaugh cell size=2.5em, karnaugh, thick, grp/.style n args={3}{#1,fill=#1!30, minimum width=#2\kmunitlength, @@ -789,9 +1007,7 @@ The example of the last section, just deleting some useless code, renders as: rounded corners=0.2\kmunitlength, fill opacity=0.6, rectangle,draw}, - kmbar/.style={blue,<->,double=white,semithick}, kmbar label/.style={red!70!black,font=\large}, - kmindex/.style={orange,font=\tiny}, kmcell/.style={cyan!80!black}, kmbox/.style={brown,thick}, kmlines/.style={brown,thin}, @@ -842,65 +1058,50 @@ One possible problem is that, depending on the number of variables, one would ne If, instead of |Gray index|, you use |binary index| you would notice they are quite different. This is because binary indices reflect the position of the cell as it was taken from a row of a linear truth table. Since the algorithm that builds the map distributes the variables among the rows and columns of the map in a non-trivial way, the indices depend on the cell position and its relation to the variable input order. Gray coded indices are fix. The decimal indices can still be computed by \[32\,x_{5}+8\,x_{4}+2\,x_{3}+16\,x_{2}+4\,x_{1}+1\,x_{0}.\] -If you are struggling with the variable position and the order in which variables and values should appear in order to result in the map you want, see Section~\ref{sec:JQM} for a java software that can help. +If you are struggling with the variable position and the sequence in which variables and values should appear in order to result in the map you want, see Section~\ref{sec:JQM} for a java software that can help. \section{Vertical mode\label{sec:verticalmode}} -For an odd number of variables, the Karnaugh map is rectangular and macro |karnaughmap| will typeset it twice as wide as it is high (not taking into account the bars). Like this single variable map: +For an odd number of variables, the Karnaugh map is rectangular and macros |karnaughmap| and |karnaughmaptab| will typeset it twice as wide as it is high (not taking into account the bars or other features outside the grid). Like this single variable map: \begin{codeexample}[width=3cm] -\tikz[karnaugh,enable indices]% - \karnaughmap{1}{$f(a)$}{{$a$}}{10}{}; +\tikz[karnaugh,enable indices]{ + \karnaughmap{1}{$f(a)$}{{$a$}}{10}{} +} \end{codeexample} This layout is good for presentations because the projection area is usually wider than higher. Paper sheets, on the other hand, are usually higher than wider, so for a big map you may need something like\footnote{Or you can use landscape.}: \begin{codeexample}[width=3cm] -\tikz[karnaugh,enable indices]% - \karnaughmapvert{1}{$f(a)$}{{$a$}}{10}{}; +\tikz[karnaugh,enable indices]{ + \karnaughmapvert{1}{$f(a)$}{{$a$}}{10}{} +} \end{codeexample} -This is called, for lack of a better name, vertical mode\footnote{Not to be confused with \TeX\ vertical mode.} and it is done by the |karnaughmapvert| macro. Note that |karnaughmapvert| macro arranges the variables in a different order. Compare the two square (four variables) maps below in the normal (on the left) and vertical mode (on the right) paying attention to the indices and variables identifier. +This is called, for lack of a better name, vertical mode\footnote{Not to be confused with \TeX\ vertical mode.} and it is done by the |\karnaughmapvert| and |\karnaughmaptabvert| macros. Note that |\karnaughmapvert| and |\karnaughmaptabvert| macros arrange the variables in a different order. Compare the two square (four variables) maps below in the normal (on the left) and vertical mode (on the right) paying attention to the indices and variable identifiers. -\begin{center} -\begin{tabular}{ccc} -\tikz[karnaugh,enable indices]% - \karnaughmap{4}{$f(a,b,c,d)$}{{$a$}{$b$}{$c$}{$d$}}{0101 1011 1011 1101}{}; - & \hspace{5mm} & -\tikz[karnaugh,enable indices]% - \karnaughmapvert{4}{$f(a,b,c,d)$}{{$a$}{$b$}{$c$}{$d$}}{0101 1011 1011 1101}{};\\ -Normal (horizontal) mode & & Vertical mode -\end{tabular} -\end{center} +\hfill\tikz[karnaugh,enable indices]{\karnaughmap{4}{$f(a,b,c,d)$}{{$a$}{$b$}{$c$}{$d$}}{0101 1011 1011 1101}{\node[red] at (2,-0.6){Normal (horizontal) mode};}} +\hfill +\tikz[karnaugh,enable indices]{\karnaughmapvert{4}{$f(a,b,c,d)$}{{$a$}{$b$}{$c$}{$d$}}{0101 1011 1011 1101}{\node[red] at (2,-0.6){Vertical mode};}}\hfill~\medskip The indices are calculated in the same way, but their position inside the map is different because the variables positions are different. It is like one map is mirrored and then rotated 90$^o$ (mirrored horizontally and rotated clockwise or mirrored vertically and rotated anticlockwise.) Exactly like matrix transposition. One interesting application of vertical mode is when you want to keep consistency in variable identifier position among maps with odd and even number of variables. For example, if you want the most significant variable $a$ appearing on top of the maps you can use normal (horizontal) mode for maps of odd number of variables and vertical mode for even amounts, like this: -\begin{center} -\begin{tabular}[t]{ccc} -\tikz[karnaugh,enable indices]% - \karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0101 1011}{}; - & \hspace{5mm} & -\tikz[karnaugh,enable indices]% - \karnaughmapvert{4}{$g(a,b,c,d)$}{{$a$}{$b$}{$c$}{$d$}}{0101 1011 1011 1101}{};\\ -Normal (horizontal) mode & & Vertical mode -\end{tabular} -\end{center} +\hfill\tikz[karnaugh,enable indices]{\karnaughmap{3}{$f(a,b,c)$}{{$a$}{$b$}{$c$}}{0101 1011}{\node[red] at (2,-0.6){Normal (horizontal) mode};}} +\hfill +\tikz[karnaugh,enable indices]{\karnaughmapvert{4}{$g(a,b,c,d)$}{{$a$}{$b$}{$c$}{$d$}}{0101 1011 1011 1101}{\node[red] at (2,-0.6){Vertical mode};}}\hfill~\medskip A more general approach is to use the java software described in Section~\ref{sec:JQM} to create maps with arbitrary variables positioning. Suppose that you desire the most significant variable $a$ to appear at the left side of a three variables map. You can do the opposite of what was done in the last example, but you will end up with a vertical map of three variables and maybe it is not what you want. Using the software described in Section~\ref{sec:JQM} allows $a$ to be placed at the left in a normal (horizontal) mode map. This will change the indices because it reorders the truth tablet such that $a$ will no longer be the most significant variable, but without changing the logic function. -\section{If you use the original version of the macros\ldots} - -\ldots\ you certainly have noticed a number of changes. The most important one is that now you control the appearance of cell, index, etc. by changing the style and not through macros. Also, you need a \tikzname\ picture environment or inline command. - - \section{Java Quine McCluskey -- JQM\label{sec:JQM}} Java Quine McCluskey (JQM) implements the Quine McCluskey algorithm with Petrick's Method (or the method of prime implicants) for minimization of Boolean functions. It is available on \url{https://sourceforge.net/projects/jqm-java-quine-mccluskey/}. Up to sixteen functions of sixteen variables can be minimized. A graphical interface is provided for entering and editing the truth table that can be saved and loaded. -One very useful feature of this software is that you can reorder the variables on the map to suite your particular application instead of rely exclusively on the macro to scatter your variables around. You can also input a map in text mode and obtain the \tikzname\ code for creating the corresponding map, and the correspondence would be evident. For instance, a text file like: +One very useful feature of JQM is that you can reorder the variables on the map to suite your particular application instead of relying exclusively on the macro to scatter your variables around. + +You can also input a map in text mode and obtain the \tikzname\ code for creating the corresponding map, and the correspondence would be self-evident. For instance, a function $f\left(a,\,b,\,c,\,d,\,e\right)$ can be written in a text file like: \begin{codeexample}[code only] .k @@ -911,7 +1112,7 @@ a,b,c,d,e,,f 0-00 0-00 \end{codeexample} -\noindent would render: +\noindent where - means don't care and $f$, the output variable, is separated from the input variables by two commas. It would be rendered as: \begin{codeexample}[width=8.1cm] \tikzset{ @@ -924,11 +1125,37 @@ a,b,c,d,e,,f rectangle} } -\begin{tikzpicture}[karnaugh,x=1\kmunitlength, - y=1\kmunitlength,thick] +\begin{tikzpicture}[karnaugh,thick] \karnaughmap{5}{$f$}{{$c$}{$a$}{$d$}{$b$}{$e$}}% - {{}{}{}1{}{}11{}-{}{}{}{}{}{}% - {}1{}{}{}{}1{}{}{}{}-{}-{}{}}% + {000100110-00000001000010000-0-00}% + { + \node[grp={blue}{1.9}{0.9}] at (2.0,2.5) {}; + \node[grp={red}{1.9}{0.9}] at (4.0,2.5) {}; + \node[grp={orange}{0.9}{0.9}] at (6.5,3.5) {}; + } +\end{tikzpicture} +\end{codeexample} + +Note that the original text file represents the obtained Karnaugh map very faithfully, but the command that creates the map above, in particular parameters \#3 and \#4, has no evident relation with the original text or the generated map. This, again, is due to the recursive algorithm that scrambles the variables. + +Observe the sequence order of variables $a$, $b$, $c$, $d$ and $e$ in the text file and in the map: there is a clear correspondence. However, the sequence order has to be modified in parameter \#3 to compensate for scrambling produced by the algorithm and this make the manual encoding of parameter \#4 complicated. For a small map, meaning a small number of variables, it would not be too difficult to manually sort the parameters in order to obtain the desire result, but it would be simply too problematic for a bigger map. That's where JQM comes in. You can manipulate the map assigning the position of the variables in any order and the software automatically sorts the truth table accordingly. The order in which the variables will appear in the final expression is also independent on the order they appear in the map. + +If, however, the export option 'Table mode (new algorithm)' is activate in JQM (it is new in version~1.3.4) the result would be very similar to the input file. This is because the new macro |\karnaughmaptab| is designed to keep the parity between the Karnaugh map and macro parameters, see below: + +\begin{codeexample}[width=8.1cm] +\tikzset{ + grp/.style n args={3}{ + draw=#1,fill=#1!30, + minimum width=#2\kmunitlength, + minimum height=#3\kmunitlength, + rounded corners=0.2\kmunitlength, + fill opacity=0.6, + rectangle} +} + +\begin{tikzpicture}[karnaugh,thick] + \karnaughmaptab{5}{$f$}{{$a$}{$b$}{$c$}{$d$}{$e$}}% + {0000001001111000000000-00-000-00}% { \node[grp={blue}{1.9}{0.9}] at (2.0,2.5) {}; \node[grp={red}{1.9}{0.9}] at (4.0,2.5) {}; @@ -937,9 +1164,70 @@ a,b,c,d,e,,f \end{tikzpicture} \end{codeexample} -Note that the original text file represents the obtained Karnaugh map very faithfully, but the command that creates the map above, in particular parameters \#3 and \#4, has no evident relation with the original text or the generated map. This, again, is due to the recursive algorithm that scrambles the variables. For a small map, meaning a small number of variables, it would not be too difficult to manually sort the parameters in order to obtain the desire result, but it would be simply too problematic for a bigger map. That's where JQM comes in. You can manipulate the map assigning the position of the variables in any order and the software automatically sorts the truth table accordingly. The order in which the variables will appear in the final expression is also independent on the order they appear in the map. +Another popular way of inputting the truth table is to provide a list of indices for which the output is one or \emph{don't care}. Alternatively, it can be zero and don't care. Consider the example shown in Table~XIV of reference \cite{McCluskey}. Given the binary variables $x_4$, $x_3$, $x_2$ and $x_1$ where $x_4$ is the most significant, it is desired to input the decimal equivalents of the binary numbers formed by the entries (called \emph{indices} herein) that lead the output to one (or zero) and some combinations of input conditions for which the output is not specified (don't care or $d$-entries). In this example, the decimal inputs that lead to ones are 5, 6 and 13 and the $d$-entries are 9, 14. In the notation used by McCluskey~\cite{McCluskey}:\[T=\sum\left(5,\,6,\,13\right)+d\left(9,\,14\right)\text{ where 9 and 14 are the }d\text{-terms.}\] + +The input file should contain: +\begin{codeexample}[code only] +.l +x_4,x_3,x_2,x_1,,T +s, 5, 6, 13, d, 9, 14 +\end{codeexample} + +\noindent where the first line has the command |.l| (lower case L) to indicate \emph{list mode}. In the second line there is a list of input variables (sequence order is ultimately important here) and the output variable $T$, again, separated from the input variables by two commas. The third line has a list of indices that lead the output to one starting with the letter |s| (should be |z| for a list of zeros), then the letter |d| which indicates the beginning of the $d$-entries, and finally the $d$-entries. From this text file we obtain: + +\begin{codeexample}[width=5.1cm] +\tikzset{ + grp/.style n args={3}{ + draw=#1,fill=#1!30, + minimum width=#2\kmunitlength, + minimum height=#3\kmunitlength, + rounded corners=0.2\kmunitlength, + fill opacity=0.6, + rectangle} +} + +\begin{tikzpicture}[karnaugh,x=1\kmunitlength, + y=1\kmunitlength,thick, + enable indices, + kmcell/.style={ + minimum height=1.5em, + label={[font=\tiny,blue, + label distance=-0.3\kmunitlength] + below right:\kmdectoKGdec{\kmindexcounter}}}] + \karnaughmap{4}{$T$}{{$x_{4}$}{$x_{2}$}{$x_{3}$}{$x_{1}$}}% + {{}{}{}1{}{}1{}{}-{}1{}{}-{}}% + { + \node[grp={blue}{0.9}{1.9}] at (3.5,2.0) {}; + \node[grp={red}{0.9}{1.9}] at (1.5,2.0) {}; + } +\end{tikzpicture} +\end{codeexample} + +\noindent where the indices were enabled and a secondary index was inserted in every cell. This secondary index, shown in blue, uses the macro |\kmdectoKGdec| to convert the decimal index given by |\kmindexcounter| to a pseudo index that is equal to the decimal equivalents of the binary numbers formed by the entries $\left(x_4,\,x_3,\,x_2,\,x_1\right)$. This is not the index used to assemble the map which is shown in red, is equal to |\kmindexcounter| and is the decimal equivalate to $\left(x_4,\,x_2,\,x_3,\,x_1\right)$. JQM rearranged parameters \#3 and \#4 such that, as in the previous example, the map is typeset accordingly to the specification given in the input text file. To force the macro |\karnaughmap| to behave as expected, JQM swapped variable $x_2$ and $x_3$ and resequenced parameter \#4. This is done automatically and the user does not have to worried with the details. As expected, the result shows $x_4$ and $x_3$ assigned to the rows (at the left-hand side of the map) and $x_2$ and $x_1$ assigned to the columns (on the top of the map). + + +\subsection{JQM options to export to \LaTeX\ file} -JQM main features: +When exporting a \LaTeX\ file from JQM, bear in mind that if a minimized truth table is exported, the corresponding map, or maps for multiple outputs or multiple solutions, will has the solution highlighted. Conversely, non-minimized truth tables will not present the solution although they can be exported. + +There are several options that impacts on the ''.tex'' file produced. Frist of all, you can either produced a complete document or just an insert to be included in a master document. Next you see options regarding Boolean expressions, truth table and ladder diagram (PLC program). Interested readers can find the description in JQM ReadMe file. + +Karnaugh maps options starts given the possibility of creating maps with both zeros and ones. The default behaviour is to replace zeros (in a ones map, sum of products, disjunctive normal form, or OR of ANDs) or ones (in a zeros map, product of sums, conjunctive normal form or AND of ORs) by empty cells. The intention is to keep the map as clean as possible. By checking the box, both zeros and ones will appear on the map. + +Next option gives the possibility of generating the Boolean expression. Moreover, this expression is colour coded: each implicant is generated in the corresponding colour of the highlight on the map. + +Then you have the choice between truth table mode (which uses |\karnaughmap|) and table formatted Karnaugh map (which uses |\karnaughmaptab|). The preselect option favours |\karnaughmaptab|. Although the macro used is different, the generated map is the same because JQM arranges the data send to the macro accordingly. Thus, if you like to see in your ''.tex'' file how map will look like, use the table mode. If you prefer to see the truth table uncheck the box. + +Vertical mode, see Section~\ref{sec:verticalmode}, is supported. In this mode, the map will look like it has been transposed. The variables associated with rows will be associated with columns vice-versa. A rectangular map (with an old number of variables) will look twice as high as it is wide in this mode and that is why it is called \emph{vertical mode}. For a square map (with an even number of variables), the same effect can be obtained reordering the input variables\footnote{There is a tiny difference that appears when implicants are segmented in several parts particularly in big maps. In this case, some lines that connect those parts are vertical instead of horizontal.}. + +You can generate tests (exams) using package |examdesign|. This package can be used to create different tests versions of the exam preventing cheating. The support included in JQM for |examdesign| allow the generation of answer sheet with solution and exam (obviously, without solution). + +Finally, we have a button that opens a new window for selecting the order in which the variables will appear on the map. There are tree preestablished orders, but user is free to move the variables around assorting them in any order. Note that the input variable order, which can be change in the main window, affects the variables position in both Boolean expression and Karnaugh map. Thus, it is always a good idea to verify the desired order before exporting. + +Users are encouraged to experiment with those options and see which ones fit some particular need. + + +\subsection{JQM main features} \begin{itemize} \item Up to 16 input variables. \item Up to 16 functions (output variables). @@ -947,25 +1235,28 @@ JQM main features: \item Comfortable graphical interface allows variable renaming and column reorder. \item Truth table can be saved in CSV file for external editing or reuse. Then it can be loaded again. Also, one can generate the truth table using other software and ``import'' (open) for edition and minimization. \item Besides using the graphical interface, truth table can be written in a text file then load in the software. Several formats are available including: list decimal representing implicants and don't care, Karnaugh map and CSV with wildcards. -\item Results can be expressed in several formats like: conventional Boolean expression, LaTeX, Structured Text (ST) and Ladder Diagram (LD). +\item Results can be expressed in several formats like: conventional Boolean expression, \LaTeX, Structured Text (ST) and Ladder Diagram (LD). \item Results can be exported to HTML file and open in an internet browser. \item Because this software aims PLC programming, solutions are independent (non-simultaneous). It would not be too difficult to modify the algorithm to support simultaneous solution. \item Generates Karnaugh maps in HTML and \LaTeX. \item Not only solves the problem, but also shows how the solution was obtained. -\item To use the software just download the \verb|zip| file, \verb|unzip| it and double click on ``JQM-QuineMcCluskey.jar''. Please see ReadMe.txt (or LeiaMe.txt if you prefer Portuguese) for more details and examples. +\item To use the software just download the \verb|zip| file, \verb|unzip| it and double click on ``JQM-QuineMcCluskey.jar''. Please see ReadMe.txt, or LeiaMe.txt if you prefer Portuguese, for more details and examples. \end{itemize} \section{Final remarks} -This is not even nearly all you need to know about the usage of these macros, but it is a good start. In case you find a bug, or if you have comments or suggestions, please send me an e-mail. +To effectively typeset good looking Karnaugh maps you may need to know more about \tikzname\ and this material is beyond the scope of this text, but you can refer to \cite{Tantau}. + + In case you find a bug, or if you have comments or suggestions, please send me an e-mail. -The maximum size map I could produce was a Karnaugh map with 12~variables; with bigger maps I only exceeded \TeX's main memory. This is due to the macros' recursive algorithm. Quite likely you will exceed \TeX's capacity with even smaller maps if they occur in large documents. +The maximum size map I could produce was a Karnaugh map with twelve variables; with bigger maps I only exceeded \TeX's main memory. This is due to the huge amount of \tikzname\ nodes necessary to create the map. Quite likely you will exceed \TeX's capacity with even smaller maps if they occur in large documents. \begin{thebibliography}{1} \bibitem{Karnaugh}\textbf{Karnaugh}, Maurice. The map method for synthesis of combinational logic circuits, \textit{Transactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics} 72(5), 593--599, 1953. \bibitem{Tantau}\textbf{Tantau}, Till. \textit{The TikZ and PGF Packages} : Manual for version 3.1.9a-34-ga0d9cada, \url{https://github.com/pgf-tikz/pgf}, 2021. +\bibitem{McCluskey}\textbf{McCluskey}, Jr., Edward Joseph. Minimization of Boolean functions, \textit{The Bell System Technical Journal} 35(6), 1417--1444, 1956. \end{thebibliography} \end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/tex/latex/tikz-karnaugh/tikzlibrarykarnaugh.code.tex b/Master/texmf-dist/tex/latex/tikz-karnaugh/tikzlibrarykarnaugh.code.tex index 330cb6f3a54..f9a9434435d 100644 --- a/Master/texmf-dist/tex/latex/tikz-karnaugh/tikzlibrarykarnaugh.code.tex +++ b/Master/texmf-dist/tex/latex/tikz-karnaugh/tikzlibrarykarnaugh.code.tex @@ -1,6 +1,6 @@ %% This is file `tikzlibrarykarnaugh.code.tex' formerly known as `tikz-karnaugh.tex', -%% Version: 1.3 -%% Version date: 2021-10-14 +%% Version: 1.4 +%% Version date: 2022-02-08 %% %% Copyright (C) 2018 by Luis Paulo Laus, laus@utfpr.edu.br %% @@ -22,7 +22,7 @@ %% \typeout{} \typeout{Macros for typesetting Karnaugh maps} -\typeout{Version 1.3 of 14 October 2021} +\typeout{Version 1.4 of 8 February 2022} \typeout{by Luis Paulo Laus, laus@utfpr.edu.br} \typeout{} %% @@ -32,13 +32,17 @@ %% options in the identifiers and values lists. New vertical mode. %% New keys to enable indices and disable bars. Macro file renamed %% to proper tikz library file name. -%% 1.2: 19 March 2018: stop using \pgftransformshift, new kmindexpos -%% (kmindexposx and kmindexposy) to control index position, cell +%% 1.2: 19 March 2018: stop using \pgftransformshift, new kmindex pos +%% (kmindex posx and kmindex posy) to control index position, cell %% typesetting order switched (first content then index), parameter %% names changed to include ``km'' letters, new binary index mode %% 1.3: 14 October 2021: New American style KM (for maps with ones %% and zeros labels surrounding the map). In addition, a new macro for %% decimal to Gray Code conversion (\pgfmathdectoGray) is provided. +%% 1.4: February 2022: new style and length for American style; +%% change some key names (standard); new 'karnaugh cell size' key; +%% bug fixes; positioning of labels simplified; two new macros for type +%% setting maps as they should appear and not using the truth table order. %% %% Setting up some TikZ parameters for Karnaugh Maps %% @@ -52,20 +56,25 @@ kmbar left sep/.initial=1\kmunitlength, enable indices/.is if=enableindices, kmindex/.style={red,font=\tiny}, - kmtoplabel/.style={blue,font=\footnotesize}, - kmleftlabel/.style={blue,font=\footnotesize}, - kmindexposx/.initial=0.2\kmunitlength, - kmindexposy/.initial=0.8\kmunitlength, - kmindexpos/.style 2 args={kmindexposx={##1\kmunitlength},kmindexposy={##2\kmunitlength}}, + kmindex posx/.initial=0.2\kmunitlength, + kmindex posy/.initial=0.8\kmunitlength, + kmindex pos/.style 2 args={kmindex posx={##1\kmunitlength},kmindex posy={##2\kmunitlength}}, binary index/.is if=indexbin, Gray index/.is if=indexGray, American style/.is if=Americanstyle, + kmsep line/.style={}, + kmsep line length/.initial=1\kmunitlength, + kmlabel top/.style={above,blue,font=\footnotesize\ttfamily}, + kmlabel left/.style={left,blue,font=\footnotesize\ttfamily}, kmcell/.style={}, kmvar/.style={}, kmbox/.style={}, kmlines/.style={}, - every karnaugh/.try, - } + x=1\kmunitlength, + y=1\kmunitlength, + every karnaugh/.try + }, + karnaugh cell size/.code=\pgfmathsetlength\kmunitlength{#1} } %% @@ -107,7 +116,7 @@ \newcount\kmysize %% %% Some counters are necessary to compute the bars for the variable -%% identifiers: +%% identifiers. Also used as temp varaibles in code conversion: %% \newcount\kmvarno \newcount\kmxvarno @@ -128,16 +137,22 @@ \kmdectobin{\kmindexcounter}\global\advance\kmindexcounter by 1}% \def\kmcurrentindexGray{% \kmdectoKG{\kmindexcounter}\global\advance\kmindexcounter by 1}% +\def\kmcurrentindexGraytab{% + \kmdectoKGtab{\kmindexcounter}\global\advance\kmindexcounter by 1}% \def\kmcurrentindexGrayvert{% \kmdectoKGvert{\kmindexcounter}\global\advance\kmindexcounter by 1}% -%% -%% We need a macro that computes the powers of two: -%% -\def\kmpoweroftwo#1#2{{% Computes #1=2^#2, both of which have to be counters - \ifnum#2>0 - \global\multiply#1 by 2 - \advance#2 by -1 - \kmpoweroftwo{#1}{#2} +\def\kmcurrentindexGraytabvert{% + \kmdectoKGtabvert{\kmindexcounter}\global\advance\kmindexcounter by 1}% +%% +%% We need a macro that computes the powers of two. +%% Computes #1=2^#2, both of which have to be counters and +%% both are modified +%% +\def\kmpoweroftwo#1#2{{% + \ifnum#2>0% + \global\multiply#1 by 2% + \advance#2 by -1% + \kmpoweroftwo{#1}{#2}% \fi}} %% %% \pgfmathdectoGray @@ -167,7 +182,7 @@ \ifx#1\pgf@stop% \let\pgf@lib@sh@next\relax% \else% - \edef\pgfresult@@{\pgfresult@@\ifnum#1=\c@pgfmath@counta\relax0\else1\fi}% + \edef\pgfresult@@{\pgfresult@@\ifnum#1=\c@pgfmath@counta\relax0\else1\fi}% xor \c@pgfmath@counta=#1\relax% \fi% \pgf@lib@sh@next} @@ -179,16 +194,16 @@ \gdef\kmdectoKG#1{% \kmbarnum=#1\relax% decimal number to be converted \kmbarlength=\kmvarno\relax% number of bits - \let\kmresult@=\empty - \let\kmresult@@=\empty + \let\kmresult@=\empty% + \let\kmresult@@=\empty% \let\next\kmdectoKG@% \next% \kmresult@@\kmresult@} \gdef\kmdectoKGvert#1{% \kmbarnum=#1\relax% decimal number to be converted \kmbarlength=\kmvarno\relax% number of bits - \let\kmresult@=\empty - \let\kmresult@@=\empty + \let\kmresult@=\empty% + \let\kmresult@@=\empty% \let\next\kmdectoKG@% \next% \kmresult@\kmresult@@} @@ -213,6 +228,68 @@ \fi% \next} %% +%% The macros \kmdectoKGtab converts the cell index +%% to a binary code that resembles Gray code +%% without deinterleaving the variables. +%% Used in Table Mode +%% +\gdef\kmdectoKGtab#1{% + \kmbarnum=#1\relax% decimal number to be converted + \kmbarlength=\kmvarno\relax% number of bits + \let\kmresult@=\empty% + \let\kmresult@@=\empty% + \let\next\kmdectobin@% + \next% + \kmbarlength=\kmvarno\relax% number of bits + \kmbarmove=0\relax% last bit + \let\next\kmdectoKG@tab% + \expandafter\next\kmresult@\end% + \kmresult@@} +\gdef\kmdectoKG@tab#1{% + \ifx#1\end% + \let\next\relax% + \else% + \edef\kmresult@@{\kmresult@@\ifnum#1=\kmbarmove\relax0\else1\fi}% xor + \kmbarmove=#1\relax% + \advance\kmbarlength by -1% + \ifnum\kmbarlength=\kmxvarno\kmbarmove=0\fi% + \fi% + \next}% +\gdef\kmdectoKGtabvert#1{% + \kmbarnum=#1\relax% decimal number to be converted + \kmbarlength=\kmvarno\relax% number of bits + \let\kmresult@=\empty% + \let\kmresult@@=\empty% + \let\kmresult@@@=\empty% + \let\next\kmdectobin@% + \next% + \kmbarlength=\kmvarno\relax% number of bits + \kmbarmove=0\relax% last bit + \let\next\kmdectoKG@tabvert% + \expandafter\next\kmresult@\end% + \kmresult@@@\kmresult@@} +\gdef\kmdectoKG@tabvert#1{% + \ifx#1\end% + \let\next\relax% + \else% + \edef\kmresult@@{\kmresult@@\ifnum#1=\kmbarmove\relax0\else1\fi}% xor + \kmbarmove=#1\relax% + \advance\kmbarlength by -1% + \ifnum\kmbarlength=\kmxvarno% + \kmbarmove=0\relax% + \let\next\kmdectoKG@@tabvert% + \fi% + \fi% + \next} +\gdef\kmdectoKG@@tabvert#1{% + \ifx#1\end% + \let\next\relax% + \else% + \edef\kmresult@@@{\kmresult@@@\ifnum#1=\kmbarmove\relax0\else1\fi}% xor + \kmbarmove=#1\relax% + \fi + \next} +%% %% The macros \kmdectobin converts a decimal number %% passed as argument to binary such that the number of %% digits (length) is equal to \kmvarno @@ -239,27 +316,41 @@ \advance\kmbarlength by -1\relax% \fi% \next} -} %% -%% The macros \kmmakeindexGray creates a Gray coded index -%% inside each cell -%% Deprecated!!! Replaced by a new mechanism based on \kmdectoKG -%% -\def\kmmakeindexGray{ - \kmbarlength=\kmxsize\relax - \advance\kmbarlength by -1\relax - \kmtemppos=\kmysize\relax - \advance\kmtemppos by -1\relax - \foreach \x in {0,...,\kmbarlength}{ - \foreach \y in {0,...,\kmtemppos}{ - \pgfmathsetbasenumberlength{\kmyvarno} - \pgfmathdectoGray\mynumbery{\y} - \pgfmathsetbasenumberlength{\kmxvarno} - \pgfmathdectoGray\mynumberx{\x} - \node[shift={((\pgfkeysvalueof{/tikz/kmindexposx},(\pgfkeysvalueof{/tikz/kmindexposy}+\kmtemppos\kmunitlength)},kmindex] at(\x\kmunitlength,-\y\kmunitlength) {\mynumbery\mynumberx}; - } - } -} +%% The macros \kmdectoKGdec coverts an index to +%% pseudo Gray code in decimal (test purpose). +%% No vertical mode available +%% +\gdef\kmdectoKGdec#1{% + \kmbarnum=#1\relax% decimal number to be converted + \kmbarstart=0\relax% + \kmbarmove=0\relax% + \kmbarlength=1\relax% + \c@pgfmath@counta=\kmxsize\relax% + \kmdectoKGdec@% + \advance\kmbarmove by \kmbarstart% + \the\kmbarmove} +\gdef\kmdectoKGdec@{% + \ifnum\kmbarnum=0% + \let\next\relax% + \else% + \ifodd\kmbarnum\advance\kmbarstart by \kmbarlength\fi% + \multiply\kmbarlength by 2% + \divide \kmbarnum by 2% + \let\next\kmdectoKGdec@@% + \fi% + \next} +\gdef\kmdectoKGdec@@{% + \ifnum\kmbarnum=0% + \let\next\relax% + \else% + \ifodd\kmbarnum\advance\kmbarmove by \c@pgfmath@counta\fi% + \multiply\c@pgfmath@counta by 2% + \divide \kmbarnum by 2% + \let\next\kmdectoKGdec@% + \fi% + \next} +} % makeatletter %% %% The macros \kmargumentstring and \kmsetoptstr are needed to %% process the variable-length parameters in \karnaughmap: @@ -336,7 +427,7 @@ \kmsetoptstr{} % reads argument as <[opt]>str \node[kmcell,kmtempsty,shift={(0.5\kmunitlength,0.5\kmunitlength)}] at (#3\kmunitlength,#4\kmunitlength){\kmstr};% \ifenableindices - \node[kmindex,shift={(\pgfkeysvalueof{/tikz/kmindexposx},\pgfkeysvalueof{/tikz/kmindexposy})}] + \node[kmindex,shift={(\pgfkeysvalueof{/tikz/kmindex posx},\pgfkeysvalueof{/tikz/kmindex posy})}] at (#3\kmunitlength,#4\kmunitlength) {\kmcurrentindex}; \fi \fi}}% @@ -423,7 +514,7 @@ \fi \next } - +%% %% \karnaughmakelabels is a modification of \karnaughmakebars. %% Instead of making the bars it sets two macros, \kmtoplabels %% and \kmleftlabels, with the labels for American style maps @@ -491,26 +582,24 @@ \draw[kmbox] (0,0) rectangle (\kmxsize\kmunitlength,\kmysize\kmunitlength); #5 \ifAmericanstyle - \pgfmathsetbasenumberlength{\kmxvarno} \kmtemppos=\kmxsize \advance\kmtemppos by -1 - \kmtemplength=\pgfkeysvalueof{/tikz/kmbar top sep} \pgfmathsetbasenumberlength{\kmxvarno} \foreach \x in {0,...,\kmtemppos} - \node[xshift=0.5\kmunitlength, yshift=\kmtemplength,kmtoplabel] at (\x\kmunitlength,\kmysize\kmunitlength) {\pgfmathdectoGray\mynumber{\x}\mynumber}; + \node[kmlabel top] at (0.5\kmunitlength+\x\kmunitlength,\kmysize\kmunitlength) {\pgfmathdectoGray\mynumber{\x}\mynumber}; \kmtemppos=\kmysize \advance\kmtemppos by -1 \ifnum\kmtemppos>0 - \kmtemplength=\pgfkeysvalueof{/tikz/kmbar left sep} \pgfmathsetbasenumberlength{\kmyvarno} \foreach \y in {0,...,\kmtemppos} - \node[xshift=-\kmtemplength, yshift=\kmysize\kmunitlength-0.5\kmunitlength,left,kmleftlabel] at (0,-\y\kmunitlength) {\pgfmathdectoGray\mynumber{\y}\mynumber}; + \node[kmlabel left] at (0,1\kmysize\kmunitlength-0.5\kmunitlength-\y\kmunitlength) {\pgfmathdectoGray\mynumber{\y}\mynumber}; \fi \kmargumentstring{#3} \gdef\kmtoplabels{} \gdef\kmleftlabels{} - \karnaughmakelabels - \draw[kmbox] (0,\kmysize\kmunitlength) -- ++(135:1\kmunitlength) node[kmbar label,below left,pos=0.5]{\kmleftlabels} node[kmbar label,above right,pos=0.5]{\kmtoplabels} node[kmvar,above left]{#2}; + \karnaughmakelabels + \kmtemplength=\pgfkeysvalueof{/tikz/kmsep line length} + \draw[kmsep line] (0,\kmysize\kmunitlength) -- ++(-\kmtemplength,\kmtemplength) node[kmbar label,below left,pos=0.5]{\kmleftlabels} node[kmbar label,above right,pos=0.5]{\kmtoplabels} node[kmvar,above left]{#2}; \else \ifdisablebars\relax\else \node[kmvar,above left] at (0,\kmysize\kmunitlength){#2}; @@ -521,7 +610,6 @@ \ifenableindices \ifindexbin \gdef\kmcurrentindex{\kmcurrentindexbin} - \pgfmathsetbasenumberlength{#1} \else \ifindexGray \gdef\kmcurrentindex{\kmcurrentindexGray} @@ -597,7 +685,7 @@ \kmsetoptstr{} % reads argument as <[opt]>str \node[kmcell,kmtempsty,shift={(0.5\kmunitlength,0.5\kmunitlength)}] at (#3\kmunitlength,#4\kmunitlength){\kmstr}; \ifenableindices - \node[kmindex,shift={(\pgfkeysvalueof{/tikz/kmindexposx},\pgfkeysvalueof{/tikz/kmindexposy})}] + \node[kmindex,shift={(\pgfkeysvalueof{/tikz/kmindex posx},\pgfkeysvalueof{/tikz/kmindex posy})}] at (#3\kmunitlength,#4\kmunitlength) {\kmcurrentindex}; \fi \fi}}% @@ -622,9 +710,9 @@ \next } -%% \karnaughmakelabelsvert is a modification of \karnaughmakebars. +%% \karnaughmakelabelsvert is a modification of \karnaughmakebarsvert. %% Instead of making the bars it sets two macros, \kmtoplabels -%% and \kmleftlabels, with the labels for americal style maps +%% and \kmleftlabels, with the labels for American style maps %% \def\karnaughmakelabelsvert{% \ifnum\kmvarno>0 @@ -687,26 +775,24 @@ \draw[kmbox] (0,0) rectangle (\kmxsize\kmunitlength,\kmysize\kmunitlength); #5 \ifAmericanstyle - \pgfmathsetbasenumberlength{\kmxvarno} \kmtemppos=\kmxsize \advance\kmtemppos by -1 - \kmtemplength=\pgfkeysvalueof{/tikz/kmbar top sep} - \pgfmathsetbasenumberlength{\kmxvarno} - \foreach \x in {0,...,\kmtemppos} - \node[xshift=0.5\kmunitlength, yshift=\kmtemplength,kmtoplabel] at (\x\kmunitlength,\kmysize\kmunitlength) {\pgfmathdectoGray\mynumber{\x}\mynumber}; - \kmtemppos=\kmysize - \advance\kmtemppos by -1 \ifnum\kmtemppos>0 - \kmtemplength=\pgfkeysvalueof{/tikz/kmbar left sep} - \pgfmathsetbasenumberlength{\kmyvarno} - \foreach \y in {0,...,\kmtemppos} - \node[xshift=-\kmtemplength, yshift=\kmysize\kmunitlength-0.5\kmunitlength,left,kmleftlabel] at (0,-\y\kmunitlength) {\pgfmathdectoGray\mynumber{\y}\mynumber}; + \pgfmathsetbasenumberlength{\kmxvarno} + \foreach \x in {0,...,\kmtemppos} + \node[kmlabel top] at (0.5\kmunitlength+\x\kmunitlength,\kmysize\kmunitlength) {\pgfmathdectoGray\mynumber{\x}\mynumber}; \fi + \kmtemppos=\kmysize + \advance\kmtemppos by -1 + \pgfmathsetbasenumberlength{\kmyvarno} + \foreach \y in {0,...,\kmtemppos} + \node[kmlabel left] at (0,1\kmysize\kmunitlength-0.5\kmunitlength-\y\kmunitlength) {\pgfmathdectoGray\mynumber{\y}\mynumber}; \kmargumentstring{#3} \gdef\kmtoplabels{} \gdef\kmleftlabels{} \karnaughmakelabelsvert - \draw[kmbox] (0,\kmysize\kmunitlength) -- ++(135:1\kmunitlength) node[kmbar label,below left,pos=0.5]{\kmleftlabels} node[kmbar label,above right,pos=0.5]{\kmtoplabels} node[kmvar,above left]{#2}; + \kmtemplength=\pgfkeysvalueof{/tikz/kmsep line length} + \draw[kmsep line] (0,\kmysize\kmunitlength) -- ++(-\kmtemplength,\kmtemplength) node[kmbar label,below left,pos=0.5]{\kmleftlabels} node[kmbar label,above right,pos=0.5]{\kmtoplabels} node[kmvar,above left]{#2}; \else \ifdisablebars\relax\else \node[kmvar,above left] at (0,\kmysize\kmunitlength){#2}; @@ -717,7 +803,6 @@ \ifenableindices \ifindexbin \gdef\kmcurrentindex{\kmcurrentindexbin} - \pgfmathsetbasenumberlength{#1} \else \ifindexGray \gdef\kmcurrentindex{\kmcurrentindexGrayvert} @@ -737,5 +822,295 @@ \karnaughmakemapvert{\the\kmxsize}{0}{0}{0} \fi }% +%% +%% Table Mode +%% Non-recursive mode. Input is given is Karnaugh map order and not in truth table +%% order. It should allow for bigger maps because the algorithm employed is not the +%% time and memory consuming recursive algorithm of the old macros. +%% +%% \karnaughmakebarstab calls \karnaughmaketopbar or \karnaughmakeleftbar +%% depending on whether \kmvarno is in the first or second half. +%% +\def\karnaughmakebarstab{% + \ifnum\kmvarno>0 + \let\next=\karnaughmakebarstab + \ifnum\kmyvarno>0 % We have to make a bar at the left + \advance\kmyvarno by -1 + \karnaughmakeleftbar + \else % We have to make a bar at the top + \advance\kmxvarno by -1 + \karnaughmaketopbar + \fi + \advance\kmvarno by -1 + \else + \let\next=\relax + \fi + \next +} +%% +%% \karnaughmakelabelstab is a modification of \karnaughmakebarstab. +%% Instead of making the bars it sets two macros, \kmtoplabels +%% and \kmleftlabels, with the labels for American style maps +%% +\def\karnaughmakelabelstab{% + \ifnum\kmvarno>0 + \let\next=\karnaughmakelabelstab + \ifnum\kmyvarno>0 % We have to make a bar at the left + \advance\kmyvarno by -1 + \kmsetoptstr % reads argument as <[opt]>str + \ifx\kmleftlabels\empty + \xdef\kmleftlabels{\kmstr} + \else + \xdef\kmleftlabels{\kmleftlabels, \kmstr} + \fi + \else % We have to make the label for top + \advance\kmxvarno by -1 + \kmsetoptstr % reads argument as <[opt]>str + \ifx\kmtoplabels\empty + \xdef\kmtoplabels{\kmstr} + \else + \xdef\kmtoplabels{\kmtoplabels, \kmstr} + \fi + \fi + \advance\kmvarno by -1 + \else + \let\next=\relax + \fi + \next +} +%% \karnaughmap is the macro that a user calls if he wants to draw a +%% Karnaugh map: +%% +\def\karnaughmaptab#1#2#3#4#5{% +%% +%% #1 is the number of variables in the Karnaugh map +%% #2 is the identifier of the function +%% #3 is the list of identifiers of those variables +%% #4 is the list of tokens that have to be written into the map +%% #5 a possibly empty set of TikZ commands that will be drown before +%% the function values so the values will appear on top of them +%% + \kmvarno=#1 % \kmvarno is the total number of variables + \kmyvarno=#1 % \kmyvarno is the number of variable bars at the left + \divide\kmyvarno by 2 + \kmxvarno=#1 % \kmxvarno is the number of variable bars on top + \advance\kmxvarno by -\kmyvarno + \kmxsize=1 + \kmpoweroftwo{\kmxsize}{\kmxvarno} + \kmysize=1 + \kmpoweroftwo{\kmysize}{\kmyvarno} + \kmtemppos=\kmxsize + \advance\kmtemppos by -1 + \kmtemplength=\pgfkeysvalueof{/tikz/kmbar top sep} + \foreach \x in {1,...,\kmtemppos} + \draw[kmlines] (\x\kmunitlength,0) -- (\x\kmunitlength,\kmysize\kmunitlength); + \kmtemppos=\kmysize + \advance\kmtemppos by -1 + \ifnum\kmtemppos>0 + \foreach \y in {1,...,\kmtemppos} + \draw[kmlines] (0,\y\kmunitlength) -- (\kmxsize\kmunitlength,\y\kmunitlength); + \fi + \draw[kmbox] (0,0) rectangle (\kmxsize\kmunitlength,\kmysize\kmunitlength); + #5 + \ifAmericanstyle + \kmtemppos=\kmxsize + \advance\kmtemppos by -1 + \pgfmathsetbasenumberlength{\kmxvarno} + \foreach \x in {0,...,\kmtemppos} + \node[kmlabel top] at (0.5\kmunitlength+\x\kmunitlength,\kmysize\kmunitlength) {\pgfmathdectoGray\mynumber{\x}\mynumber}; + \kmtemppos=\kmysize + \advance\kmtemppos by -1 + \ifnum\kmtemppos>0 + \pgfmathsetbasenumberlength{\kmyvarno} + \foreach \y in {0,...,\kmtemppos} + \node[kmlabel left] at (0,1\kmysize\kmunitlength-0.5\kmunitlength-\y\kmunitlength) {\pgfmathdectoGray\mynumber{\y}\mynumber}; + \fi + \kmargumentstring{#3} + \gdef\kmtoplabels{} + \gdef\kmleftlabels{} + \karnaughmakelabelstab + \kmtemplength=\pgfkeysvalueof{/tikz/kmsep line length} + \draw[kmsep line] (0,\kmysize\kmunitlength) -- ++(-\kmtemplength,\kmtemplength) node[kmbar label,below left,pos=0.5]{\kmleftlabels} node[kmbar label,above right,pos=0.5]{\kmtoplabels} node[kmvar,above left]{#2}; + \else + \ifdisablebars\relax\else + \node[kmvar,above left] at (0,\kmysize\kmunitlength){#2}; + \kmargumentstring{#3} + \karnaughmakebarstab + \fi + \fi + \ifenableindices + \kmvarno=#1 % \kmvarno is the total number of variables + \ifindexbin + \gdef\kmcurrentindex{\kmcurrentindexbin} + \else + \ifindexGray + \gdef\kmcurrentindex{\kmcurrentindexGraytab} + \kmyvarno=#1 % \kmyvarno is the number of variable bars at the left + \divide\kmyvarno by 2 + \kmxvarno=#1 % \kmxvarno is the number of variable bars on top + \advance\kmxvarno by -\kmyvarno + \else + \gdef\kmcurrentindex{\kmcurrentindexdec} + \fi + \fi + \fi + \kmindexcounter=0 + \kmargumentstring{#4} + \advance\kmxsize by -1 + \advance\kmysize by -1 + \foreach \y in {\kmysize,...,0} { + \foreach \x in {0,...,\kmxsize} { + \kmsetoptstr{} + \node[kmcell,kmtempsty,shift={(0.5\kmunitlength,0.5\kmunitlength)}] at (\x\kmunitlength,\y\kmunitlength){\kmstr};% + \ifenableindices + \node[kmindex,shift={(\pgfkeysvalueof{/tikz/kmindex posx},\pgfkeysvalueof{/tikz/kmindex posy})}] at (\x\kmunitlength,\y\kmunitlength) {\kmcurrentindex}; + \fi + } + } +}% +%% +%% Vertical Table Mode +%% The next three macros are similar to the ones for normal mode. +%% +%% \karnaughmakebarsvert calls \karnaughmaketopbar or \karnaughmakeleftbar +%% depending on whether \kmvarno is in the first or second half. +%% +\def\karnaughmakebarstabvert{% + \ifnum\kmvarno>0 + \let\next=\karnaughmakebarstabvert + \ifnum\kmxvarno>0 % We have to make a bar at the top + \advance\kmxvarno by -1 + \karnaughmaketopbar + \else % We have to make a bar at the left + \advance\kmyvarno by -1 + \karnaughmakeleftbar + \fi + \advance\kmvarno by -1 + \else + \let\next=\relax + \fi + \next +} + +%% \karnaughmakelabelstabvert is a modification of \karnaughmakebarstabvert. +%% Instead of making the bars it sets two macros, \kmtoplabels +%% and \kmleftlabels, with the labels for American style maps +%% +\def\karnaughmakelabelstabvert{% + \ifnum\kmvarno>0 + \let\next=\karnaughmakelabelstabvert + \ifnum\kmxvarno>0 % We have to make a bar at the top + \advance\kmxvarno by -1 + \kmsetoptstr % reads argument as <[opt]>str + \ifx\kmtoplabels\empty + \xdef\kmtoplabels{\kmstr} + \else + \xdef\kmtoplabels{\kmtoplabels, \kmstr} + \fi + \else % We have to make the label for left + \advance\kmyvarno by -1 + \kmsetoptstr % reads argument as <[opt]>str + \ifx\kmleftlabels\empty + \xdef\kmleftlabels{\kmstr} + \else + \xdef\kmleftlabels{\kmleftlabels, \kmstr} + \fi + \fi + \advance\kmvarno by -1 + \else + \let\next=\relax + \fi + \next +} +%% +%% \karnaughmaptabvert is the macro that a user calls if he wants to draw a +%% Karnaugh map in vertical mode (not be confused with TeX vertical mode): +%% +\def\karnaughmaptabvert#1#2#3#4#5{% +%% +%% #1 is the number of variables in the Karnaugh map +%% #2 is the identifier of the function +%% #3 is the list of identifiers of those variables +%% #4 is the list of tokens that have to be written into the map +%% #5 a possibly empty set of TikZ commands that will be drown before +%% the function values so the values will appear on top of them +%% + \kmvarno=#1 % \kmvarno is the total number of variables + \kmxvarno=#1 % \kmxvarno is the number of variable bars on top + \divide\kmxvarno by 2 + \kmyvarno=#1 % \kmyvarno is the number of variable bars at the left + \advance\kmyvarno by -\kmxvarno + \kmxsize=1 + \kmpoweroftwo{\kmxsize}{\kmxvarno} + \kmysize=1 + \kmpoweroftwo{\kmysize}{\kmyvarno} + \kmtemppos=\kmxsize + \advance\kmtemppos by -1 + \ifnum\kmtemppos>0 + \foreach \x in {1,...,\kmtemppos} + \draw[kmlines] (\x\kmunitlength,0) -- (\x\kmunitlength,\kmysize\kmunitlength); + \fi + \kmtemppos=\kmysize + \advance\kmtemppos by -1 + \foreach \y in {1,...,\kmtemppos} + \draw[kmlines] (0,\y\kmunitlength) -- (\kmxsize\kmunitlength,\y\kmunitlength); + \draw[kmbox] (0,0) rectangle (\kmxsize\kmunitlength,\kmysize\kmunitlength); + #5 + \ifAmericanstyle + \kmtemppos=\kmxsize + \advance\kmtemppos by -1 + \ifnum\kmtemppos>0 + \pgfmathsetbasenumberlength{\kmxvarno} + \foreach \x in {0,...,\kmtemppos} + \node[kmlabel top] at (0.5\kmunitlength+\x\kmunitlength,\kmysize\kmunitlength) {\pgfmathdectoGray\mynumber{\x}\mynumber}; + \fi + \kmtemppos=\kmysize + \advance\kmtemppos by -1 + \pgfmathsetbasenumberlength{\kmyvarno} + \foreach \y in {0,...,\kmtemppos} + \node[kmlabel left] at (0,1\kmysize\kmunitlength-0.5\kmunitlength-\y\kmunitlength) {\pgfmathdectoGray\mynumber{\y}\mynumber}; + \kmargumentstring{#3} + \gdef\kmtoplabels{} + \gdef\kmleftlabels{} + \karnaughmakelabelstabvert + \kmtemplength=\pgfkeysvalueof{/tikz/kmsep line length} + \draw[kmsep line] (0,\kmysize\kmunitlength) -- ++(-\kmtemplength,\kmtemplength) node[kmbar label,below left,pos=0.5]{\kmleftlabels} node[kmbar label,above right,pos=0.5]{\kmtoplabels} node[kmvar,above left]{#2}; + \else + \ifdisablebars\relax\else + \node[kmvar,above left] at (0,\kmysize\kmunitlength){#2}; + \kmargumentstring{#3} + \karnaughmakebarstabvert + \fi + \fi + \ifenableindices + \kmvarno=#1 % \kmvarno is the total number of variables + \ifindexbin + \gdef\kmcurrentindex{\kmcurrentindexbin} + \else + \ifindexGray + \gdef\kmcurrentindex{\kmcurrentindexGraytabvert} + \kmyvarno=#1 % \kmyvarno is the number of variable bars at the left + \divide\kmyvarno by 2 + \kmxvarno=#1 % \kmxvarno is the number of variable bars on top + \advance\kmxvarno by -\kmyvarno + \else + \gdef\kmcurrentindex{\kmcurrentindexdec} + \fi + \fi + \fi + \kmindexcounter=0 + \kmargumentstring{#4} + \advance\kmxsize by -1 + \advance\kmysize by -1 + \foreach \x in {0,...,\kmxsize} { + \foreach \y in {\kmysize,...,0} { + \kmsetoptstr{} + \node[kmcell,kmtempsty,shift={(0.5\kmunitlength,0.5\kmunitlength)}] at (\x\kmunitlength,\y\kmunitlength){\kmstr};% + \ifenableindices + \node[kmindex,shift={(\pgfkeysvalueof{/tikz/kmindex posx},\pgfkeysvalueof{/tikz/kmindex posy})}] at (\x\kmunitlength,\y\kmunitlength) {\kmcurrentindex}; + \fi + } + } +}% \endinput
\ No newline at end of file |