a formal mechanism traditionally used by electrical engineers for reducing logical expressions to minimum terms

a graphical way of minimizing a boolean expression based on the rule of complementation

a grid-like representation of a truth table

a technique used to simplify Boolean expressions (and logic circuits) related to Venn

a truth table laid out so that adjacent cells represent minterms that differ by one place

a two dimensional truth table

a visual representation of a function consisting of cells corresponding to rows in a truth table. Karnaugh maps are one of the many minimization techniques available.

Two-dimensional form of a truth table used to simplify a sum-of-products expression.

The Karnaugh map, also known as a Veitch diagram (K-map or KV-map for short), is a tool to facilitate management of Boolean algebraic expressions. A Karnaugh map is unique in that only one variable changes value between squares, in other words, the rows and columns are ordered according to the principles of Gray code.