Karnaugh maps (K-maps) are used to simplify Boolean logic expressions. A K-map arranges the minterms from a truth table into an array of cells where adjacent cells differ by only one variable. Groups of adjacent 1s in the K-map correspond to terms in a sum-of-products expression. The process of mapping a logic function onto a K-map and grouping 1s results in a minimum simplified expression. Don't care conditions can be treated as 1s to form larger groups for greater simplification. Both sum-of-products and product-of-sums expressions can be mapped and minimized using K-maps.