I've understood that the behaviour is correct when I make a simple adder:
But why does carry on light up just because I switch on the + operation for my 4-bit system?
The spec I try to follow has all the details but I can't really understand why the system in effect is like:
1 + 0 = 1
2 + 0 = 1 carry 1 (carry in lights up)