A Karnaugh map is a pictorial method for minimizing Boolean expressions without using Boolean algebra. It groups adjacent ones in a truth table together according to certain rules: groups cannot include zeros, must be horizontal/vertical not diagonal, contain a power of 2 number of cells, be as large as possible, include every one, can overlap, and wrap around. The goal is to find the minimum number of groups to simplify the expression.