Typesetting Karnaugh maps and Veitch charts. The karnaugh package provides macros for this purpose.
The package karnaugh provides macros for typesetting Karnaugh maps and Veitch charts.
Karnaugh maps are used to display and simplify Boolean algebra expressions, providing a pictorial method of grouping together expressions with common factors and therefore eliminating unwanted variables. It can be also described as a special arrangement of a truth table. The maps are a refinement of Veitch diagrams that display a function's discriminants according to the reflected binary, while the Veitch charts displays the discriminants in natural binary order.