Adds two bits (X and Y) and results in a two bits, the “sum” S and the “carry” C
Below is the truth table!

Design
First, recall that every output has its own K-Map associated with it. This means we’ll have two k-maps for the 2 outputs.
Even just looking at the truth table, you’d notice C is an AND gate and S is an XOR gate
