Given:

x $=$ bit of number we want to add

y $=$ bit of number we want to add to x

cin $=$ carry$-$in to addition of x and y

cout $=$ carry$-$out of addition of x and y

s $=$ sum of x and y plus any carry$-$in$.$