Karnaugh Map Study Notes

Formula:

For any one of the logical Y, if all of the "and" replaced by "or", "or" with ", 0 to 1, 1 to 0, the original variable into an inverse variable, the inverse variable becomes the original variable, then a new logical formula is the logical y of the non (Y '). This law is called inversion theorem.

Minimal quantity
3 variables A, B, C can be composed of 8 minimum items:

The minimum item representation: Typically, the symbol MI is used to represent the smallest item. Subscript I determination: the smallest item in the original variable is recorded as 1, the inverse variable is recorded as 0, when the variable order is determined, can be arranged sequentially into a binary number, then the binary number corresponding to the decimal number, is the smallest item subscript i.
Any logical function can be represented as a unique set of the sum of the smallest items, called standard and or expression, also known as the smallest item expression;
For a and or expression that is not the least-term expression, the formula A+a=1 and a (b+c) =AB+BC are used to expand the entry to the minimum expression.

Use Karnaugh map to represent the smallest item
Using Karnaugh map to represent logical functions
Simple logic function with Carnot diagram
Simplification of logical functions with arbitrary items