Karnaugh map information

The Karnaugh(/ˈkɑːnɔː/) map (KM or K-map) is a method of simplifying Boolean algebra expressions. Maurice Karnaugh introduced it in 1953^[1]^[2] as a refinement of Edward W. Veitch's 1952 Veitch chart,^[3]^[4] which itself was a rediscovery of Allan Marquand's 1881 logical diagram^[5]^[6] aka Marquand diagram^[4] but now with a focus set on its utility for switching circuits.^[4] Veitch charts are also known as Marquand–Veitch diagrams,^[4] Svoboda charts^[7] -(albeit only rarely)- and even Karnaugh maps as Karnaugh–Veitch maps (KV maps).

The Karnaugh map reduces the need for extensive calculations by taking advantage of humans' pattern-recognition capability.^[1] It also permits the rapid identification and elimination of potential race conditions.^{[clarification needed]}

The required Boolean results are transferred from a truth table onto a two-dimensional grid where, in Karnaugh maps, the cells are ordered in Gray code,^[8]^[4] and each cell position represents one combination of input conditions. Cells are also known as minterms, while each cell value represents the corresponding output value of the boolean function. Optimal groups of 1s or 0s are identified, which represent the terms of a canonical form of the logic in the original truth table.^[9] These terms can be used to write a minimal Boolean expression representing the required logic.

Karnaugh maps are used to simplify real-world logic requirements so that they can be implemented using the minimal number of logic gates. A sum-of-products expression (SOP) can always be implemented using AND gates feeding into an OR gate, and a product-of-sums expression (POS) leads to OR gates feeding an AND gate. The POS expression gives a complement of the function (if F is the function so its complement will be F').^[10] Karnaugh maps can also be used to simplify logic expressions in software design. Boolean conditions, as used for example in conditional statements, can get very complicated, which makes the code difficult to read and to maintain. Once minimised, canonical sum-of-products and product-of-sums expressions can be implemented directly using AND and OR logic operators.^[11]

^ ^a ^b Cite error: The named reference Karnaugh_1953 was invoked but never defined (see the help page).
^ Cite error: The named reference Curtis_1962 was invoked but never defined (see the help page).
^ Cite error: The named reference Veitch_1952 was invoked but never defined (see the help page).
^ ^a ^b ^c ^d ^e Cite error: The named reference Brown_2012 was invoked but never defined (see the help page).
^ Cite error: The named reference Marquand_1881 was invoked but never defined (see the help page).
^ Cite error: The named reference Gardner_1958 was invoked but never defined (see the help page).
^ Cite error: The named reference Klir_1972 was invoked but never defined (see the help page).
^ Cite error: The named reference Wakerly_1994 was invoked but never defined (see the help page).
^ Cite error: The named reference Belton_1998 was invoked but never defined (see the help page).
^ Cite error: The named reference Dodge_2016 was invoked but never defined (see the help page).
^ Cite error: The named reference Cook_2012 was invoked but never defined (see the help page).

[Karnaugh_1953-1] Cite error: The named reference Karnaugh_1953 was invoked but never defined (see the help page).

[Curtis_1962-2] Cite error: The named reference Curtis_1962 was invoked but never defined (see the help page).

[Veitch_1952-3] Cite error: The named reference Veitch_1952 was invoked but never defined (see the help page).

[Brown_2012-4] Cite error: The named reference Brown_2012 was invoked but never defined (see the help page).

[Marquand_1881-5] Cite error: The named reference Marquand_1881 was invoked but never defined (see the help page).

[Gardner_1958-6] Cite error: The named reference Gardner_1958 was invoked but never defined (see the help page).

[Klir_1972-7] Cite error: The named reference Klir_1972 was invoked but never defined (see the help page).

[Wakerly_1994-8] Cite error: The named reference Wakerly_1994 was invoked but never defined (see the help page).

[Belton_1998-9] Cite error: The named reference Belton_1998 was invoked but never defined (see the help page).

[Dodge_2016-10] Cite error: The named reference Dodge_2016 was invoked but never defined (see the help page).

[Cook_2012-11] Cite error: The named reference Cook_2012 was invoked but never defined (see the help page).

Karnaugh map information

and 25 Related for: Karnaugh map information

Karnaugh map

Logic optimization

Euler diagram

Propositional formula

Maurice Karnaugh

Zhegalkin polynomial

Karnaugh

Disjunctive normal form

IEEE 1164

Punnett square

Bell Labs

Boolean function

Diagram

Reflection map

List of Boolean algebra topics

Hypercube

Logic gate

Pass transistor logic

Logic synthesis

Switching circuit theory

Venn diagram

Carroll diagram

Bitwise operation

Implicant

Binary decision diagram