Fill AND operations table with each possible value of variables

e.g. 4-variable

  • All possible AB combinations as rows - AB, AB’, A’B, AB
  • All possible CD combinations as cols
  • Only 1 at element if all true

Group by powers of two (1, 2, 4). Can only go east-west or north-south or square/rectangle. Consider edges as looping (meaning southmost is adjacent to northmost and eastmost is adjacent to westmost)

X’s are don’t cares, don’t care what happens to them

Truth table → K-map → boolean expression

Each box in K-Map corresponds to one term in expression Only have to capture ones