Karnaugh maps are a method for simplifying Boolean algebra expressions by arranging variables in a two-dimensional grid. Maurice Karnaugh introduced K-maps in 1953 as a visual way to minimize logic functions without using Boolean algebra. K-maps arrange variables in binary order and allow adjacent "1" values to be grouped together to find simplified logic expressions. The number of cells in a K-map depends on the number of variables, with more variables requiring more cells arranged in larger grids.