once you have determined how to remove the "c in" term from the function for "s", then attempt to implement the xnor function (is there a way express xnor in terms of just xor and complements?). once you have implemented these two functions, additional and subtraction should also work in your design.
