Karnaugh Maps
Karnaugh maps (K-maps) -- convenient tool for representing switching functions of up to six variables.
K-maps form the basis of useful heuristics for finding MSOP and MPOS representations.
An n-variable K-map has 2n cells with each cell corresponding to a row of an n-variable truth table.
K-map cells are labeled with the corresponding truth-table row.
K-map cells are arranged such that adjacent cells correspond to truth rows that differ in only one bit position (logical adjacency).
Switching functions are mapped (or plotted) by placing the function’s value (0,1,d) in each cell of the map.